Bisimulation equivalence of differential-algebraic systems

DOI10.1080/00207179.2016.1266519zbMath1390.93223arXiv1512.04689OpenAlexW2557568629MaRDI QIDQ4568011

Noorma Yulia Megawati, Arjan J. Van der Schaft

Publication date: 20 June 2018

Published in: International Journal of Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1512.04689

zbMATH Keywords

bisimulationregular pencilabstractiondifferential-algebraic systemconsistent subsetmaximal bisimulation relation

Mathematics Subject Classification ID

Geometric methods (93B27) Algebraic methods (93B25) Control/observation systems governed by ordinary differential equations (93C15)

Related Items (4)

Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications ⋮ Abstraction-based control synthesis using partial information ⋮ Bisimulations of Probabilistic Boolean Networks ⋮ Reduction and Analysis of Boolean Control Networks by Bisimulation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear multivariable control. A geometric approach
• Bisimilar linear systems.
• A survey of linear singular systems
• Bisimilar control affine systems
• The Pencil $(sE - A)$ and Controllability–Observability for Generalized Linear Systems: a Geometric Approach
• On Singular Implicit Linear Dynamical Systems
• Controllability of Linear Differential-Algebraic Systems—A Survey
• Solution Concepts for Linear DAEs: A Survey
• Equivalence of Dynamical Systems by Bisimulation
• Control theory for linear systems

This page was built for publication: Bisimulation equivalence of differential-algebraic systems