Control-invariance of hybrid systems with forcible events
From MaRDI portal
Publication:1776418
DOI10.1016/j.automatica.2004.10.013zbMath1061.93067MaRDI QIDQ1776418
Shigemasa Takai, Toshimitsu Ushio
Publication date: 12 May 2005
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2004.10.013
93C65: Discrete event control/observation systems
93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Controllers for reachability specifications for hybrid systems
- Decidable hybrid systems
- Supervisory Control of a Class of Discrete Event Processes
- Supervisory control of timed discrete-event systems
- Verification of infinite-state dynamic systems using approximate quotient transition systems
- Modular Feedback Logic for Discrete Event Systems