Increasing complexity in engineering projects raises difficult challenges in industry and requires effective tools for correct-by-construction design or design verification. This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specificatio
Supervisory control of concurrent systems : a Petri net structural approach
β Scribed by Marian Valentin Iordache; Panos J Antsaklis
- Publisher
- BirkhaΜuser
- Year
- 2006
- Tongue
- English
- Leaves
- 285
- Series
- Systems & control
- Category
- Library
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
<p><P>Hybrid supervisory systems integrate and exchange information between discrete- and continuous-data-based controllers and subsystems. Application areas include process, manufacturing and service industries, healthcare, telecommunication, transportation and logistics, among others.</P><P>From t
<p><em>Supervisory Control of Discrete Event Systems Using Petri Nets</em> presents a novel approach to its subject. The concepts of supervisory control and discrete event systems are explained, and the background material on general Petri net theory necessary for using the book's control techniques
This book presents a methodology for the real-time scheduling problems of real-time systems (RTS) from the viewpoint of control theory. Generally, any system can be viewed as an RTS if it performs real-time application functions and behaves correctly depending on given logical activities and satisfy