On the public citation graph
On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
0 signed · 117 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/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/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/s0079-8169(08)x6055-6openalex-snapshot
Automata, Languages, and Machines
inferredcites →https://doi.org/10.1109/5.21072openalex-snapshot
The 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.1109/cdc.1987.272853openalex-snapshot
On the control of discrete-event dynamical systems
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-4471-4276-8_4openalex-snapshot
Supervisory Control with Partial Observations
inferred← citeshttps://doi.org/10.1007/978-1-4612-3462-3_60openalex-snapshot
On Controllable Languages in Supervisory Control of Discrete Event Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-27755-2_17openalex-snapshot
Modelling and Control with Modules of Signal Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-27863-4_16openalex-snapshot
A Guide to Modelling and Control with Modules of Signal Nets
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/bf02088297openalex-snapshot
Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations
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-005-5237-6openalex-snapshot
Supervisory Control of a Class of Concurrent Discrete Event Systems 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.1007/s10626-006-8136-6openalex-snapshot
A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation
inferred← citeshttps://doi.org/10.1007/s10626-017-0250-0openalex-snapshot
Characterizations and effective computation of supremal relatively observable sublanguages
inferred← citeshttps://doi.org/10.1007/s10626-017-0264-7openalex-snapshot
Current-state opacity enforcement in discrete event systems under incomparable observations
inferred← citeshttps://doi.org/10.1007/s10626-022-00369-1openalex-snapshot
Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies
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(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.arcontrol.2016.04.001openalex-snapshot
A discussion of fault-tolerant supervisory control in terms of formal languages
inferred← citeshttps://doi.org/10.1016/j.automatica.2011.01.007openalex-snapshot
Active fault tolerant control of discrete event systems using online diagnostics
inferred← citeshttps://doi.org/10.1016/j.automatica.2021.109978openalex-snapshot
Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems
inferred← citeshttps://doi.org/10.1016/j.automatica.2022.110736openalex-snapshot
Dealing with sensor and actuator deception attacks in supervisory control
inferred← citeshttps://doi.org/10.1016/j.ifacol.2015.06.483openalex-snapshot
Fault-Tolerant Supervisory Control
inferred← citeshttps://doi.org/10.1016/j.ifacol.2017.08.2396openalex-snapshot
The Controllability Prefix for Supervisory Control under Partial Observation with an Application to Fault-Tolerant Control
inferred← citeshttps://doi.org/10.1016/j.ifacol.2024.07.020openalex-snapshot
Supervisor synthesis under partial observation of uncontrollable events using full observation synthesis
inferred← citeshttps://doi.org/10.1016/j.ins.2018.07.025openalex-snapshot
Supervisory control of state-tree structures with partial observation
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)51217-3openalex-snapshot
Stability of Discrete Event System Behavior
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:1008258331497openalex-snapshot
A Discrete Event Systems Approach for Protocol Conversion
inferred← citeshttps://doi.org/10.1023/a:1015625600613openalex-snapshot
A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems
inferred← citeshttps://doi.org/10.1080/00207179.2016.1261185openalex-snapshot
Reconfigurability of behavioural specifications for manufacturing systems
inferred← citeshttps://doi.org/10.1080/00207179.2017.1397754openalex-snapshot
Relative coobservability for decentralised supervisory control of discrete-event systems
inferred← citeshttps://doi.org/10.1080/00207179008934118openalex-snapshot
Stabilization of discrete-event processes
inferred← citeshttps://doi.org/10.1109/37.56284openalex-snapshot
Concurrency and discrete event control
inferred← citeshttps://doi.org/10.1109/5.21072openalex-snapshot
The control of discrete event systems
inferred← citeshttps://doi.org/10.1109/9.1271openalex-snapshot
Finitely recursive process models for discrete event systems
inferred← citeshttps://doi.org/10.1109/9.133186openalex-snapshot
Output stabilizability of discrete-event dynamic systems
inferred← citeshttps://doi.org/10.1109/9.182478openalex-snapshot
Limited lookahead policies in supervisory control of discrete event systems
inferred← citeshttps://doi.org/10.1109/9.233154openalex-snapshot
Control of vector discrete-event systems. I. The base model
inferred← citeshttps://doi.org/10.1109/9.376106openalex-snapshot
An algorithm for computing the mask value of the supremal normal sublanguage of a legal language
inferred← citeshttps://doi.org/10.1109/9.376114openalex-snapshot
Language convergence in controlled discrete-event systems
inferred← citeshttps://doi.org/10.1109/9.478332openalex-snapshot
On the supremal controllable sublanguage in the discrete-event model of nondeterministic hybrid control systems
inferred← citeshttps://doi.org/10.1109/9.52291openalex-snapshot
The infimal closed controllable superlanguage and its application in supervisory control
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.8645openalex-snapshot
Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
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/acc.2009.5159823openalex-snapshot
Supervisory control of discrete event systems modeled by Mealy automata with nondeterministic output functions
inferred← citeshttps://doi.org/10.1109/ccece.2016.7726653openalex-snapshot
Computational procedures for robust nonblocking supervisory control
inferred← citeshttps://doi.org/10.1109/cdc.1989.70676openalex-snapshot
On stabilization of discrete-event processes
inferred← citeshttps://doi.org/10.1109/cdc.1990.203678openalex-snapshot
Tracking and restrictability in discrete-event dynamic 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/cdc.2003.1273029openalex-snapshot
Supervisor synthesis for a class of concurrent discrete event systems
inferred← citeshttps://doi.org/10.1109/cdc.2004.1428679openalex-snapshot
A new class of supervisors for timed discrete event systems under partial observation
inferred← citeshttps://doi.org/10.1109/cdc.2013.6761045openalex-snapshot
On relative observability of discrete-event systems
inferred← citeshttps://doi.org/10.1109/cdc.2015.7402005openalex-snapshot
Minimization of sensor activation in decentralized fault diagnosis of discrete event systems
inferred← citeshttps://doi.org/10.1109/cdc.2016.7798862openalex-snapshot
On the maximally-permissive range control problem in partially-observed discrete event systems
inferred← citeshttps://doi.org/10.1109/cdc40024.2019.9029606openalex-snapshot
Maximally Permissive Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems under Partial Observation
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/med.2009.5164696openalex-snapshot
An algorithm for computing supremal nonblocking state-normal supervisors for nondeterministic systems
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.2005.852556openalex-snapshot
Decentralized supervisory control with conditional decisions: supervisor realization
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.2014.2341891openalex-snapshot
Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages
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.2015.2484359openalex-snapshot
A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
inferred← citeshttps://doi.org/10.1109/tac.2016.2523424openalex-snapshot
Decentralized Supervisory Control With Intersection-Based Architecture
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.2016.2644867openalex-snapshot
Synthesis of Maximally-Permissive Supervisors for the Range Control Problem
inferred← citeshttps://doi.org/10.1109/tac.2017.2747408openalex-snapshot
Synthesis of Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems
inferred← citeshttps://doi.org/10.1109/tac.2017.2783048openalex-snapshot
Minimization of Sensor Activation in Decentralized Discrete-Event Systems
inferred← citeshttps://doi.org/10.1109/tac.2018.2828098openalex-snapshot
Synthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment Problem
inferred← citeshttps://doi.org/10.1109/tac.2018.2844683openalex-snapshot
Model Checking in Isomorphic Module Systems
inferred← citeshttps://doi.org/10.1109/tac.2019.2905305openalex-snapshot
Supervisory Control of Probabilistic Discrete Event Systems Under Partial Observation
inferred← citeshttps://doi.org/10.1109/tac.2021.3051459openalex-snapshot
Synthesis of Supervisors Robust Against Sensor Deception Attacks
inferred← citeshttps://doi.org/10.1109/tac.2021.3103918openalex-snapshot
A Compact and Uniform Approach for Synthesizing State-Based Property-Enforcing Supervisors for Discrete-Event Systems
inferred← citeshttps://doi.org/10.1109/tac.2022.3195152openalex-snapshot
Maximally Permissive Supervisors for Nonblocking Similarity Control of Nondeterministic Discrete-Event Systems
inferred← citeshttps://doi.org/10.1109/tac.2024.3407612openalex-snapshot
On the Existence of Nonblocking Bounded Supervisors for Discrete-Event Systems
inferred← citeshttps://doi.org/10.1109/tac.2025.3622478openalex-snapshot
Enforcement of Critical Observability in Modular Discrete-Event Systems
inferred← citeshttps://doi.org/10.1109/tac.2026.3695799openalex-snapshot
Local Verification of Current-State Opacity and Static-State Opacity in Distributed Discrete-Event Systems
inferred← citeshttps://doi.org/10.1109/tase.2021.3100402openalex-snapshot
Decentralized Failure Prognosis of Stochastic Discrete-Event Systems and a Test Algorithm
inferred← citeshttps://doi.org/10.1109/tcyb.2018.2799961openalex-snapshot
Decentralized Fault Prognosis of Discrete-Event Systems Using State-Estimate-Based Protocols
inferred← citeshttps://doi.org/10.1109/tsmc.2015.2499178openalex-snapshot
Reliable Decentralized Fault Prognosis 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.1109/wodes.2016.7497818openalex-snapshot
On maximal permissiveness in partially-observed discrete event systems: Verification and synthesis
inferred← citeshttps://doi.org/10.1109/wodes.2016.7497819openalex-snapshot
A new algorithm for computing the supremal relatively observable sublanguage
inferred← citeshttps://doi.org/10.1137/0330076openalex-snapshot
Tracking and Restrictability in Discrete Event Dynamic Systems
inferred← citeshttps://doi.org/10.1137/0331061openalex-snapshot
Language Stability and Stabilizability of Discrete Event Dynamical Systems
inferred← citeshttps://doi.org/10.1137/s0363012992235183openalex-snapshot
Optimal Supervisory Control of Discrete Event Dynamical Systems
inferred← citeshttps://doi.org/10.1145/3424978.3425066openalex-snapshot
Library Readers Flow Control Based on the Supervisory Control Theory of Discrete-event Systems
inferred← citeshttps://doi.org/10.1146/annurev-control-053018-023659openalex-snapshot
Discrete Event Systems: Modeling, Observation, and Control
inferred← citeshttps://doi.org/10.11509/isciesci.46.3_138openalex-snapshot
時間付き離散事象システムのスーパバイザ制御(「ハイブリッドシステム : システム制御への新たな視点総合特集号」)
inferred← citeshttps://doi.org/10.11509/isciesci.56.7_381openalex-snapshot
離散事象システムのスーパバイザ制御理論-III : 部分観測と可観測性
inferred← citeshttps://doi.org/10.1587/transfun.e94.a.2802openalex-snapshot
Decentralized Supervisory Control of Timed Discrete Event Systems
inferred← citeshttps://doi.org/10.1587/transfun.e96.a.345openalex-snapshot
Computation of Sublanguages for Synthesizing Decentralized Supervisors for Timed Discrete Event Systems
inferred← citeshttps://doi.org/10.2139/ssrn.5671231openalex-snapshot
Security and Timing Analysis in Discrete-Event Systems: From Verification to Synthesis
inferred← citeshttps://doi.org/10.23919/acc.1991.4791935openalex-snapshot
On ω-controllability and ω-normality of deds
inferred← citeshttps://doi.org/10.23919/ecc.2001.7076146openalex-snapshot
Weak normality for supervisory control of discrete event systems under partial observation
inferred← citeshttps://doi.org/10.3182/20050703-6-cz-1902.00308openalex-snapshot
COMPUTATION OF CLOSED, CONTROLLABLE, AND WEAKLY OBSERVABLE SUBLANGUAGES FOR TIMED DISCRETE EVENT SYSTEMS
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/20121003-3-mx-4033.00030openalex-snapshot
On the Computation of Supremal Sublanguages Relevant to Supervisory Control
inferred← citeshttps://doi.org/10.48550/arxiv.2111.13840openalex-snapshot
A Topological Approach for Computing Supremal Sublanguages for Some Language Equations in Supervisory Control Theory
inferred← citeshttps://doi.org/10.5687/iscie.22.154openalex-snapshot
Supervisory Control of Discrete Event Systems Modeled by Mealy Automata with Nondeterministic Output Functions
inferred← citeshttps://doi.org/10.5687/iscie.8.222openalex-snapshot
Supervisory Control of Discrete Event Systems under Partial Observations of Events and States
inferred← citeshttps://doi.org/10.70675/3f8fd2e8z839az47fdza3c7z48aa4c83f2c9openalex-snapshot
Synthèse de contrôleurs pour des classes de réseau de Petri à contrôlabilité et observabilité partielles : application au contrôle automatisé des trains
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.