Control-invariance of hybrid systems with forcible events

DOI10.1016/J.AUTOMATICA.2004.10.013zbMath1061.93067OpenAlexW1969773182MaRDI QIDQ1776418

Toshimitsu Ushio, Shigemasa Takai

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

zbMATH Keywords

Hybrid systemState feedbackForcible eventControl-invarianceHybrid automaton

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (1)

A new class of supervisors for timed discrete event systems under partial observation

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

This page was built for publication: Control-invariance of hybrid systems with forcible events