The following pages link to (Q4719062):
Displayed 50 items.
- Detectability of discrete event systems with dynamic event observation (Q962185) (← links)
- Policy iteration for customer-average performance optimization of closed queueing systems (Q963965) (← links)
- Can I find a partner? Undecidability of partner existence for open nets (Q975497) (← links)
- Bilinear system interconnections and generating series of weighted Petri nets (Q976183) (← links)
- Optimal control of production processes with variable execution times (Q977002) (← links)
- Ordinal optimization and quantification of heuristic designs (Q977007) (← links)
- On-line control of the threshold policy parameter for multiclass systems (Q987613) (← links)
- An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions (Q998679) (← links)
- Approximate equivalence and synchronization of metric transition systems (Q1004092) (← links)
- Output feedback stabilization for a class of nonlinear time-evolution systems (Q1006702) (← links)
- Compositionally progressive solutions of synchronous FSM equations (Q1020554) (← links)
- IPA derivatives for make-to-stock production-inventory systems with backorders under the (\(\mathbf{R,r}\)) policy (Q1023987) (← links)
- Impact of ramp-up on the optimal capacity-related reconfiguration policy (Q1028655) (← links)
- A decidable class of problems for control under partial observation (Q1041809) (← links)
- Games for synthesis of controllers with partial observation. (Q1401346) (← links)
- Maximizing robustness of supervisors for partially observed discrete event systems. (Q1428152) (← links)
- Coverage in fault-tolerant control (Q1433054) (← links)
- A necessary and sufficient condition for diagnosability of stochastic discrete event systems (Q1677190) (← links)
- Design of decentralized critical observers for networks of finite state machines: a formal method approach (Q1678627) (← links)
- Predictability of fuzzy discrete event systems (Q1686853) (← links)
- Verification of asynchronous systems with an unspecified component (Q1731830) (← links)
- Distributed monitoring of concurrent and asynchronous systems (Q1773098) (← links)
- PSPACE-completeness of modular supervisory control problems (Q1773103) (← links)
- Model-based detection of routing events in discrete flow networks (Q1776408) (← links)
- A language measure for performance evaluation of discrete-event supervisory control systems (Q1776697) (← links)
- Probabilistic system opacity in discrete event systems (Q1788695) (← links)
- Comparison and aggregation of max-plus linear systems (Q1826727) (← links)
- On optimal control of a class of partially observed discrete event systems (Q1858865) (← links)
- Categorical foundations for randomly timed automata (Q1884891) (← links)
- Perturbation analysis for production control and optimization of manufacturing systems (Q1888414) (← links)
- Decentralized diagnosis of fuzzy discrete-event systems (Q1937327) (← links)
- On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming (Q1937479) (← links)
- On controllability of discrete event systems in a behavioral framework (Q1951853) (← links)
- Timing control of switched systems with applications to robotic marionettes (Q1959116) (← links)
- Infinitesimal perturbation analysis in networks of stochastic flow models: general framework and case study of tandem networks with flow control (Q1959122) (← links)
- Unfolding-based diagnosis of systems with an evolving topology (Q1959480) (← links)
- Observation-assisted heuristic synthesis of covert attackers against unknown supervisors (Q2081087) (← links)
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface (Q2081803) (← links)
- Robustly distributed diagnosis of discrete-event systems and its application to alipay transaction systems (Q2109177) (← links)
- A discrete-event and hybrid traffic simulation model based on SimEvents for intelligent transportation system analysis in Mcity (Q2177762) (← links)
- Stochastic flow models with delays, blocking and applications to multi-intersection traffic light control (Q2177782) (← links)
- Natural projection as partial model checking (Q2208303) (← links)
- Synthesis of covert actuator attackers for free (Q2220340) (← links)
- Dynamic control with indistinguishable events (Q2256883) (← links)
- Symbolic control design of nonlinear systems with outputs (Q2280917) (← links)
- Inventory control policy for a periodic review system with expediting (Q2293983) (← links)
- Bisimulation of type 2 for BL-general fuzzy automata (Q2297988) (← links)
- Semitensor product approach to controllability, reachability, and stabilizability of probabilistic finite automata (Q2298809) (← links)
- Employing behavioral preorders to define controllability for nondeterministic discrete-event systems (Q2348368) (← links)
- Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems (Q2348371) (← links)