Supervisory Control of Concurrent Systems : :: SCD d'Orléans

Supervisory Control of Concurrent Systems : A Petri Net Structural Approach

Supervisory Control of Concurrent Systems : A Petri Net Structural Approach

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...

Descripció completa

Guardat en:

Dades bibliogràfiques
Autors principals:	Iordache, Marian Valentin, 1973-, Antsaklis, Panos J. (Autor)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Boston, MA : Birkhäuser Boston 2006. Cham : Springer Nature
Col·lecció:	Systems & Control: Foundations & Applications
Accés en línia:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Supervisory Control of Concurrent Systems, Texte imprimé, 9780817670771 • Supervisory Control of Concurrent Systems, Texte imprimé, 9780817643577

Ítems similars

Modelling and Analysis of Hybrid Supervisory Systems : A Petri Net Approach
per: Villani, Emilia, et al.
Publicat: (2007)

Monitoring Behavior and Supervisory Control

Nonblocking Supervisory Control of State Tree Structures
per: Ma, Chuan, 1972-

Optimisation of Industrial Processes at Supervisory Level : Application to Control of Thermal Power Plants
per: Sáez, Doris, 1971-, et al.

Cross-border supervisory cooperation: a progress report and research agenda
per: Beck, Thorsten
Publicat: (2025)

The supervisory jurisdiction of the International Court of Justice : international arbitration and international adjudication
per: Reisman, William Michael, 1939-
Publicat: (2008)

Concurrent object-oriented programming and Petri Nets : advances in Petri Nets
per: Agha, Gul A.

Linear systems
per: Antsaklis, Panos J., et al.

Control of Discrete-Event Systems : Automata and Petri Net Perspectives

A linear systems primer
per: Antsaklis, Panos J., et al.

Modeling Multi-Level Systems
per: Iordache, Octavian

Self-Evolvable Systems : Machine Learning in Social Media
per: Iordache, Octavian

Investor Protection and Awareness as Essential Pillars of the Post-Crisis Supervisory and Regulatory Agenda—The Way Forward
per: Rombouts, Annemie
Publicat: (2017)

Petri Net Synthesis for Discrete Event Control of Manufacturing Systems
per: Zhou, Mengchu, informaticien, et al.

Modeling and control of discrete-event dynamic systems : with Petri nets and other tools
per: Hrúz, Branislav, 1938-, et al.
Publicat: (2007)

Relationship between psychological contract breach and organizational affective and normative commitment: the role of perceived organizational and supervisory support
per: Pohl, Sabine, et al.
Publicat: (2020)

Control Reconfiguration of Dynamical Systems : Linear Approaches and Structural Tests
per: Steffen, Thomas
Publicat: (2005)

Optimization and Control of Bilinear Systems : Theory, Algorithms, and Applications
per: Pardalos, Panos M., 1954-, et al.
Publicat: (2008)

Structural analysis and design of multivariable control systems : an algebraic approach

Petri net technology for communication-based systems : advances in Petri nets
per: Ehrig, Hartmut, 1944-

Self-Timed Control of Concurrent Processes : The Design of Aperiodic Logical Circuits in Computers and Discrete Systems

Design of Embedded Control Systems
per: Adamski, Marian Andrzej, et al.
Publicat: (2005)

Control of complex systems : structural constraints and uncertainty
per: Zecevic, Aleksandar, 19..-, et al.
Publicat: (2010)

Concurrence : une théorie, trois systèmes
per: Williams, Mark
Publicat: (2006)

Coloured Petri nets : modelling and validation of concurrent systems
per: Jensen, Kurt, 1950-, et al.
Publicat: (2009)

Switching in systems and control
per: Liberzon, Daniel, 1973-
Publicat: (2003)

Switching in Systems and Control
per: Liberzon, Daniel, 1973-

Multivariable Control Systems : An Engineering Approach
per: Albertos, Pedro, et al.

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
per: Godefroid, Patrice, 19..-

Methods of evidence resulting from the employer’s supervisory power in the case law of the European Court of Human Rights: strengthening the ability to provide evidence
per: Lhomond, Cindy
Publicat: (2025)

Compositional Verification of Concurrent and Real-Time Systems
per: Juan, Eric Y. T., et al.

The Analysis of concurrent systems : Cambridge, September 12 16, 1983 : proceedings

La mise en concurrence des systèmes juridiques nationaux
per: Mohamed Salah, Mahmoud
Publicat: (2001)

Polystochastic Models for Complexity
per: Iordache, Octavian

Operator Approach to Linear Control Systems
per: Cheremenskiž, Aleksandr Georgievich, 19..-, et al.

Predictive approaches to control of complex systems
per: Karer, Gorazd, 19..-, et al.
Publicat: (2013)

Verification and control of hybrid systems : a symbolic approach
per: Tabuada, Paulo, 1975-
Publicat: (2009)

Piecewise linear control systems : A computational approach
per: Johansson, Mikael

Concurrent Simultaneous Engineering Systems : The Way to Successful Product Development

Complex systems concurrent engineering : collaboration, technology innovation and sustainability

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales