On the public citation graph

Synthesis of minimally restrictive legal controllers for a class of hybrid systems

https://doi.org/10.1007/bfb0031559
0 signed · 40 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/3-540-57318-6_22openalex-snapshot
Verifying hybrid systems
inferredcites →https://doi.org/10.1007/3-540-57318-6_28openalex-snapshot
An approach to the description and analysis of hybrid systems
inferredcites →https://doi.org/10.1007/3-540-57318-6_30openalex-snapshot
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
inferredcites →https://doi.org/10.1007/3-540-57318-6_35openalex-snapshot
Models for hybrid systems: Automata, topologies, controllability, observability
inferredcites →https://doi.org/10.1007/3-540-57318-6_37openalex-snapshot
Hybrid system modeling and autonomous control systems
inferredcites →https://doi.org/10.1007/3-540-59042-0_76openalex-snapshot
On the synthesis of discrete controllers for timed systems
inferredcites →https://doi.org/10.1007/3-540-60472-3_1openalex-snapshot
Symbolic controller synthesis for discrete and timed systems
inferredcites →https://doi.org/10.1007/978-1-4612-0313-1_2openalex-snapshot
Hybrid Models for Motion Control Systems
inferredcites →https://doi.org/10.1007/978-3-663-09823-2_9openalex-snapshot
Nonblocking Supervisory Control of Nondeterministic Systems
inferredcites →https://doi.org/10.1007/bf01438708openalex-snapshot
On-line control of partially observed discrete event systems
inferredcites →https://doi.org/10.1007/bfb0014739openalex-snapshot
Control synthesis for a class of hybrid systems subject to configuration-based safety constraints
inferredcites →https://doi.org/10.1007/bfb0027252openalex-snapshot
Steam-boiler control specification problem
inferredcites →https://doi.org/10.1007/bfb0032003openalex-snapshot
Prom timed to hybrid systems
inferredcites →https://doi.org/10.1007/bfb0032007openalex-snapshot
From ATP to timed graphs and hybrid systems
inferredcites →https://doi.org/10.1007/bfb0032042openalex-snapshot
Automata for modeling real-time 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/0304-3975(94)00147-bopenalex-snapshot
Universal computation and other capabilities of hybrid and continuous dynamical systems
inferredcites →https://doi.org/10.1016/0304-3975(94)00202-topenalex-snapshot
The algorithmic analysis of hybrid systems
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.182478openalex-snapshot
Limited lookahead policies in supervisory control of discrete event systems
inferredcites →https://doi.org/10.1109/9.376081openalex-snapshot
Supervisory control of timed discrete-event systems under partial observation
inferredcites →https://doi.org/10.1109/9.61009openalex-snapshot
Decentralized control and coordination of discrete-event systems with partial observation
inferredcites →https://doi.org/10.1109/cdc.1996.577492openalex-snapshot
Discrete event control of nondeterministic systems
inferredcites →https://doi.org/10.1137/0325013openalex-snapshot
Supervisory Control of a Class of Discrete Event Processes
inferredcites →https://doi.org/10.1145/225058.225162openalex-snapshot
What's decidable about hybrid automata?

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-4612-0179-3_9openalex-snapshot
Control of Rate-Bounded Hybrid Systems with Liveness Constraints
inferred← citeshttps://doi.org/10.1007/bfb0031551openalex-snapshot
Hybrid Systems IV
inferred← citeshttps://doi.org/10.1016/j.cnsns.2013.09.015openalex-snapshot
Stochastic stability analysis for joint process driven and networked hybrid systems
inferred← citeshttps://doi.org/10.1016/j.ins.2004.07.012openalex-snapshot
Theorem of abstraction for equivalent controllers in hybrid systems
inferred← citeshttps://doi.org/10.1016/j.sysconle.2011.10.010openalex-snapshot
Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids
inferred← citeshttps://doi.org/10.1023/a:1008285600895openalex-snapshot
Synthesis and Viability of Minimally Interventive Legal Controllers for Hybrid Systems
inferred← citeshttps://doi.org/10.1049/iet-cta.2010.0499openalex-snapshot
H ∞ Control for stochastic stability and disturbance attenuation in a class of networked hybrid systems
inferred← citeshttps://doi.org/10.1080/01969720600683452openalex-snapshot
A MIXED INTEGER DYNAMIC PROGRAMMING APPROACH TO A CLASS OF OPTIMAL CONTROL PROBLEMS IN HYBRID SYSTEMS
inferred← citeshttps://doi.org/10.1109/acc.2001.945847openalex-snapshot
Safety control of discrete event systems using finite state machines with parameters
inferred← citeshttps://doi.org/10.1109/cca.2000.897591openalex-snapshot
Modeling of discrete event systems using finite state machines with parameters
inferred← citeshttps://doi.org/10.1109/cdc.2001.980823openalex-snapshot
Hierarchical modeling and abstraction of discrete event systems using finite state machines with parameters
inferred← citeshttps://doi.org/10.1109/cdc.2002.1184191openalex-snapshot
Analysis of Zeno behaviors in hybrid systems
inferred← citeshttps://doi.org/10.1109/iccem47450.2020.9219466openalex-snapshot
A Buck Converter Based on Hybrid System Model
inferred← citeshttps://doi.org/10.1109/tac.2005.843874openalex-snapshot
Analysis of Zeno behaviors in a class of hybrid 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.