scientific article; zbMATH DE number 1383199
From MaRDI portal
Publication:4719062
zbMATH Open0934.93001MaRDI QIDQ4719062FDOQ4719062
Authors: Stéphane Lafortune, Christos G. Cassandras 
Publication date: 4 January 2000
Title of this publication is not available (Why is that?)
Recommendations
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)
Cited In (only showing first 100 items - show all)
- Unfolding-based diagnosis of systems with an evolving topology
- Structural decentralised control of concurrent discrete-event systems
- Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids
- Control of discrete-event systems with partial observations using coalgebra and coinduction
- Safe supervisory control under observability failure
- Compositionally progressive solutions of synchronous FSM equations
- Fault diagnosis of discretely controlled continuous systems by means of discrete-event models
- A method for the modular synthesis of controllers for timed discrete-event systems
- Games for synthesis of controllers with partial observation.
- Can I find a partner? Undecidability of partner existence for open nets
- Compositional synthesis of maximally permissive supervisors using supervision equivalence
- Detectability in stochastic discrete event systems
- MPC for discrete-event systems with soft and hard synchronization constraints
- Integrating discrete controller synthesis into a reactive programming language compiler
- A new algorithm for testing diagnosability of fuzzy discrete event systems
- Simulation analysis of coronary heart disease, congestive heart failure and end-stage renal disease economic burden
- Analysis and control of fuzzy discrete event systems using bisimulation equivalence
- Model-based detection of routing events in discrete flow networks
- Active acquisition of information for diagnosis and supervisory control of discrete event systems
- Discrete state observability of hybrid systems
- Output feedback stabilization for a class of nonlinear time-evolution systems
- Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques
- PSPACE-completeness of modular supervisory control problems
- Message batching in wireless sensor networks -- a perturbation analysis approach
- The relationship of controllability between classical and fuzzy discrete-event systems
- Infinitesimal perturbation analysis in networks of stochastic flow models: general framework and case study of tandem networks with flow control
- Solvability of centralized supervisory control under partial observation
- Taylor series expansions for stationary Markov chains
- From classic observability to a simple fuzzy observability for fuzzy discrete-event systems
- Decentralized supervisory control of fuzzy discrete event systems
- The evaluation of pedestrians' behavior using \(M/G/C/C\) analytical, weighted distance and real distance simulation models
- Performance regulation of event-driven dynamical systems using infinitesimal perturbation analysis
- On the computation of natural observers in discrete-event systems
- Policy iteration for customer-average performance optimization of closed queueing systems
- Permissive strategies: from parity games to safety games
- Decentralized control of networked discrete event systems with communication delays
- IPA for continuous stochastic marked graphs
- Robust nonblocking supervisory control of discrete-event systems under partial observation
- Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
- Safe diagnosability for fault-tolerant supervision of discrete-event systems
- Ordinal optimization and quantification of heuristic designs
- Inventory control policy for a periodic review system with expediting
- Title not available (Why is that?)
- Exact and approximate approaches to the identification of stochastic MAX-plus-linear systems
- Infinitesimal perturbation analysis and optimization for make-to-stock manufacturing systems based on stochastic fluid models
- Coverage in fault-tolerant control
- Stochastic control via direct comparison
- Controller synthesis for bisimulation equivalence
- Control of distributed systems: tutorial and overview
- Timing control of switched systems with applications to robotic marionettes
- Cycle time assignment of min-max systems
- Control of parameterized discrete event systems
- Modeling and control of discrete-event dynamic systems with Petri nets and other tools.
- Control of discrete-event systems with modular or distributed structure
- Modal specifications for the control theory of discrete event systems
- Supervisory control of product and hierarchical discrete event systems
- Bilinear system interconnections and generating series of weighted Petri nets
- Conflict-preserving abstraction of discrete event systems using annotated automata
- What topology tells us about diagnosability in partial order semantics
- Diagnosability of fuzzy discrete event systems
- Approximating the minimal sensor selection for supervisory control
- Diagnosability of discrete event systems with modular structure
- Probabilistic system opacity in discrete event systems
- Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control
- On optimal control of a class of partially observed discrete event systems
- A linear-system-theoretic view of discrete-event processes and its use for performance evaluation in manufacturing
- On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming
- Generalized detectability for discrete event systems
- Introduction to Discrete Event Systems
- Diagnosis of discrete event systems using decentralized architectures
- Distributed monitoring of concurrent and asynchronous systems
- Supervisory control of modular systems with global specification languages
- Optimal empty vehicle redistribution for hub‐and‐spoke transportation systems
- On the minimization of communication in networked systems with a central station
- Approximate equivalence and synchronization of metric transition systems
- Shrinking of time Petri nets
- Undecidability in decentralized supervision
- Compositions of (max,+) automata
- Detectability of discrete event systems with dynamic event observation
- An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions
- Special issue on recent advances in control of discrete event systems
- Globally optimal solutions of max-min systems
- Nonblocking check in fuzzy discrete event systems based on observation equivalence
- Natural projection as partial model checking
- Semitensor product approach to controllability, reachability, and stabilizability of probabilistic finite automata
- Discrete events and general systems theory
- Critical observations in model-based diagnosis
- A Event Occurrence Rules based Compact Modeling Formalism for a Class of Discrete Event Systems
- Analysis of multivariable controllers using degree of freedom data
- Verification of asynchronous systems with an unspecified component
- Modelling and hierarchical diagnosis of timed discrete-event systems
- Robustly distributed diagnosis of discrete-event systems and its application to alipay transaction systems
- Generalized surrogate problem methodology for online stochastic discrete optimization
- Event counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delays
- A semiotic approach to the control of semi-autonomous robots
- Some chains of discrete event systems.
- Introduction to Discrete Event Systems
- Matrix approach to I-detectability of partially observed discrete event systems
- Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems
- Title not available (Why is that?)
Uses Software
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)
