Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
On observability of discrete-event systems
Information Sciences: an International Journal - Robotics and Automation/Control Series
What's decidable about hybrid automata?
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Synthesis and Viability of Minimally Interventive LegalControllers for Hybrid Systems
Discrete Event Dynamic Systems
Automata For Modeling Real-Time Systems
ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
Hybrid System Modeling and Autonomous Control Systems
Hybrid Systems
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Optimal Control of Hybrid Systems with an Infinite Set of Discrete States
Journal of Dynamical and Control Systems
Compositional Abstractions of Hybrid Control Systems
Discrete Event Dynamic Systems
On modeling of fuzzy hybrid systems
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Hi-index | 0.07 |
In the analysis and synthesis of controllers for hybrid systems, it is often required to verify whether two controllers for a given hybrid plant are equivalent. This is not easy to do because one needs to verify that the two controlled hybrid systems generate the same sequence of discrete events and the same trajectory for continuous variables for the given initial conditions. In this paper, we prove that under certain conditions, the verification of equivalence can be done at the abstract level of discrete event systems. More precisely, two controllers are equivalent if and only if the languages (that is, the sets of all possible sequences of discrete transitions) generated by two controlled systems are the same. This theorem of abstraction implies that many control problems of hybrid systems can be studied at the abstract level of discrete event systems. Therefore, it can be used in the control synthesis for decentralized controllers and partial observation controllers because techniques developed for discrete event systems can now be applied to hybrid systems.