On the public citation graph
Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations
0 signed · 61 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/bf02551233openalex-snapshot
Modular supervisory control of discrete-event systems
inferredcites →https://doi.org/10.1007/bf02551361openalex-snapshot
On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
inferredcites →https://doi.org/10.1007/bfb0007558openalex-snapshot
Modular Supervisory Control of Discrete Event Systems
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.1016/0096-0551(80)90011-9openalex-snapshot
Introduction to automata theory, languages, and computation
inferredcites →https://doi.org/10.1016/0378-4754(81)90068-9openalex-snapshot
Introduction to automata theory, languages and computation
inferredcites →https://doi.org/10.1016/s0049-237x(13)72072-xopenalex-snapshot
Studies in Logic and The Foundations of Mathematics
inferredcites →https://doi.org/10.1016/s0079-8169(08)x6055-6openalex-snapshot
Automata, Languages, and Machines
inferredcites →https://doi.org/10.1109/9.1222openalex-snapshot
Modeling and analysis of transaction execution in database systems
inferredcites →https://doi.org/10.1109/9.402openalex-snapshot
Supervisory control of discrete-event processes with partial observations
inferredcites →https://doi.org/10.1109/9.8645openalex-snapshot
Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
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
inferredcites →https://doi.org/10.1137/0325066openalex-snapshot
Modular Feedback Logic for Discrete Event Systems
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/047134608x.w8400openalex-snapshot
Estimation and Verification of Partially Observed Discrete‐Event Systems
inferred← citeshttps://doi.org/10.1007/978-1-4471-4276-8_4openalex-snapshot
Supervisory Control with Partial Observations
inferred← citeshttps://doi.org/10.1007/978-1-4613-9347-4_9openalex-snapshot
Decentralized Discrete-Event Systems and Computational Complexity
inferred← citeshttps://doi.org/10.1007/978-3-319-77452-7_6openalex-snapshot
Supervisory Control with Partial Observations
inferred← citeshttps://doi.org/10.1007/978-3-642-33475-7_12openalex-snapshot
On Properties and State Complexity of Deterministic State-Partition Automata
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-005-2868-6openalex-snapshot
Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction
inferred← citeshttps://doi.org/10.1007/s10626-022-00365-5openalex-snapshot
Using Subobservers to Synthesize Opacity-Enforcing Supervisors
inferred← citeshttps://doi.org/10.1016/0167-6911(90)90004-eopenalex-snapshot
Formulas for calculating supremal controllable and normal sublanguages
inferred← citeshttps://doi.org/10.1016/0167-6911(90)90059-4openalex-snapshot
The infimal prefix-closed and observable superlanguange of a given language
inferred← citeshttps://doi.org/10.1016/0167-6911(91)90061-iopenalex-snapshot
On controllability and normality of discrete event dynamical systems
inferred← citeshttps://doi.org/10.1016/0167-6911(93)90082-hopenalex-snapshot
Formulas for a class of controllable and observable sublanguages larger than the supremal controllable and normal sublanguage
inferred← citeshttps://doi.org/10.1016/j.automatica.2018.12.013openalex-snapshot
Codiagnosability of discrete event systems revisited: A new necessary and sufficient condition and its applications
inferred← citeshttps://doi.org/10.1016/s0167-6911(02)00322-5openalex-snapshot
Effective computation of an Lm(G)-closed, controllable, and observable sublanguage arising in supervisory control
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)30725-5openalex-snapshot
Supremal normal sublanguages of large distributed discrete-event systems
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80637-6openalex-snapshot
Coinduction in Control of Partially Observed Discrete-Event Systems
inferred← citeshttps://doi.org/10.1023/a:1008226632478openalex-snapshot
Why Event Observation: Observability Revisited
inferred← citeshttps://doi.org/10.1080/00207179608921696openalex-snapshot
On the corrective control of sequential machines
inferred← citeshttps://doi.org/10.1109/49.46852openalex-snapshot
Formal methods for protocol conversion
inferred← citeshttps://doi.org/10.1109/9.182487openalex-snapshot
On supervisory control of sequential behaviors
inferred← citeshttps://doi.org/10.1109/9.400469openalex-snapshot
The computational complexity of decentralized discrete-event control problems
inferred← citeshttps://doi.org/10.1109/9.543996openalex-snapshot
Minimizing the cardinality of an events set for supervisors of discrete-event dynamical systems
inferred← citeshttps://doi.org/10.1109/9.880616openalex-snapshot
Know means no: Incorporating knowledge into discrete-event control systems
inferred← citeshttps://doi.org/10.1109/acc.1995.532324openalex-snapshot
A new class of supervisors for partially observed discrete event systems
inferred← citeshttps://doi.org/10.1109/cdc.1994.411723openalex-snapshot
An improved suboptimal solution for supervisory control and observation problem
inferred← citeshttps://doi.org/10.1109/codit55151.2022.9804002openalex-snapshot
On Checking Observability of Formal Languages in DES Control Problems
inferred← citeshttps://doi.org/10.1109/isic.1994.367833openalex-snapshot
Finite state supervisors in discrete event systems under partial observations
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.2007.892371openalex-snapshot
Knowledge Is a Terrible Thing to Waste: Using Inference in Discrete-Event Control Problems
inferred← citeshttps://doi.org/10.1109/tac.2007.915164openalex-snapshot
Modular Control of Discrete-Event Systems With Coalgebra
inferred← citeshttps://doi.org/10.1109/tac.2009.2023961openalex-snapshot
Modifying Security Policies for the Satisfaction of Intransitive Non-Interference
inferred← citeshttps://doi.org/10.1109/tac.2014.2341891openalex-snapshot
Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages
inferred← citeshttps://doi.org/10.1109/tac.2015.2513370openalex-snapshot
Relative Observability and Coobservability of Timed Discrete-Event Systems
inferred← citeshttps://doi.org/10.1109/tac.2016.2644640openalex-snapshot
New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage
inferred← citeshttps://doi.org/10.1109/tac.2021.3108518openalex-snapshot
Codiagnosability of Networked Discrete Event Systems With Timing Structure
inferred← citeshttps://doi.org/10.1109/tra.2002.807551openalex-snapshot
A control switching theory for supervisory control of discrete event systems
inferred← citeshttps://doi.org/10.1109/wodes.2002.1167665openalex-snapshot
Computation of supremal sublanguages of supervisory control using coalgebra
inferred← citeshttps://doi.org/10.1109/wodes.2002.1167666openalex-snapshot
Effective computation of an L/sub m/(G)-closed, controllable, and observable sublanguage arising in supervisory control
inferred← citeshttps://doi.org/10.1137/0331061openalex-snapshot
Language Stability and Stabilizability of Discrete Event Dynamical Systems
inferred← citeshttps://doi.org/10.14236/ewic/vecos2011.7openalex-snapshot
An Iterative Approach for the Satisfaction of Security Using the Intransitive Non-Interference Property
inferred← citeshttps://doi.org/10.23919/acc.1991.4791935openalex-snapshot
On ω-controllability and ω-normality of deds
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.3182/20020721-6-es-1901.00519openalex-snapshot
TWO OBSERVATIONS REGARDING COMMUNICATION IN DECENTRALIZED SUPERVISORY CONTROL
inferred← citeshttps://doi.org/10.3390/computation12050095openalex-snapshot
Analysis and Control of Partially Observed Discrete-Event Systems via Positively Constructed Formulas
inferred← citeshttps://doi.org/10.48550/arxiv.1903.11413openalex-snapshot
Estimation and Verification of Partially-Observed Discrete-Event Systems
inferred← citeshttps://doi.org/10.5687/iscie.8.222openalex-snapshot
Supervisory Control of Discrete Event Systems under Partial Observations of Events and States
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.