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
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
Universal computation and other capabilities of hybrid and continuous dynamical systems
Theoretical Computer Science - Special issue on hybrid systems
What's decidable about hybrid automata?
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Hybrid Systems
Hybrid Systems II
Proceedings of the International Workshop on Hybrid and Real-Time Systems
HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
Automata For Modeling Real-Time Systems
ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
Discrete-Time Control for Rectangular Hybrid Automata
ICALP '97 Proceedings of the 24th International Colloquium on Automata, Languages and Programming
Hybrid Systems
Hybrid System Modeling and Autonomous Control Systems
Hybrid Systems
Symbolic Controller Synthesis for Discrete and Timed Systems
Hybrid Systems II
Synthesizing Controllers for Hybrid Systems
HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints
HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
From ATP to Timed Graphs and Hybrid Systems
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Theorem of abstraction for equivalent controllers in hybrid systems
Information Sciences—Informatics and Computer Science: An International Journal
Theorem of abstraction for equivalent controllers in hybrid systems
Information Sciences: an International Journal
The reachability problem for uncertain hybrid systems revisited: a viability theory perspective
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
On modeling of fuzzy hybrid systems
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
| Hi-index | 0.00 |
In this paper, we study the control of Composite HybridMachines (CHMs) subject to safety specifications. CHMs are afairly general class of hybrid systems modeled in modular fashionas the concurrent operation of Elementary Hybrid Machines (EHMs).The formalism has a well-defined synchronous-composition operationthat permits the introduction of the controller as a componentof the system. The task of a legal (safety) controller is toensure that the system never exits a set of specified legal configurations.Among the legal controllers, we are particularly interested indesigning a minimally-interventive (or minimally-restrictive)one, which interferes in the system‘s operation only when constraintviolation is otherwise inevitable. Thus, a minimally interventivesafety controller provides maximum flexibility in embedding additionalcontrollers designed for other control objectives to operateconcurrently, while eliminating the need to re-investigate orre-verify the legality of the composite controller with respectto the safety specification. We describe in detail an algorithmfor controller synthesis and examine the viability of a synthesizedcontroller as related to the possibility of Zenoness, where thesystem can undergo an unbounded number of transitions in a boundedlength of time.