Pages that link to "Item:Q3426554"

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

Displaying 50 items.

• Computation of supervisors for reconfigurable machine tools (Q2348361) (← links)
• Performance optimization for a class of generalized stochastic Petri nets (Q2348377) (← links)
• Stochastic optimization on social networks with application to service pricing (Q2355196) (← links)
• Differentiability conditions for stochastic hybrid systems with application to the optimal design of microgrids (Q2363577) (← links)
• Verification of opacity and diagnosability for pushdown systems (Q2375627) (← links)
• A note on controllability of deterministic context-free~systems (Q2391510) (← links)
• Concurrency bugs in multithreaded software: modeling and analysis using Petri nets (Q2393141) (← links)
• Methods for the estimation of the size of lookahead tree state-space (Q2393146) (← links)
• Predictive runtime enforcement (Q2402553) (← links)
• Optimal design of personalized prostate cancer therapy using infinitesimal perturbation analysis (Q2406966) (← links)
• Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures (Q2407177) (← links)
• A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers (Q2407182) (← links)
• Fault prognosis of timed stochastic discrete event systems with bounded estimation error (Q2409123) (← links)
• Online minimization of sensor activation for supervisory control (Q2409274) (← links)
• Diagnosability of intermittent sensor faults in discrete event systems (Q2409363) (← links)
• Applying differential dynamic logic to reconfigurable biological networks (Q2411314) (← links)
• Network robustness depth and topology management of networked dynamic systems (Q2416520) (← links)
• Minimal diagnosis and diagnosability of discrete-event systems modeled by automata (Q2658452) (← links)
• Optimal supervisory control with mean payoff objectives and under partial observation (Q2662323) (← links)
• A general framework for diagnosis of discrete event systems subject to sensor failures (Q2665161) (← links)
• Decentralized diagnosis of discrete event systems subject to permanent sensor failures (Q2673757) (← links)
• A general language-based framework for specifying and verifying notions of opacity (Q2673762) (← links)
• Transformational supervisor synthesis for evolving systems (Q2673766) (← links)
• Cooperative control of networked discrete-event systems: application to the handling system HANS (Q2681166) (← links)
• Strong current-state and initial-state opacity of discrete-event systems (Q2682301) (← links)
• Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability (Q2682315) (← links)
• I-S detectability of partially-observed discrete event systems: a novel matrix-based method (Q2687822) (← links)
• Distributed computation of supremal conditionally controllable sublanguages (Q2792732) (← links)
• Decentralized fault diagnosis approach without a global model for fault diagnosis of discrete event systems (Q2799260) (← links)
• Diagnosability of discrete event systems subject to permanent sensor failures (Q2799301) (← links)
• Existence and Verification for Decentralized Nondeterministic Discrete-Event Systems Under Bisimulation Equivalence (Q2828481) (← links)
• A Weighted Pair Graph Representation for Reconstructibility of Boolean Control Networks (Q2833528) (← links)
• STP Approach to Model Controlled Automata with Application to Reachability Analysis of DEDS (Q2960118) (← links)
• Cooperative Tasking for Deterministic Specification Automata (Q2960122) (← links)
• A Summary of Some Discrete-Event System Control Problems (Q3073615) (← links)
• Modular nonblocking state feedback control of discrete event systems and its application to dynamic oligopolistic markets (Q3119154) (← links)
• Fault-tolerant cooperative tasking for multi-agent systems (Q3119159) (← links)
• An extended event graph-based modelling method for parallel and distributed discrete-event simulation (Q3168285) (← links)
• Performance Evaluation of Schedulers in a Probabilistic Setting (Q3172839) (← links)
• Introduction to Model Checking (Q3176359) (← links)
• Graph Games and Reactive Synthesis (Q3176385) (← links)
• An Overview for Markov Decision Processes in Queues and Networks (Q3305576) (← links)
• (Q3386773) (← links)
• What you should know about simulation and derivatives (Q3612294) (← links)
• Supervisory Control of Discrete-Event Systems (Q4560599) (← links)
• Coordination Control of Distributed Discrete-Event Systems (Q4560600) (← links)
• Modeling Memory Effects in Activity-Driven Networks (Q4562428) (← links)
• Robust supervisory control of discrete event systems against intermittent loss of observations (Q5018811) (← links)
• Coordinated corrective control for model matching of asynchronous sequential machines (Q5026583) (← links)
• On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices (Q5026918) (← links)