On the public citation graph
Supervisory control of real-time systems using prioritized synchronization
0 signed · 38 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/3-540-16761-7_81openalex-snapshot
A timed model for communicating sequential processes
inferredcites →https://doi.org/10.1007/978-1-4615-2217-1openalex-snapshot
Modeling and Control of Logical Discrete Event Systems
inferredcites →https://doi.org/10.1007/978-3-319-77452-7_9openalex-snapshot
Supervisory Control of Timed Discrete-Event Systems
inferredcites →https://doi.org/10.1007/bfb0032042openalex-snapshot
Automata for modeling real-time systems
inferredcites →https://doi.org/10.1007/bfb0033527openalex-snapshot
Logical aspects of control of discrete-event systems: A survey of tools and techniques
inferredcites →https://doi.org/10.1016/0141-9331(86)90196-1openalex-snapshot
Communicating sequential processes
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/0304-3975(94)00256-iopenalex-snapshot
Extremal solutions of inequations over lattices with applications to supervisory control
inferredcites →https://doi.org/10.1016/0895-7177(96)00072-6openalex-snapshot
Decidable hybrid systems
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/32.75415openalex-snapshot
Modeling and verification of time dependent systems using time Petri nets
inferredcites →https://doi.org/10.1109/37.56284openalex-snapshot
Concurrency and discrete event control
inferredcites →https://doi.org/10.1109/5.21072openalex-snapshot
The control of discrete event systems
inferredcites →https://doi.org/10.1109/9.272327openalex-snapshot
Supervisory control of timed discrete-event systems
inferredcites →https://doi.org/10.1109/9.52290openalex-snapshot
A framework for real-time discrete event control
inferredcites →https://doi.org/10.1109/9.533677openalex-snapshot
Nonblocking supervisory control of nondeterministic systems via prioritized synchronization
inferredcites →https://doi.org/10.1109/cdc.1991.261658openalex-snapshot
The control of dense real-time discrete event systems
inferredcites →https://doi.org/10.1109/lics.1990.113766openalex-snapshot
Model-checking for real-time systems
inferredcites →https://doi.org/10.1109/tse.1983.235261openalex-snapshot
Timing Requirements for Time-Driven Systems Using Augmented Petri Nets
inferredcites →https://doi.org/10.1109/tse.1986.6313045openalex-snapshot
Safety analysis of timing properties in real-time 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
inferredcites →https://doi.org/10.1137/s0363012992239600openalex-snapshot
Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models
inferredcites →https://doi.org/10.1137/s0363012994272903openalex-snapshot
Centralized and Decentralized Supervisory Control of Nondeterministic Systems Under Partial Observation
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/s10951-020-00669-0openalex-snapshot
Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems
inferred← citeshttps://doi.org/10.1049/ip-cta:20040441openalex-snapshot
Supervisory control of real-time discrete event systems under bounded time constraints
inferred← citeshttps://doi.org/10.1080/00207170903062174openalex-snapshot
A new method for centralised and modular supervisory control of real-time discrete event systems
inferred← citeshttps://doi.org/10.1109/9.887621openalex-snapshot
Masked prioritized synchronization for interaction and control of discrete event systems
inferred← citeshttps://doi.org/10.1109/acc.2005.1470592openalex-snapshot
Prioritized synchronization under mask for interaction/control of partially observed discrete event systems
inferred← citeshttps://doi.org/10.1109/cdc.1997.657900openalex-snapshot
Masked prioritized synchronization for interaction and control of discrete event systems
inferred← citeshttps://doi.org/10.1109/cdc.1999.831249openalex-snapshot
Supervisory control of nondeterministic discrete event systems with driven events via masked prioritized synchronization
inferred← citeshttps://doi.org/10.1109/tac.2002.802768openalex-snapshot
Supervisory control of nondeterministic discrete-event systems with driven events via masked prioritized synchronization
inferred← citeshttps://doi.org/10.1109/tac.2006.876806openalex-snapshot
Formalizing Real-Time Scheduling Using Priority-Based Supervisory Control of Discrete-Event Systems
inferred← citeshttps://doi.org/10.1109/tac.2010.2042988openalex-snapshot
Real-Time Control of Dense-Time Systems Using Digital-Clocks
inferred← citeshttps://doi.org/10.11509/isciesci.46.3_138openalex-snapshot
時間付き離散事象システムのスーパバイザ制御(「ハイブリッドシステム : システム制御への新たな視点総合特集号」)
inferred← citeshttps://doi.org/10.31274/etd-180810-596openalex-snapshot
Control and diagnosis of real-time systems under finite-precision measurement of time
inferred← citeshttps://doi.org/10.31274/rtd-180813-16723openalex-snapshot
Supervisory control of discrete event systems for bisimulation or simulation equivalence
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.