Introduction to discrete event systems
automataconcurrent estimationdiscrete event systemsdynamic programminggeneralized semi-Markov processesMarkov chainperturbation analysisPetri netsqueueing systemssample path constructibilitysensitivity analysissupervisory control
Sample path properties (60G17) Markov renewal processes, semi-Markov processes (60K15) Queueing theory (aspects of probability theory) (60K25) Applications of queueing theory (congestion, allocation, storage, traffic, etc.) (60K30) Numerical analysis or methods applied to Markov chains (65C40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to systems and control theory (93-01) Discrete event control/observation systems (93C65)
This book is an extension of a previous one by the first author [Discrete event systems: Modeling and performance analysis (1993)]. It ``is intended to be a comprehensive introduction to the field of discrete event systems, emphasizing breath of coverage and accessibility of the material to a large audience. The modelling is based mainly on automata. Chapter one introduces standard state space models, feedback and discrete event systems (DES). Chapter two introduces language models and their realization by automata. Chapter three introduces the supervisory control of DES under controllability and observability of events constraints. Chapter four presents Petri nets. Chapter five develops timed versions of the models of the two previous chapters. This is done via the ``clock structure mechanism. Chapter six introduces a probabilistic setting for the study of stochastic timed DES systems. This is done via a stochastic ``clock structure based on Poisson processes. This leads to generalized semi-Markov processes and further to Markov chain models. From now on, two lines of investigation are presented: The first one relies on probabilistic analytical techniques: Discrete and continuous Markov chain techniques in chapter seven, Markovian queueing systems in chapter eight, control aspects via dynamic programming techniques in chapter nine. The second one is based on simulations in a probabilistic context. In chapter ten, a stochastic timed automaton is simulated via a computer random number generator which provides the clock structure. Chapter eleven presents sensitivity analysis and concurrent estimation techniques. Perturbation analysis and the sample path constructibility problem are explained. Appendix one reviews standard elements of probability theory and appendix two presents a code for an IPA estimator. An index and bibliographic information about the authors are presented, too. The emphasis is on explaining the concepts with the aid of examples and remarks. A summary and problems end each chapter. This welcome volume, written by well-known specialists of discrete event systems, is easy to read and accessible for a wide audience. This is probably the best source which opens the doors to a discipline which tends to evolve in its own sphere since there is no unifying framework for DES and standard systems science.
- Approximate equivalence and synchronization of metric transition systems
- Output feedback stabilization for a class of nonlinear time-evolution systems
- Compositionally progressive solutions of synchronous FSM equations
- IPA derivatives for make-to-stock production-inventory systems with backorders under the (\(\mathbf{R,r}\)) policy
- Impact of ramp-up on the optimal capacity-related reconfiguration policy
- A decidable class of problems for control under partial observation
- Games for synthesis of controllers with partial observation.
- Maximizing robustness of supervisors for partially observed discrete event systems.
- Coverage in fault-tolerant control
- A necessary and sufficient condition for diagnosability of stochastic discrete event systems
- Design of decentralized critical observers for networks of finite state machines: a formal method approach
- Predictability of fuzzy discrete event systems
- Identification of stochastic timed discrete event systems with st-IPN
- Verification of asynchronous systems with an unspecified component
- Guest editorial: Special issue on performance analysis and optimization of discrete event systems
- Distributed monitoring of concurrent and asynchronous systems
- PSPACE-completeness of modular supervisory control problems
- Model-based detection of routing events in discrete flow networks
- A language measure for performance evaluation of discrete-event supervisory control systems
- Probabilistic system opacity in discrete event systems
- Comparison and aggregation of max-plus linear systems
- On optimal control of a class of partially observed discrete event systems
- Some chains of discrete event systems.
- Categorical foundations for randomly timed automata
- Perturbation analysis for production control and optimization of manufacturing systems
- Distributed inversion in timed discrete event systems
- Decentralized diagnosis of fuzzy discrete-event systems
- On K-diagnosability of Petri nets via integer linear programming
- On controllability of discrete event systems in a behavioral framework
- Timing control of switched systems with applications to robotic marionettes
- Infinitesimal perturbation analysis in networks of stochastic flow models: general framework and case study of tandem networks with flow control
- Unfolding-based diagnosis of systems with an evolving topology
- Observation-assisted heuristic synthesis of covert attackers against unknown supervisors
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface
- Robustly distributed diagnosis of discrete-event systems and its application to alipay transaction systems
- Modeling, simulation, estimation and boundedness analysis of discrete event systems
- A discrete-event and hybrid traffic simulation model based on SimEvents for intelligent transportation system analysis in Mcity
- Stochastic flow models with delays, blocking and applications to multi-intersection traffic light control
- Natural projection as partial model checking
- Synthesis of covert actuator attackers for free
- Special section on the IFAC workshop on discrete event systems -- WODES'12
- Dynamic control with indistinguishable events
- Symbolic control design of nonlinear systems with outputs
- Inventory control policy for a periodic review system with expediting
- Bisimulation of type 2 for BL-general fuzzy automata
- Semitensor product approach to controllability, reachability, and stabilizability of probabilistic finite automata
- Special issue on recent advances in control of discrete event systems
- Employing behavioral preorders to define controllability for nondeterministic discrete-event systems
- Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems
- Compositions of (max,+) automata
- A diagnoser algorithm for anomaly detection in DEDS under partial and unreliable observations: characterization and inclusion in sensor configuration optimization
- Connectedness of graphs and its application to connected matroids through covering-based rough sets
- Correctability of fault-tolerant stochastic discrete-event systems
- Globally optimal solutions of max-min systems
- IPA derivatives for a discrete model of make-to-stock production-inventory systems with backorders
- Robust nonblocking supervisory control of discrete-event systems under partial observation
- Supervisory control of modular systems with global specification languages
- Real time identification of discrete event systems using Petri nets
- Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques
- Modeling and control of discrete-event dynamic systems with Petri nets and other tools.
- Simulation of IPA gradients in hybrid network systems
- Recursive Petri nets
- Control of discrete-event systems with modular or distributed structure
- Compositional synthesis of maximally permissive supervisors using supervision equivalence
- Active acquisition of information for diagnosis and supervisory control of discrete event systems
- Diagnosability of fuzzy discrete event systems
- Multi-model approach to discrete events systems: application to operating mode management
- Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control
- Undecidability in decentralized supervision
- Supervisory control of product and hierarchical discrete event systems
- Formal specification method for systems automation
- Structural decentralised control of concurrent discrete-event systems
- State estimation and detectability of probabilistic discrete event systems
- Controller synthesis for bisimulation equivalence
- Safe diagnosability for fault-tolerant supervision of discrete-event systems
- Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications
- Synthesis of covert actuator and sensor attackers
- Greedy initialization for distributed persistent monitoring in network systems
- A novel approach for supervisor synthesis to enforce opacity of discrete event systems
- Simulation of generalised semi-Markov processes based on graph transformation systems
- Coinduction in concurrent timed systems
- Discrete state observability of hybrid systems
- The evaluation of pedestrians' behavior using \(M/G/C/C\) analytical, weighted distance and real distance simulation models
- scientific article; zbMATH DE number 996440 (Why is no real title available?)
- Performance regulation of event-driven dynamical systems using infinitesimal perturbation analysis
- A Event Occurrence Rules based Compact Modeling Formalism for a Class of Discrete Event Systems
- scientific article; zbMATH DE number 1816768 (Why is no real title available?)
- Discrete event systems. Modeling and analysis of dynamical systems with automata, Markov chains and Petri nets.
- A linear-system-theoretic view of discrete-event processes and its use for performance evaluation in manufacturing
- scientific article; zbMATH DE number 4200091 (Why is no real title available?)
- Recomposable restricted finite state machines: definition and solution approaches
- Integrated decision and control of human-engineered complex systems
- Modelling and hierarchical diagnosis of timed discrete-event systems
- Introduction to Discrete Event Systems
- What topology tells us about diagnosability in partial order semantics
- Conflict-preserving abstraction of discrete event systems using annotated automata
- Optimal empty vehicle redistribution for hub‐and‐spoke transportation systems
- Unfolding-Based Diagnosis of Systems with an Evolving Topology
- On Distributed Program Specification and Synthesis in Architectures with Cycles
- Decentralized structural controller design for large-scale discrete-event systems modelled by Petri nets
This page was built for publication: Introduction to discrete event systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4719062)
