scientific article; zbMATH DE number 1383199
From MaRDI portal
Publication:4719062
Markov chainsensitivity analysisdynamic programmingautomataperturbation analysisPetri netsqueueing systemsdiscrete event systemssupervisory controlconcurrent estimationgeneralized semi-Markov processessample path constructibility
Numerical analysis or methods applied to Markov chains (65C40) Queueing theory (aspects of probability theory) (60K25) Applications of queueing theory (congestion, allocation, storage, traffic, etc.) (60K30) Markov renewal processes, semi-Markov processes (60K15) Sample path properties (60G17) Discrete event control/observation systems (93C65) 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)
Recommendations
Cited in
(only showing first 100 items - show all)- Coverage in fault-tolerant control
- Control of distributed systems: tutorial and overview
- Identification of stochastic timed discrete event systems with st-IPN
- Controller synthesis for bisimulation equivalence
- Decentralized diagnosis of fuzzy discrete-event systems
- Control of parameterized discrete event systems
- Timing control of switched systems with applications to robotic marionettes
- Minimum cost upgrade of phasor measurement unit networks for synchrophasor availability
- Modal specifications for the control theory of discrete event systems
- Design of decentralized critical observers for networks of finite state machines: a formal method approach
- Decentralized structural controller design for large-scale discrete-event systems modelled by Petri nets
- Modeling and control of discrete-event dynamic systems with Petri nets and other tools.
- Cycle time assignment of min-max systems
- Control of discrete-event systems with modular or distributed structure
- Real time identification of discrete event systems using Petri nets
- An improved algorithm for siphons and minimal siphons in Petri nets based on semi-tensor product of matrices
- Supervisory control of product and hierarchical discrete event systems
- Bilinear system interconnections and generating series of weighted Petri nets
- State estimation and detectability of probabilistic discrete event systems
- A novel approach for supervisor synthesis to enforce opacity of discrete event systems
- Conflict-preserving abstraction of discrete event systems using annotated automata
- What topology tells us about diagnosability in partial order semantics
- Symbolic control design of nonlinear systems with outputs
- A diagnoser algorithm for anomaly detection in DEDS under partial and unreliable observations: characterization and inclusion in sensor configuration optimization
- Formal specification method for systems automation
- Employing behavioral preorders to define controllability for nondeterministic discrete-event systems
- Diagnosability of fuzzy discrete event systems
- Recomposable restricted finite state machines: definition and solution approaches
- A subgradient descent algorithm for optimization of initially controllable flow shop 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
- scientific article; zbMATH DE number 2010479 (Why is no real title available?)
- Greedy initialization for distributed persistent monitoring in network systems
- Approximating the minimal sensor selection for supervisory control
- Diagnosability of discrete event systems with modular structure
- Distributed diagnosis of discrete-event systems under dynamic event observations
- Predictability of fuzzy discrete event systems
- Probabilistic system opacity in discrete event systems
- Estimation and inference in discrete event systems. A model-based approach with finite automata
- On Distributed Program Specification and Synthesis in Architectures with Cycles
- On optimal control of a class of partially observed discrete event systems
- Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control
- On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming
- An efficient modular method for the control of concurrent discrete event systems: A language-based approach
- A linear-system-theoretic view of discrete-event processes and its use for performance evaluation in manufacturing
- Generalized detectability for discrete event systems
- Diagnosis of discrete event systems using decentralized architectures
- Modeling, simulation, estimation and boundedness analysis of discrete event systems
- Dynamic control with indistinguishable events
- Distributed monitoring of concurrent and asynchronous systems
- Recursive Petri nets
- Introduction to Discrete Event Systems
- Supervisory control of modular systems with global specification languages
- On the minimization of communication in networked systems with a central station
- Approximate equivalence and synchronization of metric transition systems
- Optimal empty vehicle redistribution for hub‐and‐spoke transportation systems
- 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
- Comparison and aggregation of max-plus linear systems
- Guest editorial: Special issue on performance analysis and optimization of discrete event systems
- Shrinking of time Petri nets
- IPA derivatives for a discrete model of make-to-stock production-inventory systems with backorders
- Undecidability in decentralized supervision
- Synthesis of covert actuator attackers for free
- Detectability of discrete event systems with dynamic event observation
- Computation of diameter, radius and center of permutation graphs
- An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions
- Compositions of (max,+) automata
- On controllability of discrete event systems in a behavioral framework
- Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching
- An application of discrete-event theory to truck dispatching
- Simulation of generalised semi-Markov processes based on graph transformation systems
- scientific article; zbMATH DE number 1816768 (Why is no real title available?)
- Coinduction in concurrent timed systems
- Special issue on recent advances in control of discrete event systems
- Dynamical systems on weighted lattices: general theory
- Modeling and control of switching max-plus-linear systems with random and deterministic switching
- Nonblocking check in fuzzy discrete event systems based on observation equivalence
- Globally optimal solutions of max-min systems
- Synthesis of covert actuator and sensor attackers
- Natural projection as partial model checking
- Semitensor product approach to controllability, reachability, and stabilizability of probabilistic finite automata
- Unfolding-based diagnosis of systems with an evolving topology
- Structural decentralised control of concurrent discrete-event systems
- Discrete events and general systems theory
- Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids
- Verification of asynchronous systems with an unspecified component
- A Event Occurrence Rules based Compact Modeling Formalism for a Class of Discrete Event Systems
- Control of discrete-event systems with partial observations using coalgebra and coinduction
- Generalized surrogate problem methodology for online stochastic discrete optimization
- Robustly distributed diagnosis of discrete-event systems and its application to alipay transaction systems
- Analysis of multivariable controllers using degree of freedom data
- Modelling and hierarchical diagnosis of timed discrete-event systems
- Critical observations in model-based diagnosis
- Event counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delays
- Safe supervisory control under observability failure
- Compositionally progressive solutions of synchronous FSM equations
- Some chains of discrete event systems.
- Fault diagnosis of discretely controlled continuous systems by means of discrete-event models
- A semiotic approach to the control of semi-autonomous robots
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4719062)
