scientific article; zbMATH DE number 1383199
From MaRDI portal
Publication:4719062
zbMath0934.93001MaRDI QIDQ4719062
Stéphane Lafortune, Christos G. Cassandras
Publication date: 4 January 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
dynamic programmingsensitivity analysissupervisory controlautomataPetri netsMarkov chainperturbation analysisqueueing systemsdiscrete event systemsconcurrent estimationgeneralized semi-Markov processessample path constructibility
Queueing theory (aspects of probability theory) (60K25) Discrete event control/observation systems (93C65) Numerical analysis or methods applied to Markov chains (65C40) Markov renewal processes, semi-Markov processes (60K15) Sample path properties (60G17) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Applications of queueing theory (congestion, allocation, storage, traffic, etc.) (60K30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to systems and control theory (93-01)
Related Items (only showing first 100 items - show all)
Permissive strategies: from parity games to safety games ⋮ MPC for discrete-event systems with soft and hard synchronization constraints ⋮ A diagnoser algorithm for anomaly detection in DEDS under partial and unreliable observations: characterization and inclusion in sensor configuration optimization ⋮ Coinduction in Concurrent Timed Systems ⋮ Discrete state observability of hybrid systems ⋮ Connectedness of graphs and its application to connected matroids through covering-based rough sets ⋮ 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 ⋮ Correctability of fault-tolerant stochastic discrete-event systems ⋮ A novel approach for supervisor synthesis to enforce opacity of discrete event systems ⋮ Approximate current state observability of discrete-time nonlinear systems under cyber-attacks ⋮ Distributed diagnosis of discrete-event systems under dynamic event observations ⋮ Computation of diameter, radius and center of permutation graphs ⋮ Unnamed Item ⋮ 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 ⋮ An Improved Algorithm for Siphons and Minimal Siphons in Petri Nets Based on Semi-tensor Product of Matrices ⋮ Optimal empty vehicle redistribution for hub‐and‐spoke transportation systems ⋮ Unfolding-Based Diagnosis of Systems with an Evolving Topology ⋮ Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques ⋮ 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 ⋮ Minimum cost upgrade of phasor measurement unit networks for synchrophasor availability ⋮ Multi-model approach to discrete events systems: application to operating mode management ⋮ Cycle time assignment of min-max systems ⋮ Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control ⋮ Undecidability in decentralized supervision ⋮ On the computation of natural observers in discrete-event systems ⋮ On Distributed Program Specification and Synthesis in Architectures with Cycles ⋮ Supervisory control of product and hierarchical discrete event systems ⋮ Formal specification method for systems automation ⋮ Structural decentralised control of concurrent discrete-event systems ⋮ Analysis of multivariable controllers using degree of freedom data ⋮ State estimation and detectability of probabilistic discrete event systems ⋮ Controller synthesis for bisimulation equivalence ⋮ Recomposable restricted finite state machines: definition and solution approaches ⋮ Taylor series expansions for stationary Markov chains ⋮ A method for the modular synthesis of controllers for timed discrete-event systems ⋮ A semiotic approach to the control of semi-autonomous robots ⋮ Integrated decision and control of human-engineered complex systems ⋮ Modelling and hierarchical diagnosis of timed discrete-event systems ⋮ Safe diagnosability for fault-tolerant supervision of discrete-event systems ⋮ Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems ⋮ Compositions of (max,+) automata ⋮ Categorical foundations for randomly timed automata ⋮ Perturbation analysis for production control and optimization of manufacturing systems ⋮ Control of parameterized discrete event systems ⋮ Event counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delays ⋮ A subgradient descent algorithm for optimization of initially controllable flow shop 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 ⋮ Efficient robust supervisors for discrete event systems ⋮ Diagnosability of discrete event systems with modular structure ⋮ Infinitesimal perturbation analysis and optimization for make-to-stock manufacturing systems based on stochastic fluid models ⋮ Approximating the minimal sensor selection for supervisory control ⋮ Near-optimal online control of dynamic discrete-event systems ⋮ Safe supervisory control under observability failure ⋮ Solvability of centralized supervisory control under partial observation ⋮ A new class of supervisors for timed discrete event systems under partial observation ⋮ On the supervisory control of multi-agent product systems: controllability properties ⋮ What topology tells us about diagnosability in partial order semantics ⋮ Conflict-preserving abstraction of discrete event systems using annotated automata ⋮ Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor ⋮ Designing communicating transaction processes by supervisory control theory ⋮ Integrating discrete controller synthesis into a reactive programming language compiler ⋮ Shrinking of time Petri nets ⋮ 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 ⋮ A necessary and sufficient condition for diagnosability of stochastic discrete event systems ⋮ Message batching in wireless sensor networks -- a perturbation analysis approach ⋮ Design of decentralized critical observers for networks of finite state machines: a formal method approach ⋮ Diagnosis of discrete event systems using decentralized architectures ⋮ An efficient modular method for the control of concurrent discrete event systems: A language-based approach ⋮ Modal specifications for the control theory of discrete event systems ⋮ Predictability of fuzzy discrete event systems ⋮ Decentralized diagnosis of fuzzy discrete-event systems ⋮ On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming ⋮ Detectability in stochastic discrete event systems ⋮ Games for synthesis of controllers with partial observation. ⋮ 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 ⋮ Stochastic control via direct comparison ⋮ On controllability of discrete event systems in a behavioral framework ⋮ Natural projection as partial model checking ⋮ Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids ⋮ 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 ⋮ From classic observability to a simple fuzzy observability for fuzzy discrete-event systems ⋮ Maximizing robustness of supervisors for partially observed discrete event systems. ⋮ Decentralized control of networked discrete event systems with communication delays ⋮ Synthesis of covert actuator attackers for free
Uses Software
This page was built for publication:
