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)- 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
- Introduction to Discrete Event Systems
- Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems
- Optimal control of production processes with variable execution times
- Can I find a partner? Undecidability of partner existence for open nets
- scientific article; zbMATH DE number 3930847 (Why is no real title available?)
- Matrix approach to I-detectability of partially observed discrete event systems
- Games for synthesis of controllers with partial observation.
- A method for the modular synthesis of controllers for timed discrete-event systems
- Efficient robust supervisors for discrete event systems
- Reliable supervisory control for general architecture of decentralized discrete event systems
- Unfolding-Based Diagnosis of Systems with an Evolving Topology
- Compositional synthesis of maximally permissive supervisors using supervision equivalence
- Detectability in stochastic discrete event systems
- Integrating discrete controller synthesis into a reactive programming language compiler
- MPC for discrete-event systems with soft and hard synchronization constraints
- 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
- On-line control of the threshold policy parameter for multiclass systems
- Analysis and control of fuzzy discrete event systems using bisimulation equivalence
- Integrated decision and control of human-engineered complex systems
- Near-optimal online control of dynamic discrete-event systems
- Model-based detection of routing events in discrete flow networks
- Categorical foundations for randomly timed automata
- Active acquisition of information for diagnosis and supervisory control of discrete event systems
- Stochastic Discrete Event Systems
- Approximate current state observability of discrete-time nonlinear systems under cyber-attacks
- Simulation of IPA gradients in hybrid network systems
- scientific article; zbMATH DE number 4110541 (Why is no real title available?)
- Correctability of fault-tolerant stochastic discrete-event systems
- Discrete state observability of hybrid systems
- Output feedback stabilization for a class of nonlinear time-evolution systems
- A new class of supervisors for timed discrete event systems under partial observation
- On the supervisory control of multi-agent product systems: controllability properties
- Maximizing robustness of supervisors for partially observed discrete event systems.
- scientific article; zbMATH DE number 2102728 (Why is no real title available?)
- PSPACE-completeness of modular supervisory control problems
- Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques
- Message batching in wireless sensor networks -- a perturbation analysis approach
- scientific article; zbMATH DE number 1445411 (Why is no real title available?)
- The relationship of controllability between classical and fuzzy discrete-event systems
- Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor
- Lose fat, not muscle: an examination of supervisor reduction in discrete-event systems
- Discrete event systems. Modeling and analysis of dynamical systems with automata, Markov chains and Petri nets.
- Distributed inversion in timed discrete event systems
- Infinitesimal perturbation analysis in networks of stochastic flow models: general framework and case study of tandem networks with flow control
- A necessary and sufficient condition for diagnosability of stochastic discrete event systems
- Solvability of centralized supervisory control under partial observation
- A language measure for performance evaluation of discrete-event supervisory control systems
- Special section on the IFAC workshop on discrete event systems -- WODES'12
- From classic observability to a simple fuzzy observability for fuzzy discrete-event systems
- Designing communicating transaction processes by supervisory control theory
- Taylor series expansions for stationary Markov chains
- 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
- Bisimulation of type 2 for BL-general fuzzy automata
- Perturbation analysis for production control and optimization of manufacturing systems
- Policy iteration for customer-average performance optimization of closed queueing systems
- Decentralized control of networked discrete event systems with communication delays
- IPA for continuous stochastic marked graphs
- On the computation of natural observers in discrete-event systems
- Permissive strategies: from parity games to safety games
- Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
- Robust nonblocking supervisory control of discrete-event systems under partial observation
- scientific article; zbMATH DE number 1784933 (Why is no real title available?)
- Multi-model approach to discrete events systems: application to operating mode management
- Safe diagnosability for fault-tolerant supervision of discrete-event systems
- A decidable class of problems for control under partial observation
- Ordinal optimization and quantification of heuristic designs
- Inventory control policy for a periodic review system with expediting
- Exact and approximate approaches to the identification of stochastic MAX-plus-linear systems
- 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
- scientific article; zbMATH DE number 1836400 (Why is no real title available?)
- Infinitesimal perturbation analysis and optimization for make-to-stock manufacturing systems based on stochastic fluid models
- Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications
- Connectedness of graphs and its application to connected matroids through covering-based rough sets
- Stochastic control via direct comparison
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)
