by National Library of Canada = Bibliothèque nationale du Canada in Ottawa .
Written in English
|Series||Canadian theses = Thèses canadiennes|
|The Physical Object|
|Pagination||1 microfiche : negative.|
INTRODlJCTION In a related paper of ours (Chen and Hanisch~ ), a new class of arc-timed Petri nets that covers timed automata and timed transition model is introduced as a control model for real-time discrete event systems, and the control synthesis problem that designs a controller to satisfy a specification given by a state predicate is Author: Haoxun Chen, Hans-Michael Hanisch. On the synthesis of discrete controllers for timed systems (an extended abstract). In Ernst W. Mayr, editor, ST 12th Annual Symposium on Theoretical Aspects of Computer Science, Lecture Notes in Computer Science, vol. , pages –Cited by: 1. Discrete Event Systems (The Springer International Series in Engineering and Computer Science) [Boel, R., Stremersch, Geert] on *FREE* shipping on qualifying offers. Discrete Event Systems: Analysis and Control is the proceedings of WODES (the 5th Workshop on Discrete Event Systems. This monograph presents a systematic top-down approach to distributed control synthesis of discrete-event systems (DES). The approach is called supervisor localization; its essence is the allocation of external supervisory control action to individual component agents .
This monograph presents a systematic top-down approach to distributed control synthesis of discrete-event systems (DES). The approach is called supervisor localization; its essence is the allocation of external supervisory control action to individual component agents as their internal control strategies. In this book Chapter we address the problem of controller synthesis for timed systems. By timed systems we refer to systems which are subject to quantitative (hard) real-time constraints. Control of Discrete-event Systems provides a survey of the most important topics in the discrete-event systems theory with particular focus on finite-state automata, Petri nets and max-plus algebra. Coverage ranges from introductory material on the basic notions and definitions of discrete-event systems to more recent results. The synthesis of controllers to handle safety, and liveness for timed discrete-event systems-an example in nuclear reactor systems. Proceedings of the IEEE International Conference on Control by:
A distributed discrete-event system consists of an interconnection of two or more subsystems. Control of a distributed system demands a set of controllers each receiving an . Discrete Event Systems: Analysis and Control is the proceedings of WODES (the 5th Workshop on Discrete Event Systems, held in Ghent, Belgium, on August , ). Rating: (not yet rated) 0 with reviews - Be the first. Introduction to Discrete Event Systems Second Edition by Christos G. Cassandras Boston University Stéphane Lafortune The University of MichiganFile Size: 7MB. () Supervisory Control of Networked Timed Discrete Event Systems and Its Applications to Power Distribution Networks. IEEE Transactions on Control of Network Systems , () Supervisor Synthesis for Mealy Automata With Output Functions: A Cited by: