Pages that link to "Item:Q3426554"

The following pages link to Introduction to Discrete Event Systems (Q3426554):

Displaying 50 items.

• Verification of safe diagnosability of stochastic discrete-event systems (Q5027364) (← links)
• Design of light weight exact discrete event system diagnosers using measurement limitation: case study of electronic fuel injection system (Q5027572) (← links)
• Modelling and temporal evaluation of networked control systems using timed automata with guards and (max,+) algebra (Q5027756) (← links)
• Application of the Projected Dynamics to Hybrid Systems and to the Sliding Mode Control Processes (Q5054239) (← links)
• A Framework for the Analysis of Supervised Discrete Event Systems Under Attack (Q5054282) (← links)
• Current-state opacity and initial-state opacity of modular discrete event systems (Q5056544) (← links)
• Tropical Time Series, Iterated-Sums Signatures, and Quasisymmetric Functions (Q5057036) (← links)
• (Q5114827) (← links)
• Secure Diagnosability of Hybrid Dynamical Systems (Q5117251) (← links)
• Diagnosability of Discrete Faults with Uncertain Observations (Q5117253) (← links)
• Diagnosis of Hybrid Dynamic Systems Based on the Behavior Automaton Abstraction (Q5117259) (← links)
• Reachability and controllability analysis of probabilistic finite automata via a novel matrix method (Q5131093) (← links)
• Diagnosis of Deep Discrete-Event Systems (Q5145832) (← links)
• A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems (Q5158671) (← links)
• The Unmet Challenge of Timed Systems (Q5170750) (← links)
• Optimal non‐blocking decentralized supervisory control with unobservable controllable events (Q5194895) (← links)
• State Complexity of Projected Languages (Q5200092) (← links)
• Hybrid online learning control in networked multiagent systems: A survey (Q5222713) (← links)
• Robotics and Control Systems (Q5241461) (← links)
• Partitioned event graph: formalizing LP-based modelling of parallel discrete-event simulation (Q5248063) (← links)
• Optimal Supervisory Control of Discrete Event Systems: Cyclicity and Interleaving of Tasks (Q5254886) (← links)
• A learning-based synthesis approach to decentralized supervisory control of discrete event systems with unknown plants (Q5257774) (← links)
• Progressive events in supervisory control and compositional verification (Q5257781) (← links)
• A hybrid fault detection and isolation strategy for a team of cooperating unmanned vehicles (Q5265890) (← links)
• A simulation‐based differential evolution algorithm for stochastic parallel machine scheduling with operational considerations (Q5416762) (← links)
• Reliable Decentralized Supervisors for Discrete‐Event Systems Under Communication Delays: Existence and Verification (Q5416963) (← links)
• Supervisory Control with Complete Observations (Q5496921) (← links)
• Supervisory Control with Partial Observations (Q5496922) (← links)
• Diagnosis and Automata (Q5496923) (← links)
• Coordination Control of Distributed Discrete-Event Systems (Q5496926) (← links)
• A weakness measure for GR(1) formulae (Q5918136) (← links)
• A weakness measure for GR(1) formulae (Q5918262) (← links)
• Information and complexity in control systems: A tutorial (Q5941785) (← links)
• A control theory for Boolean monomial dynamical systems (Q5962028) (← links)
• Modular supervisory control for multi-floor manufacturing processes (Q6063113) (← links)
• On comparison of steady-state infinitesimal perturbation analysis and likelihood ratio derivative estimates (Q6080669) (← links)
• A survey on compositional algorithms for verification and synthesis in supervisory control (Q6080680) (← links)
• Verification and enforcement of current-state opacity based on a state space approach (Q6099923) (← links)
• Diagnosis of timed patterns for discrete event systems by means of state isolation (Q6110300) (← links)
• A multi-objective approach for manufacturing systems with multiple production routes based on supervisory control theory and heuristic algorithms (Q6120385) (← links)
• Robust corrective control against fundamental and non-fundamental mode attacks with application to an asynchronous digital system (Q6126856) (← links)
• Matrix approach for verification of opacity of partially observed discrete event systems (Q6135550) (← links)
• Online prognosis of stochastic discrete event systems with guaranteed performance bound (Q6136112) (← links)
• On transforming hybrid nonlinear control problems with model uncertainty and input disturbance to mixed integer-linear programs (Q6136498) (← links)
• Probabilistic verification of diagnosability for a certain class of timed stochastic systems (Q6174049) (← links)
• Solving linear equations over maxmin-\(\omega\) systems (Q6184912) (← links)
• Diagnosability of fault patterns with labeled stochastic Petri nets (Q6190046) (← links)
• Research Challenges in Orchestration Synthesis (Q6197380) (← links)
• Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications (Q6198141) (← links)
• Enforcing opacity by insertion functions under multiple energy constraints (Q6198145) (← links)