Abstract
This paper shows necessary and sufficient conditions for the existence of state feedback in hybrid systems described by hybrid automata with forcible events. We introduce two semantics of controlled hybrid automata using transition systems. The conditions are based on the transition systems. It is also shown that the conditions are preserved under bisimilar relations so that synthesis methods of state feedback in discrete event systems can be applied in the hybrid systems if the bisimilar relations are finitary.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Transactions of the Institute of Systems, Control and Information Engineers
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
