On the public citation graph

Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation

https://doi.org/10.1007/bf01797138
0 signed · 99 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.1007/bf01438708openalex-snapshot
On-line control of partially observed discrete event systems
inferredcites →https://doi.org/10.1007/bf01438709openalex-snapshot
Supervisory control using variable lookahead policies
inferredcites →https://doi.org/10.1007/bf02088297openalex-snapshot
Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations
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.1007/bfb0033530openalex-snapshot
Nondeterministic supervision under partial observations
inferredcites →https://doi.org/10.1016/0020-0255(88)90001-1openalex-snapshot
On observability of discrete-event systems
inferredcites →https://doi.org/10.1016/0167-6911(90)90004-eopenalex-snapshot
Formulas for calculating supremal controllable and normal sublanguages
inferredcites →https://doi.org/10.1016/0167-6911(90)90059-4openalex-snapshot
The infimal prefix-closed and observable superlanguange of a given language
inferredcites →https://doi.org/10.1109/5.21072openalex-snapshot
The control of discrete event systems
inferredcites →https://doi.org/10.1109/9.173140openalex-snapshot
Think globally, act locally: decentralized supervisory control
inferredcites →https://doi.org/10.1109/9.182478openalex-snapshot
Limited lookahead policies in supervisory control of discrete event systems
inferredcites →https://doi.org/10.1109/9.362854openalex-snapshot
Variable lookahead supervisory control with state information
inferredcites →https://doi.org/10.1109/9.376106openalex-snapshot
An algorithm for computing the mask value of the supremal normal sublanguage of a legal language
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.1109/cdc.1993.325596openalex-snapshot
Parallel and distributed algorithms for supervisory control of discrete event systems
inferredcites →https://doi.org/10.1109/cdc.1994.411724openalex-snapshot
Think globally, communicate, act locally: online parallel/distributed supervisory control
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.1006/jagm.1997.0877openalex-snapshot
An Efficient Algorithm for Controller Synthesis under Full Observation
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-1-4757-4070-7_3openalex-snapshot
Supervisory Control
inferred← citeshttps://doi.org/10.1007/s10626-004-6210-5openalex-snapshot
PSPACE-completeness of Modular Supervisory Control Problems*
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-0020-xopenalex-snapshot
Near-Optimal Online Control of Dynamic Discrete-Event Systems
inferred← citeshttps://doi.org/10.1007/s10626-008-0040-9openalex-snapshot
Control of Parameterized Discrete Event Systems
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.1016/j.arcontrol.2022.08.002openalex-snapshot
Online control of discrete-event systems: A survey
inferred← citeshttps://doi.org/10.1016/j.automatica.2003.11.006openalex-snapshot
Maximizing robustness of supervisors for partially observed discrete event systems
inferred← citeshttps://doi.org/10.1016/j.automatica.2011.01.002openalex-snapshot
Opacity of discrete event systems and its applications
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.109838openalex-snapshot
Verification and enforcement of strong infinite- and k -step opacity using state recognizers
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.conengprac.2018.09.003openalex-snapshot
Application of online supervisory control of discrete-event systems to multi-robot warehouse automation
inferred← citeshttps://doi.org/10.1016/j.ifacol.2020.12.2318openalex-snapshot
Maximally Permissive Supervisory Control of Timed Discrete-Event Systems under Partial Observation
inferred← citeshttps://doi.org/10.1016/j.ifacol.2020.12.2535openalex-snapshot
On-Line Synthesis of Permissive Supervisors for Partially Observed Discrete Event Systems under scLTL Constraints
inferred← citeshttps://doi.org/10.1016/j.ifacol.2023.10.703openalex-snapshot
MDESops: An Open-Source Software Tool for Discrete Event Systems Modeled by Automata
inferred← citeshttps://doi.org/10.1016/j.ins.2018.10.018openalex-snapshot
Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions
inferred← citeshttps://doi.org/10.1016/s0005-1098(97)00089-7openalex-snapshot
Estimate based limited lookahead supervisory control for closed language specifications
inferred← citeshttps://doi.org/10.1016/s0005-1098(98)00077-6openalex-snapshot
Extension based Limited Lookahead Supervision of Discrete Event Systems
inferred← citeshttps://doi.org/10.1016/s0164-1212(01)00083-8openalex-snapshot
Designing reactive systems: integration of abstraction techniques into a synthesis procedure
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)31637-3openalex-snapshot
Maximizing Robustness of Supervisors for Partially Observed Discrete Event Systems
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.1109/9.728871openalex-snapshot
A method for the synthesis of controllers to handle safety, liveness, and real-time constraints
inferred← citeshttps://doi.org/10.1109/9.847723openalex-snapshot
Design of nonblocking modular supervisors using event priority functions
inferred← citeshttps://doi.org/10.1109/9.917660openalex-snapshot
Control of stochastic discrete event systems modeled by probabilistic languages
inferred← citeshttps://doi.org/10.1109/acc.2006.1657368openalex-snapshot
Directed control of discrete event systems: optimization based approach
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/allerton.2011.6120292openalex-snapshot
Supervisory control for opacity of discrete event systems
inferred← citeshttps://doi.org/10.1109/cdc.1998.758208openalex-snapshot
Control of stochastic discrete event systems: synthesis
inferred← citeshttps://doi.org/10.1109/cdc.2000.912722openalex-snapshot
New results on decentralized supervisory control of discrete-event systems
inferred← citeshttps://doi.org/10.1109/cdc.2000.914130openalex-snapshot
On the construction of modular observers and diagnosers for discrete-event systems
inferred← citeshttps://doi.org/10.1109/cdc.2000.914133openalex-snapshot
On the separation of estimation and control in discrete-event systems
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.2014.7040195openalex-snapshot
Synthesis of maximally permissive non-blocking supervisors for partially observed 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/cdc.2018.8618909openalex-snapshot
Maximally Permissive Supervisory Control of Nondeterministic Discrete Event Systems with Nondeterministic Specifications
inferred← citeshttps://doi.org/10.1109/cdc40024.2019.9029301openalex-snapshot
Supervisory Control under Local Mean Payoff Constraints
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/cdc40024.2019.9029737openalex-snapshot
Towards resilient supervisors against sensor deception attacks
inferred← citeshttps://doi.org/10.1109/cdc40024.2019.9029935openalex-snapshot
Online Supervisory Control of Networked Discrete-Event Systems with Control Delays
inferred← citeshttps://doi.org/10.1109/cdc42340.2020.9304130openalex-snapshot
On Attack Mitigation in Supervisory Control Systems: A Tolerant Control Approach
inferred← citeshttps://doi.org/10.1109/lcsys.2020.2971029openalex-snapshot
On-Line Permissive Supervisory Control of Discrete Event Systems for scLTL Specifications
inferred← citeshttps://doi.org/10.1109/tac.2003.812812openalex-snapshot
On the synthesis of safe control policies in decentralized control of discrete-event 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.2014.2315311openalex-snapshot
Weak Invariant Simulation and Its Application to Analysis of Parameterized Networks
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.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.2018.2828098openalex-snapshot
Synthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment Problem
inferred← citeshttps://doi.org/10.1109/tac.2021.3075186openalex-snapshot
Local Mean Payoff Supervisory Control for Discrete Event Systems
inferred← citeshttps://doi.org/10.1109/tac.2021.3080495openalex-snapshot
Online Supervisory Control of Networked Discrete Event Systems With Control Delays
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/tase.2018.2880178openalex-snapshot
Synthesis of Supervisory Control With Partial Observation on Normal State-Tree Structures
inferred← citeshttps://doi.org/10.1109/tase.2023.3301997openalex-snapshot
Design of Supervisors for Partially Observed Discrete Event Systems Using Quiescent Information
inferred← citeshttps://doi.org/10.1109/tcns.2023.3280461openalex-snapshot
Online State Estimation for Supervisor Synthesis in Discrete-Event Systems With Communication Delays and Losses
inferred← citeshttps://doi.org/10.1109/tcst.2015.2508978openalex-snapshot
Symbolic On-the-Fly Synthesis in Supervisory Control Theory
inferred← citeshttps://doi.org/10.1109/tfuzz.2016.2617361openalex-snapshot
A Belief-Evolution-Based Approach for Online Control of Fuzzy Discrete-Event Systems Under Partial Observation
inferred← citeshttps://doi.org/10.1109/tiv.2023.3339668openalex-snapshot
Supremal and Robust Control Against Actuator Jamming Attacks in Cyber-Physical Systems
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.1146/annurev-control-053018-023659openalex-snapshot
Discrete Event Systems: Modeling, Observation, and Control
inferred← citeshttps://doi.org/10.14236/ewic/vecos2010.4openalex-snapshot
A Decentralized Supervisory Control Approach For Distributed Adaptive Systems
inferred← citeshttps://doi.org/10.1504/ijccbs.2011.042328openalex-snapshot
An approach for the synthesis of decentralised supervisors for distributed adaptive systems
inferred← citeshttps://doi.org/10.1631/fitee.2000156openalex-snapshot
Warehouse automation by logistic robotic networks: a cyber-physical control approach
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/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.00298openalex-snapshot
A DISCRETE-EVENT SYSTEMS MODEL FOR CONGESTION CONTROL
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.3390/math10224183openalex-snapshot
A Discrete-Event Mathematical Model for Resource Allocation Optimization: A Case Study of Vehicle Scheduling in a Signal-Free Intersection
inferred← citeshttps://doi.org/10.3390/math11010003openalex-snapshot
Modeling and Optimal Supervisory Control of Networked Discrete-Event Systems and Their Application in Traffic Management
inferred← citeshttps://doi.org/10.65109/vjqj8528openalex-snapshot
Supervisory control theory in epistemic temporal logic
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.