Pages that link to "Item:Q1102899"
From MaRDI portal
The following pages link to On observability of discrete-event systems (Q1102899):
Displaying 50 items.
- \(N\)-diagnosability for active on-line diagnosis in discrete event systems (Q1679101) (← links)
- Trajectory detectability of discrete-event systems (Q1729041) (← links)
- Supervisory control of a class of concurrent discrete event systems under partial observation (Q1773097) (← links)
- PSPACE-completeness of modular supervisory control problems (Q1773103) (← links)
- Characterizations and effective computation of supremal relatively observable sublanguages (Q1788694) (← links)
- Detectability of networked discrete event systems (Q1790664) (← links)
- Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations (Q1797083) (← links)
- Recursive computation of limited lookahead supervisory controls for discrete event systems (Q1801471) (← links)
- Formulas for a class of controllable and observable sublanguages larger than the supremal controllable and normal sublanguage (Q1801642) (← links)
- The infimal prefix-closed and observable superlanguage of a given language (Q1814432) (← links)
- On optimal control of a class of partially observed discrete event systems (Q1858865) (← links)
- Modelling, state observation and diagnosis of quantised systems (Q1860511) (← links)
- Supervisory control of discrete event systems (Q1922191) (← links)
- Incremental model evolution and reusability of supervisors for discrete event systems (Q1962005) (← links)
- Robust supervisory control of a class of timed discrete event systems under partial observation (Q1978665) (← links)
- Verification of C-detectability using Petri nets (Q2023240) (← links)
- State-based fault diagnosis of discrete-event systems with partially observable outputs (Q2023248) (← links)
- Opacity of networked discrete event systems (Q2053901) (← links)
- Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches (Q2058490) (← links)
- Nonblocking and deterministic decentralized control for networked discrete event systems under communication delays (Q2058568) (← links)
- Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems (Q2059364) (← links)
- Epistemic interpretations of decentralized discrete-event system problems (Q2081081) (← links)
- Using subobservers to synthesize opacity-enforcing supervisors (Q2106417) (← links)
- Deterministic supervisory control with flexible upper-bounds on observation delay and control delay (Q2165979) (← links)
- On the relation between reactive synthesis and supervisory control of non-terminating processes (Q2177781) (← links)
- Supervisory control of state-tree structures with partial observation (Q2200558) (← links)
- Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions (Q2224835) (← links)
- A hierarchical and modular control architecture for sequential behaviours (Q2348360) (← links)
- Robustness of synchronous communication protocols with delay for decentralized discrete-event control (Q2348364) (← links)
- Observability and diagnosability of finite state systems: a unifying framework (Q2409221) (← links)
- Supervisor localization of discrete-event systems under partial observation (Q2409225) (← links)
- Online minimization of sensor activation for supervisory control (Q2409274) (← links)
- Robust nonblocking supervisory control of discrete-event systems under partial observation (Q2433426) (← links)
- Control of discrete-event systems with modular or distributed structure (Q2464943) (← links)
- Supervisory control of switching control systems (Q2474450) (← links)
- State observability and condition observability for a class of interacting discrete event systems (Q2489596) (← links)
- Multi-model approach to discrete events systems: application to operating mode management (Q2489621) (← links)
- Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control (Q2503503) (← links)
- On computation of supremal controllable, normal sublanguages (Q2504587) (← links)
- Supervisory control of timed discrete event systems under partial observation based on activity models and eligible time bounds (Q2504677) (← links)
- State estimation and detectability of probabilistic discrete event systems (Q2518973) (← links)
- Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation (Q2563760) (← links)
- Hierarchical control of discrete-event systems (Q2563779) (← links)
- Theorem of abstraction for equivalent controllers in hybrid systems (Q2568275) (← links)
- An improved approach for verifying delayed detectability of discrete-event systems (Q2663854) (← links)
- Observation and distinction: representing information in infinite games (Q2701064) (← links)
- Supervisory control of (max,+) automata: extensions towards applications (Q2799292) (← links)
- Abstraction-based verification and synthesis for prognosis of discrete event systems (Q2821258) (← links)
- A weighted pair graph representation for reconstructibility of Boolean control networks (Q2833528) (← links)
- Non-interference control synthesis for security timed automata (Q2864391) (← links)
