On the public citation graph

Nondeterministic supervision under partial observations

https://doi.org/10.1007/bfb0033530
0 signed · 44 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1016/0020-0255(88)90001-1openalex-snapshot
On observability of discrete-event systems
inferredcites →https://doi.org/10.1016/0020-0255(88)90002-3openalex-snapshot
Decentralized supervisory control of discrete-event systems
inferredcites →https://doi.org/10.1109/9.402openalex-snapshot
Supervisory control of discrete-event processes with partial observations
inferredcites →https://doi.org/10.1137/0325013openalex-snapshot
Supervisory Control of a Class of Discrete Event Processes
inferredcites →https://doi.org/10.1137/0325036openalex-snapshot
On the Supremal Controllable Sublanguage of a Given Language

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-1-4612-0571-5_1openalex-snapshot
Discrete Event Systems: The State of the Art and New Directions
inferred← citeshttps://doi.org/10.1007/978-3-663-09823-2_9openalex-snapshot
Nonblocking Supervisory Control of Nondeterministic Systems
inferred← citeshttps://doi.org/10.1007/bf01797138openalex-snapshot
Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation
inferred← citeshttps://doi.org/10.1007/s10626-006-0023-7openalex-snapshot
Solvability of Centralized Supervisory Control Under Partial Observation
inferred← citeshttps://doi.org/10.1016/j.ifacol.2020.12.2315openalex-snapshot
Opacity Enforcing Supervisory Control using Non-deterministic Supervisors
inferred← citeshttps://doi.org/10.1023/a:1008258331497openalex-snapshot
A Discrete Event Systems Approach for Protocol Conversion
inferred← citeshttps://doi.org/10.1023/a:1008301317459openalex-snapshot
Bisimulation, the Supervisory Control Problem and Strong Model Matching for Finite State Machines
inferred← citeshttps://doi.org/10.1109/9.566659openalex-snapshot
Supervisory control using failure semantics and partial specifications
inferred← citeshttps://doi.org/10.1109/9.654883openalex-snapshot
Discrete-event control of nondeterministic systems
inferred← citeshttps://doi.org/10.1109/acc.1995.532095openalex-snapshot
A new framework for supervisory control
inferred← citeshttps://doi.org/10.1109/acc.2005.1470591openalex-snapshot
A small model theorem for bisimilarity control under partial observation
inferred← citeshttps://doi.org/10.1109/acc.2009.5159823openalex-snapshot
Supervisory control of discrete event systems modeled by Mealy automata with nondeterministic output functions
inferred← citeshttps://doi.org/10.1109/cdc.1994.411722openalex-snapshot
Supervisory control of nondeterministic systems under partial observation
inferred← citeshttps://doi.org/10.1109/cdc.1996.577492openalex-snapshot
Discrete event control of nondeterministic systems
inferred← citeshttps://doi.org/10.1109/cdc.2001.980826openalex-snapshot
Supervisory control of discrete event systems with CTL* temporal logic specifications
inferred← citeshttps://doi.org/10.1109/cdc.2004.1428681openalex-snapshot
Control of nondeterministic discrete event systems for simulation equivalence
inferred← citeshttps://doi.org/10.1109/cdc.2004.1428814openalex-snapshot
Decentralized nondeterministic supervisory control of discrete event systems
inferred← citeshttps://doi.org/10.1109/cdc.2014.7040195openalex-snapshot
Synthesis of maximally permissive non-blocking supervisors for partially observed discrete event systems
inferred← citeshttps://doi.org/10.1109/coase.2009.5234123openalex-snapshot
Discrete event control under nondeterministic partial observation
inferred← citeshttps://doi.org/10.1109/jas.2021.1003964openalex-snapshot
Control of Non-Deterministic Systems With $\mu$-Calculus Specifications Using Quotienting
inferred← citeshttps://doi.org/10.1109/jas.2023.123702openalex-snapshot
Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks
inferred← citeshttps://doi.org/10.1109/tac.2005.844725openalex-snapshot
Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control
inferred← citeshttps://doi.org/10.1109/tac.2006.875036openalex-snapshot
Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
inferred← citeshttps://doi.org/10.1109/tac.2007.904470openalex-snapshot
Bisimilarity Control of Partially Observed Deterministic Systems
inferred← citeshttps://doi.org/10.1109/tac.2015.2460391openalex-snapshot
Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
inferred← citeshttps://doi.org/10.1109/tac.2016.2644867openalex-snapshot
Synthesis of Maximally-Permissive Supervisors for the Range Control Problem
inferred← citeshttps://doi.org/10.1109/tac.2021.3131125openalex-snapshot
Opacity Enforcing Supervisory Control Using Nondeterministic Supervisors
inferred← citeshttps://doi.org/10.1109/tac.2025.3564221openalex-snapshot
Integrating Obfuscation and Control for Privacy
inferred← citeshttps://doi.org/10.1109/wodes.2016.7497818openalex-snapshot
On maximal permissiveness in partially-observed discrete event systems: Verification and synthesis
inferred← citeshttps://doi.org/10.1137/s0363012902409982openalex-snapshot
Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications
inferred← citeshttps://doi.org/10.1137/s0363012994272903openalex-snapshot
Centralized and Decentralized Supervisory Control of Nondeterministic Systems Under Partial Observation
inferred← citeshttps://doi.org/10.23919/acc.2004.1384014openalex-snapshot
Control using nondeterministic supervisors for partially observed discrete event systems
inferred← citeshttps://doi.org/10.23919/acc.2004.1384017openalex-snapshot
Control of nondeterministic discrete event systems for bisimulation equivalence
inferred← citeshttps://doi.org/10.31274/rtd-180813-16450openalex-snapshot
Decentralized/distributed failure diagnosis and supervisory control of discrete event systems
inferred← citeshttps://doi.org/10.31274/rtd-180813-16723openalex-snapshot
Supervisory control of discrete event systems for bisimulation or simulation equivalence
inferred← citeshttps://doi.org/10.3182/20080706-5-kr-1001.01103openalex-snapshot
A fault tolerant architecture for supervisory control of discrete event systems
inferred← citeshttps://doi.org/10.3182/20140824-6-za-1003.00656openalex-snapshot
A General Approach for Synthesis of Supervisors for Partially-Observed Discrete-Event Systems
inferred← citeshttps://doi.org/10.48550/arxiv.2010.10149openalex-snapshot
Opacity Enforcing Supervisory Control using Non-deterministic Supervisors
inferred← citeshttps://doi.org/10.5687/iscie.22.154openalex-snapshot
Supervisory Control of Discrete Event Systems Modeled by Mealy Automata with Nondeterministic Output Functions
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.