UMDES
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Approximate equivalence and synchronization of metric transition systems
- Output feedback stabilization for a class of nonlinear time-evolution systems
- Predictability of event occurrences in partially-observed discrete-event systems
- Compositionally progressive solutions of synchronous FSM equations
- 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
- Supervisory control of the structured dynamic discrete-event systems
- A decidable class of problems for control under partial observation
- Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints
- On-line fault detection in discrete event systems by Petri nets and integer linear programming
- Performance optimization of a class of discrete event dynamic systems using calculus of variations techniques
- REGAL
- SQG
- WSAT
- Desco
- Games for synthesis of controllers with partial observation.
- Maximizing robustness of supervisors for partially observed discrete event systems.
- Coverage in fault-tolerant control
- STCT
- TINA
- IF-2.0
- What information really matters in supervisor reduction?
- Computing observers from observation policies in discrete-event systems
- An interval-based approach to model input uncertainty in M/M/1 simulation
- Evaluating the quality of online optimization algorithms by discrete event simulation
- SYROCO
- Control design for nondeterministic input/output automata
- Performance regulation in discrete event and hybrid dynamical systems using IPA
- Consistent approximations of the Zeno behaviour in affine-type switched dynamic systems
- A necessary and sufficient condition for diagnosability of stochastic discrete event systems
- Design of decentralized critical observers for networks of finite state machines: a formal method approach
- Verification of detectability in probabilistic finite automata
- Verification complexity of a class of observational properties for modular discrete events systems
- Simulation budget allocation for simultaneously selecting the best and worst subsets
- Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication
- Predictability of fuzzy discrete event systems
- Supervisory control and reactive synthesis: a comparative introduction
- Detection and mitigation of classes of attacks in supervisory control systems
- Fault tolerant control for a class of interconnected asynchronous sequential machines
- Infinite-step opacity and K-step opacity of stochastic discrete-event systems
- Stony Brook
- An approximations based approach to optimal control of switched dynamic systems
- Identification of stochastic timed discrete event systems with st-IPN
- Control of discrete event systems by means of discrete optimization and disjunctive colored PNs: application to manufacturing facilities
- Trajectory detectability of discrete-event systems
- Deadlock-free output feedback controller design based on approximately abstracted observers
- Verification of asynchronous systems with an unspecified component
- Opinion influence and evolution in social networks: a Markovian agents model
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
- Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications
- Applications of generalized likelihood ratio method to distribution sensitivities and steady-state simulation
- Instruction-throughput regulation in computer processors with data-center applications
- Distributed monitoring of concurrent and asynchronous systems
- PSPACE-completeness of modular supervisory control problems
- Model-based detection of routing events in discrete flow networks
- A language measure for performance evaluation of discrete-event supervisory control systems
- Equivalent and efficient optimization models for an industrial discrete event system with alternative structural configurations
- Current-state opacity enforcement in discrete event systems under incomparable observations
- Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation
- Faults prognosis using partially observed stochastic Petri nets: an incremental approach
- Probabilistic system opacity in discrete event systems
- A hierarchical consistency framework for real-time supervisory control
- Detectability of networked discrete event systems
- Test-based diagnosis of faults in data exchange addressing in computer systems using parallel model
- Enforcement of opacity by public and private insertion functions
- Comparison and aggregation of max-plus linear systems
- SMACS
- On optimal control of a class of partially observed discrete event systems
- PARAMICS
- Categorical foundations for randomly timed automata
- Perturbation analysis for production control and optimization of manufacturing systems
- Supervisory control of discrete event systems
- On conditional decomposability
- Decentralized diagnosis of fuzzy discrete-event systems
- On K-diagnosability of Petri nets via integer linear programming
- Robust diagnosis of discrete event systems against intermittent loss of observations
- Supervisory control synthesis of discrete-event systems using a coordination scheme
- Optimal hybrid fault recovery in a team of unmanned aerial vehicles
- On controllability of discrete event systems in a behavioral framework
- 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
- Incremental model evolution and reusability of supervisors for discrete event systems
- On the ultimate behaviour of the sequence of consecutive powers of a matrix in the max-plus algebra
- Cadence SMV
- Diagnostic model for a distributed computer system in real time
- Model matching inclusion for input/state asynchronous sequential machines with constraint on the length of control input sequences
- Model identification of unobservable behavior of discrete event systems using Petri nets
- Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems
- Sycraft
- Verification of C-detectability using Petri nets
- State-based fault diagnosis of discrete-event systems with partially observable outputs
- Opacity of networked discrete event systems
- Detectability verification of probabilistic Boolean networks
- Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
- Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems
- Nonblocking and deterministic decentralized control for networked discrete event systems under communication delays
- Compositional coordinator synthesis of extended finite automata
- Comparing the notions of opacity for discrete-event systems
- Optimal modular control of discrete event systems with distinguishers and approximations
This page was built for software: UMDES
