Bisimulation Relations for Dynamical and Control Systems

DOI10.1016/S1571-0661(04)80562-0zbMath1270.68215WikidataQ57582127 ScholiaQ57582127MaRDI QIDQ2842819

Esfandiar Haghverdi, George J. Pappas, Paulo Tabuada

Publication date: 16 August 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Local factorization of trajectory lifting morphisms for single-input affine control systems ⋮ Bisimilar linear systems. ⋮ Constructing simulation relations for IDO systems affine in inputs and disturbances ⋮ Admissible simulation relations, set-valued feedback, and controlled invariance ⋮ Hybrid process algebra ⋮ On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems ⋮ Bisimilar control affine systems ⋮ Bisimulation relations for dynamical, control, and hybrid systems ⋮ Shape versus Timing: Linear Responses of a Limit Cycle with Hard Boundaries under Instantaneous and Static Perturbation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bisimulation through probabilistic testing
• Manifolds, tensor analysis, and applications.
• CMCS `99. Proceedings of the 2nd workshop on Coalgebraic methods in computer science. A satellite event to the European joint conferences on Theory and practice of software, ETAPS `99. Amsterdam, the Netherlands, March 20--21, 1999
• Open maps, behavioural equivalences, and congruences
• Bisimilar linear systems.
• Universal coalgebra: A theory of systems
• Bisimulation from open maps
• Bisimilar control affine systems
• Hierarchically consistent control systems
• Adaptive output feedback control of nonlinear systems represented by input-output models
• Barbed bisimulation