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
- On the invariance property of reduced supervisors from the perspective of vector discrete-event systems
- On the stabilization of nondeterministic finite automata via static output feedback
- Semitensor product approach to controllability, reachability, and stabilizability of probabilistic finite automata
- Unfolding-based diagnosis of systems with an evolving topology
- K-diagnosability analysis of bounded and unbounded Petri nets using linear optimization
- Dealing with sensor and actuator deception attacks in supervisory control
- On-the-fly informed search of non-blocking directed controllers
- Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies
- Using subobservers to synthesize opacity-enforcing supervisors
- Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
- State complexity of projection on languages recognized by permutation automata and commuting letters
- Opacity of networked discrete event systems
- Comparing the notions of opacity for discrete-event systems
- Structural decentralised control of concurrent discrete-event systems
- Diagnosability analysis of a class of hierarchical state machines
- Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids
- Deadlock-free output feedback controller design based on approximately abstracted observers
- Verification of asynchronous systems with an unspecified component
- Verification complexity of a class of observational properties for modular discrete events systems
- A branch and bound approach for the design of decentralized supervisors in Petri net models
- Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks
- Conceptual design of discrete-event systems using templates
- Modeling with discrete-time recurrent fuzzy systems via mixed-integer optimization
- 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
- Modelling and hierarchical diagnosis of timed discrete-event systems
- Event counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delays
- Relating two automata-based models of orchestration and choreography
- Petri nets properties related to the unboundness and analyzed using coverability multigraph
- Safe supervisory control under observability failure
- Modelling and temporal evaluation of networked control systems using timed automata with guards and (max,+) algebra
- Supervisory controller design for timed-place Petri nets
- 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
- Compositionally progressive solutions of synchronous FSM equations
- Resource contention games in multiclass stochastic flow models
- Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems
- Fault diagnosis of discretely controlled continuous systems by means of discrete-event models
- Analytical approach to evaluate language measure parameters for discrete-event supervisory control
- What you should know about simulation and derivatives
- A semiotic approach to the control of semi-autonomous robots
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
- Introduction to Discrete Event Systems
- A simple fault tolerant control for input/output asynchronous sequential machines
- Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems
- Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems
- Optimal control of production processes with variable execution times
- Can I find a partner? Undecidability of partner existence for open nets
- 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
- Supervisory control of discrete event systems
- Compositional synthesis of maximally permissive supervisors using supervision equivalence
- Optimal control of a class of positive Markovian bilinear systems
- Design of stabilizing strategies for discrete-time dual switching linear systems
- Decentralized fault prognosis of discrete event systems with guaranteed performance bound
- Detectability in stochastic discrete event systems
- On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices
- Trajectory detectability of discrete-event systems
- Diagnosis of hybrid dynamic systems based on the behavior automaton abstraction
- A general approach for optimizing dynamic sensor activation for discrete event systems
- Analysis of event-driven controllers for linear systems
- Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence
- Integrating discrete controller synthesis into a reactive programming language compiler
- Applications of generalized likelihood ratio method to distribution sensitivities and steady-state simulation
- Instruction-throughput regulation in computer processors with data-center applications
- MPC for discrete-event systems with soft and hard synchronization constraints
- Opinion influence and evolution in social networks: a Markovian agents model
- Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
- Coordinated static control of asynchronous sequential machines
- A new algorithm for testing diagnosability of fuzzy discrete event systems
- Verification of C-detectability using Petri nets
- On-line control of the threshold policy parameter for multiclass systems
- Analysis and control of fuzzy discrete event systems using bisimulation equivalence
- An optimization-based approach to assess non-interference in labeled and bounded Petri net systems
- Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacks
- \(K\)-loss robust codiagnosability of discrete-event systems
- A framework for current-state opacity under dynamic information release mechanism
- Enforcement for infinite-step opacity and K-step opacity via insertion mechanism
- Verification of \(K\)-step and infinite-step opacity of bounded labeled Petri nets
- Diagnosis of deep discrete-event systems
- Coordination control of distributed discrete-event systems
- Integrated decision and control of human-engineered complex systems
- Strong current-state and initial-state opacity of discrete-event systems
- Near-optimal online control of dynamic discrete-event systems
- Signed real measure of regular languages for discrete event supervisory control
- Cooperative tasking for deterministic specification automata
- Model-based detection of routing events in discrete flow networks
- Supervisory control of discrete-event systems under attacks
- Categorical foundations for randomly timed automata
- Modeling memory effects in activity-driven networks
- Supervisory control and reactive synthesis: a comparative introduction
- Active acquisition of information for diagnosis and supervisory control of discrete event systems
- An improved algorithm for determinization of weighted and fuzzy automata
- What information really matters in supervisor reduction?
This page was built for software: UMDES
