On the public citation graph
On the control of discrete-event dynamical systems
0 signed · 201 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/bfb0007558openalex-snapshot
Modular Supervisory Control of Discrete Event Systems
inferredcites →https://doi.org/10.1080/00207178608933613openalex-snapshot
On supervisor reduction in 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.1109/t-c.1973.223655openalex-snapshot
State Reduction in Incompletely Specified Finite-State Machines
inferredcites →https://doi.org/10.1109/tsmc.1977.4309612openalex-snapshot
Dynamic Programming and Stochastic 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
inferredcites →https://doi.org/10.1287/moor.12.3.441openalex-snapshot
The Complexity of Markov Decision Processes
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.1006/jagm.1997.0877openalex-snapshot
An Efficient Algorithm for Controller Synthesis under Full Observation
inferred← citeshttps://doi.org/10.1007/11804192_3openalex-snapshot
Control of Modular and Distributed Discrete-Event Systems
inferred← citeshttps://doi.org/10.1007/3-540-27167-8_3openalex-snapshot
Computational Techniques for the Verification and Control of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/3-540-45739-9_14openalex-snapshot
Fault Diagnosis for Timed Automata
inferred← citeshttps://doi.org/10.1007/978-1-4471-0807-8_47openalex-snapshot
Equivalences of discrete-event systems and of hybrid 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-1471-4_25openalex-snapshot
On the Design of Observers for Fault Detection in Communication Networks
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-1-4615-4493-7_11openalex-snapshot
A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems
inferred← citeshttps://doi.org/10.1007/978-1-4757-6656-1_1openalex-snapshot
Recent Advances on the Control of Partially-Observed Discrete-Event Systems
inferred← citeshttps://doi.org/10.1007/978-1-4757-6656-1_3openalex-snapshot
Problems and Examples of Decentralized Observation and Control for Discrete Event Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-10277-1_11openalex-snapshot
Verification: Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-18098-9_2openalex-snapshot
A Summary of Some Discrete-Event System Control Problems
inferred← citeshttps://doi.org/10.1007/978-3-642-19237-1_6openalex-snapshot
Diagnosability of Pushdown Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-41019-2_1openalex-snapshot
Hierarchical Control of Equipment in Automated Container Terminals
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/bf01219774openalex-snapshot
The Lyapunov exponent and joint spectral radius of pairs of matrices are hard?when not impossible?to compute and to approximate
inferred← citeshttps://doi.org/10.1007/bf01438708openalex-snapshot
On-line control of partially observed discrete event systems
inferred← citeshttps://doi.org/10.1007/bf01439177openalex-snapshot
Recursive computation of limited lookahead supervisory controls for discrete event systems
inferred← citeshttps://doi.org/10.1007/bf02745366openalex-snapshot
Logical models of discrete event systems: A comparative exposition
inferred← citeshttps://doi.org/10.1007/bfb0014720openalex-snapshot
Multiobjective hybrid controller synthesis
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-6187-3openalex-snapshot
Approximating the Minimal Sensor Selection for Supervisory Control
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/s10703-009-0084-yopenalex-snapshot
Automating the addition of fault tolerance with discrete controller synthesis
inferred← citeshttps://doi.org/10.1007/s13235-018-0285-3openalex-snapshot
Supervisory Control of Discrete-Event Systems Under Attacks
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(94)90034-5openalex-snapshot
Decentralized state feedback control of discrete event systems
inferred← citeshttps://doi.org/10.1016/0304-3975(94)00132-3openalex-snapshot
Sharing out control in distributed processes
inferred← citeshttps://doi.org/10.1016/0895-7177(96)00063-5openalex-snapshot
Supervisory control of discrete event systems
inferred← citeshttps://doi.org/10.1016/b978-012646490-0/50006-8openalex-snapshot
Computational Issues in Intelligent Control: Discrete-Event and Hybrid Systems
inferred← citeshttps://doi.org/10.1016/j.arcontrol.2018.03.002openalex-snapshot
Supervisory control of discrete-event systems: A brief history
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.2016.06.016openalex-snapshot
Online minimization of sensor activation for supervisory control
inferred← citeshttps://doi.org/10.1016/j.automatica.2017.06.013openalex-snapshot
Verification complexity of a class of observational properties for modular discrete events systems
inferred← citeshttps://doi.org/10.1016/j.automatica.2018.04.006openalex-snapshot
Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
inferred← citeshttps://doi.org/10.1016/j.entcs.2010.04.004openalex-snapshot
Controller/Orchestrator Synthesis via Filtration
inferred← citeshttps://doi.org/10.1016/j.ifacol.2017.08.164openalex-snapshot
Supervisory Control of Discrete-Event Systems: A Brief History – 1980-2015
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.2024.07.020openalex-snapshot
Supervisor synthesis under partial observation of uncontrollable events using full observation synthesis
inferred← citeshttps://doi.org/10.1016/j.ipl.2004.01.004openalex-snapshot
Undecidable problems of decentralized observation and control on regular languages
inferred← citeshttps://doi.org/10.1016/j.robot.2021.103866openalex-snapshot
Adaptive heterogeneous multi-robot collaboration from formal task specifications
inferred← citeshttps://doi.org/10.1016/j.sysconle.2004.10.002openalex-snapshot
Undecidability in decentralized supervision
inferred← citeshttps://doi.org/10.1016/j.sysconle.2007.03.006openalex-snapshot
An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions
inferred← citeshttps://doi.org/10.1016/j.tcs.2007.07.049openalex-snapshot
Control of discrete-event systems with modular or distributed structure
inferred← citeshttps://doi.org/10.1016/s0005-1098(00)00050-9openalex-snapshot
A survey of computational complexity results in systems and control
inferred← citeshttps://doi.org/10.1016/s0304-4076(03)00145-3openalex-snapshot
System theory for system identification
inferred← citeshttps://doi.org/10.1016/s0965-8564(97)88286-9openalex-snapshot
Hierarchical hybrid control of automated highway systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)30727-9openalex-snapshot
Approximating the minimal sensor selection for supervisory control
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)49961-7openalex-snapshot
On the Minimal Control and Minimal Observation of Large Scale Discrete Event Dynamical Systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)58436-0openalex-snapshot
On the Algorithmic Unsolvability of Some Stability Problems for Discrete Event Systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)69313-3openalex-snapshot
Multi - Model intergration and hierarchical control of DEDS
inferred← citeshttps://doi.org/10.1017/s0140525x00065432openalex-snapshot
Modeling behavioral adaptations
inferred← citeshttps://doi.org/10.1017/s0140525x00065444openalex-snapshot
Dynamic models of behavior: Promising but risky
inferred← citeshttps://doi.org/10.1017/s0140525x00065456openalex-snapshot
Learning and incremental dynamic programming
inferred← citeshttps://doi.org/10.1017/s0140525x00065468openalex-snapshot
Gaps in the optimization approach to behavior
inferred← citeshttps://doi.org/10.1017/s0140525x0006547xopenalex-snapshot
Dynamic programming, limited information and behavioral modeling
inferred← citeshttps://doi.org/10.1017/s0140525x00065493openalex-snapshot
Can dynamic optimization cope with ecological complexity
inferred← citeshttps://doi.org/10.1017/s0140525x0006550xopenalex-snapshot
Dynamic models, fitness functions and food storing
inferred← citeshttps://doi.org/10.1017/s0140525x00065523openalex-snapshot
Modeling adaptation in the next generation: A developmental perspective
inferred← citeshttps://doi.org/10.1017/s0140525x00065535openalex-snapshot
Limits to stochastic dynamic programming
inferred← citeshttps://doi.org/10.1017/s0140525x00065547openalex-snapshot
Models are just prostheses for our brains
inferred← citeshttps://doi.org/10.1017/s0140525x00065559openalex-snapshot
Let evolution take care of its own
inferred← citeshttps://doi.org/10.1017/s0140525x00065572openalex-snapshot
State variable models are powerful, not perfect
inferred← citeshttps://doi.org/10.1017/s0140525x00065596openalex-snapshot
Short-term behavior and long-term consequences
inferred← citeshttps://doi.org/10.1017/s0140525x00065602openalex-snapshot
A not so backward way of thinking
inferred← citeshttps://doi.org/10.1017/s0140525x00065614openalex-snapshot
Pitfalls and promises of behavioral modeling
inferred← citeshttps://doi.org/10.1017/s0140525x00065626openalex-snapshot
Variational principles, behavioural adaptations and selection hierarchies
inferred← citeshttps://doi.org/10.1017/s0140525x00065638openalex-snapshot
Modeling change in biology and psychology
inferred← citeshttps://doi.org/10.1017/s0140525x0006564xopenalex-snapshot
Using models of behavior in optimal fashion
inferred← citeshttps://doi.org/10.1017/s0140525x00065651openalex-snapshot
Testing predictions and gaining insights from dynamic state-variable models
inferred← citeshttps://doi.org/10.1017/s0140525x00065663openalex-snapshot
Dynamic optimization: Let's get on with the job
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/00207179608921696openalex-snapshot
On the corrective control of sequential machines
inferred← citeshttps://doi.org/10.1080/23307706.2014.1003617openalex-snapshot
Supervisory control of concurrent discrete-event systems
inferred← citeshttps://doi.org/10.1109/3468.798061openalex-snapshot
A structured adaptive supervisory control methodology for modeling the control of a discrete event manufacturing system
inferred← citeshttps://doi.org/10.1109/3477.875441openalex-snapshot
On the complexity of supervisory control design in the RW framework
inferred← citeshttps://doi.org/10.1109/37.387614openalex-snapshot
Control system synthesis through inductive learning of Boolean concepts
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/70.843174openalex-snapshot
Intelligent organization for flexible manufacturing
inferred← citeshttps://doi.org/10.1109/9.121634openalex-snapshot
On Petri net models of infinite state supervisors
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.250558openalex-snapshot
Control of discrete event systems modeled as hierarchical state machines
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.400469openalex-snapshot
The computational complexity of decentralized discrete-event control problems
inferred← citeshttps://doi.org/10.1109/9.478331openalex-snapshot
Fully decentralized solutions of supervisory control problems
inferred← citeshttps://doi.org/10.1109/9.53517openalex-snapshot
Synthesis of feedback control logic for a class of controlled Petri nets
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.57018openalex-snapshot
Observability of discrete event dynamic systems
inferred← citeshttps://doi.org/10.1109/9.654883openalex-snapshot
Discrete-event control of nondeterministic systems
inferred← citeshttps://doi.org/10.1109/9.827377openalex-snapshot
On the algorithmic unsolvability of some stability problems for hybrid 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/9.880613openalex-snapshot
Decentralized supervisory control with communicating controllers
inferred← citeshttps://doi.org/10.1109/acc.2001.945562openalex-snapshot
On the computational complexity of some problems arising in 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/acsd.2007.27openalex-snapshot
Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis
inferred← citeshttps://doi.org/10.1109/aihas.1994.390506openalex-snapshot
Simulation as a tool for hybrid system design
inferred← citeshttps://doi.org/10.1109/allerton.2013.6736629openalex-snapshot
On exploiting algebraic structure in control of finite state machines
inferred← citeshttps://doi.org/10.1109/cacsd.1996.555193openalex-snapshot
Protocol conversion using supervisory control techniques
inferred← citeshttps://doi.org/10.1109/cca.2016.7587883openalex-snapshot
New algorithms for verification of relative observability and computation of supremal relatively observable sublanguage
inferred← citeshttps://doi.org/10.1109/cdc.1989.70672openalex-snapshot
On the optimal control of discrete event systems
inferred← citeshttps://doi.org/10.1109/cdc.1989.70673openalex-snapshot
Output stabilizability of discrete event dynamic systems
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.1991.261261openalex-snapshot
On the complexity of forbidden state problems for controlled marked graphs
inferred← citeshttps://doi.org/10.1109/cdc.1992.370956openalex-snapshot
Recursive computation of limited lookahead supervisory controls for discrete event systems
inferred← citeshttps://doi.org/10.1109/cdc.1993.325368openalex-snapshot
A representation of discrete event dynamical systems
inferred← citeshttps://doi.org/10.1109/cdc.1993.325370openalex-snapshot
Supervisory control of nondeterministic discrete event dynamical systems
inferred← citeshttps://doi.org/10.1109/cdc.1993.325596openalex-snapshot
Parallel and distributed algorithms for supervisory control of discrete event systems
inferred← citeshttps://doi.org/10.1109/cdc.1994.411544openalex-snapshot
Model based fuzzy logic control
inferred← citeshttps://doi.org/10.1109/cdc.1996.573624openalex-snapshot
The spectral radius of a pair of matrices is hard to compute
inferred← citeshttps://doi.org/10.1109/cdc.1997.650602openalex-snapshot
Multi-objective hybrid controller synthesis: least restrictive controls
inferred← citeshttps://doi.org/10.1109/cdc.2001.980822openalex-snapshot
Undecidable problems of decentralized observation and control
inferred← citeshttps://doi.org/10.1109/cdc.2002.1184531openalex-snapshot
Decentralized diagnosability of regular languages is undecidable
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.2004.1428814openalex-snapshot
Decentralized nondeterministic supervisory control of discrete event systems
inferred← citeshttps://doi.org/10.1109/cdc.2005.1582125openalex-snapshot
Bisimilarity Control under Partial Observation of Deterministic Discrete Event Systems
inferred← citeshttps://doi.org/10.1109/cdc.2005.1582703openalex-snapshot
Sensor Failure Tolerant Supervisory Control
inferred← citeshttps://doi.org/10.1109/cdc.2006.377810openalex-snapshot
Intrusion Detection in Controlled Discrete Event Systems
inferred← citeshttps://doi.org/10.1109/cdc.2015.7402454openalex-snapshot
Hierarchical Interface-Based decentralized Supervisory Control
inferred← citeshttps://doi.org/10.1109/icca.2009.5410356openalex-snapshot
Computational complexity for state-feedback controllers with partial observation
inferred← citeshttps://doi.org/10.1109/icma.2005.1626665openalex-snapshot
Multi-thread technology's application in the decision-making system of AUV
inferred← citeshttps://doi.org/10.1109/icnsc.2013.6548758openalex-snapshot
Design of elevator control systems using statecharts
inferred← citeshttps://doi.org/10.1109/icsmc.2003.1244566openalex-snapshot
Design and implementation of a discrete event system using statecharts
inferred← citeshttps://doi.org/10.1109/iecon.1994.398044openalex-snapshot
Control of interconnected manufacturing cells
inferred← citeshttps://doi.org/10.1109/ines.2017.8118550openalex-snapshot
Supervisory control for flexibility of production manufacturing processes
inferred← citeshttps://doi.org/10.1109/isic.1995.525118openalex-snapshot
Inductive inference of optimal controllers for uncertain logical discrete event systems
inferred← citeshttps://doi.org/10.1109/lcsys.2021.3130887openalex-snapshot
Decentralized Observation of Discrete-Event Systems: At Least One Can Tell
inferred← citeshttps://doi.org/10.1109/real.1992.242655openalex-snapshot
The input-output control of real-time discrete event systems
inferred← citeshttps://doi.org/10.1109/robot.1993.292004openalex-snapshot
Superior synthesis using Boolean matrix computation
inferred← citeshttps://doi.org/10.1109/tac.2002.802763openalex-snapshot
Polynomial-time verification of diagnosability of partially observed discrete-event systems
inferred← citeshttps://doi.org/10.1109/tac.2003.809144openalex-snapshot
Optimal sensor selection for discrete-event systems with partial observation
inferred← citeshttps://doi.org/10.1109/tac.2003.819285openalex-snapshot
Deciding co-observability is pspace-complete
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.904470openalex-snapshot
Bisimilarity Control of Partially Observed Deterministic Systems
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.2008.929873openalex-snapshot
Minimization of Communication of Event Occurrences in Acyclic Discrete Event Systems
inferred← citeshttps://doi.org/10.1109/tac.2011.2108410openalex-snapshot
On Codiagnosability and Coobservability With Dynamic Observations
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.2601118openalex-snapshot
Supervisor Synthesis for Mealy Automata With Output Functions: A Model Transformation Approach
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.2749380openalex-snapshot
Observability of Finite Labeled Transition 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/tase.2006.891474openalex-snapshot
Control of Nondeterministic Discrete Event Systems for Simulation Equivalence
inferred← citeshttps://doi.org/10.1109/tase.2007.51openalex-snapshot
Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems
inferred← citeshttps://doi.org/10.1109/tsmcc.2007.897493openalex-snapshot
Synthesis of a Class of Discrete-Event Controllers for Large Manufacturing 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.2008.4605947openalex-snapshot
Fault diagnosis with dynamic observers
inferred← citeshttps://doi.org/10.1111/j.1934-6093.2004.tb00202.xopenalex-snapshot
MODELING AND CONTROL OF ELEVATORS BY STATECHARTS
inferred← citeshttps://doi.org/10.1137/0330076openalex-snapshot
Tracking and Restrictability in Discrete Event Dynamic Systems
inferred← citeshttps://doi.org/10.1137/s0363012992235183openalex-snapshot
Optimal Supervisory Control of Discrete Event Dynamical Systems
inferred← citeshttps://doi.org/10.1137/s0363012992239600openalex-snapshot
Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models
inferred← citeshttps://doi.org/10.1145/2984393.2984401openalex-snapshot
A two layer supervisor scheme for ring manufacturing production chains
inferred← citeshttps://doi.org/10.11509/isciesci.56.7_381openalex-snapshot
離散事象システムのスーパバイザ制御理論-III : 部分観測と可観測性
inferred← citeshttps://doi.org/10.1201/9781315216140-6openalex-snapshot
Deadlock Avoidance Policies for Automated Manufacturing Systems Using Finite State Automata
inferred← citeshttps://doi.org/10.1201/b16529-9openalex-snapshot
Deadlock Avoidance Policies for Automated Manufacturing Systems Using Finite State Automata
inferred← citeshttps://doi.org/10.1587/transfun.2020map0004openalex-snapshot
Deterministic Supervisors for Bisimilarity Control of Partially Observed Nondeterministic Discrete Event Systems with Deterministic Specifications
inferred← citeshttps://doi.org/10.21236/ada459490openalex-snapshot
Output Stabilizability of Discrete Event Dynamic Systems
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.2003.7085021openalex-snapshot
A comparison of synthesis tools for supervisory controllers
inferred← citeshttps://doi.org/10.23919/mipro.2017.7973599openalex-snapshot
The formal description of discrete-event systems using positively constructed formulas
inferred← citeshttps://doi.org/10.31274/etd-180810-202openalex-snapshot
Directed control of discrete event systems
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/20070613-3-fr-4909.00030openalex-snapshot
ACTUATOR FAILURE IN DECENTRALIZED SUPERVISORY CONTROL SYSTEMS
inferred← citeshttps://doi.org/10.3182/20120829-3-mx-2028.00289openalex-snapshot
A Framework for Control-Reconfiguration Following Fault-Detection in Discrete Event Systems
inferred← citeshttps://doi.org/10.3182/20121003-3-mx-4033.00045openalex-snapshot
Bounded Sensor Failure Tolerant Supervisory Control
inferred← citeshttps://doi.org/10.3182/20140514-3-fr-4046.00019openalex-snapshot
Abstraction-Based Verification for Partially Observed Discrete Event Systems
inferred← citeshttps://doi.org/10.32657/10356/46271openalex-snapshot
Discrete-event multiagent coordination : framework and algorithms
inferred← citeshttps://doi.org/10.4028/www.scientific.net/amm.58-60.2183openalex-snapshot
A Case Study: Logical Operators and Statecharts for Level Crossing Traffic Control Systems
inferred← citeshttps://doi.org/10.48550/arxiv.1004.2810openalex-snapshot
Fault Diagnosis with Dynamic Observers
inferred← citeshttps://doi.org/10.48550/arxiv.1701.00881openalex-snapshot
Supervisory Control of Discrete-event Systems under Attacks
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.22.154openalex-snapshot
Supervisory Control of Discrete Event Systems Modeled by Mealy Automata with Nondeterministic Output Functions
inferred← citeshttps://doi.org/10.5687/sss.2005.333openalex-snapshot
Optimal Control for Discrete Event Systems with Arbitrary Control Pattern
inferred← citeshttps://doi.org/10.70675/925a979aza256z435fz8ac6z9a9f618d664copenalex-snapshot
Contributions to model-based diagnosis of discrete-event systems
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.