Analysis of Dynamical Systems Using Predicate Transformers - Attraction and Composition

Authors:
Michel Sintzoff;Frédéric Geurts
Affiliations:
-;-
Venue:
Proceedings on Analysis of Dynamical and Cognitive Systems, Advanced Course
Year:
1993

Citing 0
Cited 2

Hybrid Systems' Properties - Classification and Relation to Computer Science

Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems

Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems

Quantified Score

Hi-index	0.00

Visualization

Abstract