𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

Supervisory control of concurrent systems : a Petri net structural approach

✍ Scribed by Marian Valentin Iordache; Panos J Antsaklis


Publisher
Birkhäuser
Year
2006
Tongue
English
Leaves
285
Series
Systems & control
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Supervisory Control of Concurrent System
✍ Iordache M. V., Antsaklis P. J. πŸ“‚ Library πŸ“… 2006 πŸ› BirkhΓ€user Boston 🌐 English

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

Modelling and Analysis of Hybrid Supervi
✍ Emilia Villani PhD, Paulo E. Miyagi, Robert Valette PhD (auth.) πŸ“‚ Library πŸ“… 2007 πŸ› Springer-Verlag London 🌐 English

<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

Supervisory Control of Discrete Event Sy
✍ John O. Moody, Panos J. Antsaklis (auth.) πŸ“‚ Library πŸ“… 1998 πŸ› Springer US 🌐 English

<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

Scheduling and Reconfiguration of Real-T
✍ Xi Wang; ZhiWu Li πŸ“‚ Library πŸ“… 2023 πŸ› Springer International Publishing 🌐 English

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