Introduction to Discrete Event Systems
From MaRDI portal
Publication:3426554
DOI10.1007/978-0-387-68612-7zbMath1165.93001OpenAlexW2509841691MaRDI QIDQ3426554
Stéphane Lafortune, Christos G. Cassandras
Publication date: 9 March 2007
Full work available at URL: https://doi.org/10.1007/978-0-387-68612-7
sensitivity analysisMarkov chainssupervisory controlautomataPetri netslanguagediscrete event systemsconcurrent estimationqueueing theory, discrete-event simulationstochastic timed automatatimed and hybrid models
Discrete event control/observation systems (93C65) General systems (93A10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to systems and control theory (93-01)
Related Items (only showing first 100 items - show all)
Application of the Projected Dynamics to Hybrid Systems and to the Sliding Mode Control Processes ⋮ A Framework for the Analysis of Supervised Discrete Event Systems Under Attack ⋮ Current-state opacity and initial-state opacity of modular discrete event systems ⋮ Tropical Time Series, Iterated-Sums Signatures, and Quasisymmetric Functions ⋮ Modular supervisory control for multi-floor manufacturing processes ⋮ On comparison of steady-state infinitesimal perturbation analysis and likelihood ratio derivative estimates ⋮ A survey on compositional algorithms for verification and synthesis in supervisory control ⋮ Verification and enforcement of current-state opacity based on a state space approach ⋮ Diagnosis of timed patterns for discrete event systems by means of state isolation ⋮ A multi-objective approach for manufacturing systems with multiple production routes based on supervisory control theory and heuristic algorithms ⋮ A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence ⋮ Robust corrective control against fundamental and non-fundamental mode attacks with application to an asynchronous digital system ⋮ Matrix approach for verification of opacity of partially observed discrete event systems ⋮ Online prognosis of stochastic discrete event systems with guaranteed performance bound ⋮ On transforming hybrid nonlinear control problems with model uncertainty and input disturbance to mixed integer-linear programs ⋮ Probabilistic verification of diagnosability for a certain class of timed stochastic systems ⋮ Solving linear equations over maxmin-\(\omega\) systems ⋮ Diagnosability of fault patterns with labeled stochastic Petri nets ⋮ Research Challenges in Orchestration Synthesis ⋮ Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications ⋮ Enforcing opacity by insertion functions under multiple energy constraints ⋮ Weighted Automata over Vector Spaces ⋮ Secure Diagnosability of Hybrid Dynamical Systems ⋮ Diagnosability of Discrete Faults with Uncertain Observations ⋮ Diagnosis of Hybrid Dynamic Systems Based on the Behavior Automaton Abstraction ⋮ Reachability and controllability analysis of probabilistic finite automata via a novel matrix method ⋮ Unnamed Item ⋮ Diagnosis of Deep Discrete-Event Systems ⋮ A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems ⋮ A simulation‐based differential evolution algorithm for stochastic parallel machine scheduling with operational considerations ⋮ Reliable Decentralized Supervisors for Discrete‐Event Systems Under Communication Delays: Existence and Verification ⋮ The Unmet Challenge of Timed Systems ⋮ Information and complexity in control systems: A tutorial ⋮ Optimal non‐blocking decentralized supervisory control with unobservable controllable events ⋮ State Complexity of Projected Languages ⋮ A control theory for Boolean monomial dynamical systems ⋮ A weakness measure for GR(1) formulae ⋮ A weakness measure for GR(1) formulae ⋮ Unnamed Item ⋮ Coordination Control of Distributed Discrete-Event Systems ⋮ Hybrid online learning control in networked multiagent systems: A survey ⋮ Robotics and Control Systems ⋮ Supervisory Control with Complete Observations ⋮ Supervisory Control with Partial Observations ⋮ Diagnosis and Automata ⋮ Partitioned event graph: formalizing LP-based modelling of parallel discrete-event simulation ⋮ Optimal Supervisory Control of Discrete Event Systems: Cyclicity and Interleaving of Tasks ⋮ A learning-based synthesis approach to decentralized supervisory control of discrete event systems with unknown plants ⋮ Progressive events in supervisory control and compositional verification ⋮ A hybrid fault detection and isolation strategy for a team of cooperating unmanned vehicles ⋮ Verification of safe diagnosability of stochastic discrete-event systems ⋮ Design of light weight exact discrete event system diagnosers using measurement limitation: case study of electronic fuel injection system ⋮ Modelling and temporal evaluation of networked control systems using timed automata with guards and (max,+) algebra ⋮ An optimization-based approach to assess non-interference in labeled and bounded Petri net systems ⋮ Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacks ⋮ Enforcement for infinite-step opacity and K-step opacity via insertion mechanism ⋮ \(K\)-loss robust codiagnosability of discrete-event systems ⋮ A framework for current-state opacity under dynamic information release mechanism ⋮ Differentiability conditions for stochastic hybrid systems with application to the optimal design of microgrids ⋮ An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems ⋮ Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection ⋮ Hierarchical planning in a supervisory control context with compositional abstraction ⋮ An extended event graph-based modelling method for parallel and distributed discrete-event simulation ⋮ Performance Evaluation of Schedulers in a Probabilistic Setting ⋮ Verification of opacity and diagnosability for pushdown systems ⋮ Computational complexity of synchronization under sparse regular constraints ⋮ Introduction to Model Checking ⋮ Graph Games and Reactive Synthesis ⋮ Modular control of discrete-event systems using similarity ⋮ A note on controllability of deterministic context-free~systems ⋮ Concurrency bugs in multithreaded software: modeling and analysis using Petri nets ⋮ Methods for the estimation of the size of lookahead tree state-space ⋮ Supervisory Control of Discrete-Event Systems ⋮ Coordination Control of Distributed Discrete-Event Systems ⋮ Modeling Memory Effects in Activity-Driven Networks ⋮ Minimal diagnosis and diagnosability of discrete-event systems modeled by automata ⋮ Predictive runtime enforcement ⋮ Optimal supervisory control with mean payoff objectives and under partial observation ⋮ On the state liveness of some classes of guidepath-based transport systems and its computational complexity ⋮ Coordinated static control of asynchronous sequential machines ⋮ Optimal design of personalized prostate cancer therapy using infinitesimal perturbation analysis ⋮ Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures ⋮ A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers ⋮ A general framework for diagnosis of discrete event systems subject to sensor failures ⋮ Fault prognosis of timed stochastic discrete event systems with bounded estimation error ⋮ Online minimization of sensor activation for supervisory control ⋮ A controller synthesis framework for automated service composition ⋮ Time-optimal control of large-scale systems of systems using compositional optimization ⋮ Diagnosability of intermittent sensor faults in discrete event systems ⋮ Applying differential dynamic logic to reconfigurable biological networks ⋮ Decentralized diagnosis of discrete event systems subject to permanent sensor failures ⋮ A general language-based framework for specifying and verifying notions of opacity ⋮ Transformational supervisor synthesis for evolving systems ⋮ Network robustness depth and topology management of networked dynamic systems ⋮ Cooperative control of networked discrete-event systems: application to the handling system HANS ⋮ Strong current-state and initial-state opacity of discrete-event systems ⋮ Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability ⋮ Causality analysis and fault ascription in component-based systems ⋮ STP Approach to Model Controlled Automata with Application to Reachability Analysis of DEDS ⋮ Cooperative Tasking for Deterministic Specification Automata
Uses Software
This page was built for publication: Introduction to Discrete Event Systems
