On the public citation graph
Discrete event models+temporal logic=supervisory controller: automatic synthesis of locomotion controllers
0 signed · 80 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-57318-6_31openalex-snapshot
Hybrid Systems: the SIGNAL approach
inferredcites →https://doi.org/10.1007/978-1-4612-4990-0openalex-snapshot
Real-Time Control of Walking
inferredcites →https://doi.org/10.1016/0304-3975(85)90223-3openalex-snapshot
Hierarchical verification of asynchronous circuits using temporal logic
inferredcites →https://doi.org/10.1016/0890-5401(92)90017-aopenalex-snapshot
Symbolic model checking: 1020 States and beyond
inferredcites →https://doi.org/10.1016/0921-8890(93)90016-6openalex-snapshot
Miniature direct drive rotary actuators
inferredcites →https://doi.org/10.1109/5.21072openalex-snapshot
The control of discrete event systems
inferredcites →https://doi.org/10.1109/9.231459openalex-snapshot
Supervisory control of a rapid thermal multiprocessor
inferredcites →https://doi.org/10.1109/9.53517openalex-snapshot
Synthesis of feedback control logic for a class of controlled Petri nets
inferredcites →https://doi.org/10.1109/isic.1992.225089openalex-snapshot
Analysis and synthesis procedures of discrete event systems in a temporal logic framework
inferredcites →https://doi.org/10.1109/robot.1993.292003openalex-snapshot
A discrete event approach to the control of robotic assembly tasks
inferredcites →https://doi.org/10.1109/tc.1986.1676711openalex-snapshot
Automatic Verification of Sequential Circuits Using Temporal Logic
inferredcites →https://doi.org/10.1137/0325036openalex-snapshot
On the Supremal Controllable Sublanguage of a Given Language
inferredcites →https://doi.org/10.1145/5397.5399openalex-snapshot
Automatic verification of finite-state concurrent systems using temporal logic specifications
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.2139/ssrn.4676007openalex-extracted
Synthesizing Controller for Unsynthesizable Specification Based on Safety Levels
inferred← citeshttps://doi.org/10.1007/11730637_26openalex-snapshot
A Fully Automated Framework for Control of Linear Systems from LTL Specifications
inferred← citeshttps://doi.org/10.1007/11940197_12openalex-snapshot
Robustness of Temporal Logic Specifications
inferred← citeshttps://doi.org/10.1007/978-1-4471-1021-7_26openalex-snapshot
Formal Verification in Robotics: Why and How?
inferred← citeshttps://doi.org/10.1007/978-3-030-20615-4_19openalex-snapshot
Time Bound Robot Mission Planning for Priority Machine Using Linear Temporal Logic for Multi Goals
inferred← citeshttps://doi.org/10.1007/978-3-031-56255-6_6openalex-snapshot
Plan Generation via Behavior Trees Obtained from Goal-Oriented LTLf Formulas
inferred← citeshttps://doi.org/10.1007/978-3-031-57246-3_9openalex-snapshot
CESAR: Control Envelope Synthesis via Angelic Refinements
inferred← citeshttps://doi.org/10.1007/978-3-031-71162-6_30openalex-snapshot
Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-3-031-98685-7_9openalex-snapshot
A Misconception-Driven Adaptive Tutor for Linear Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-27644-1_14openalex-snapshot
Systems of Temporal Logic for a Use of Engineering. Toward a More Practical Approach
inferred← citeshttps://doi.org/10.1007/978-3-319-39378-0_20openalex-snapshot
Selected Temporal Logic Systems: An Attempt at Engineering Evaluation
inferred← citeshttps://doi.org/10.1007/978-3-319-39384-1_26openalex-snapshot
Why Systems of Temporal Logic Are Sometimes (Un)useful?
inferred← citeshttps://doi.org/10.1007/978-3-319-91262-2_47openalex-snapshot
The Hybrid Plan Controller Construction for Trajectories in Sobolev Space
inferred← citeshttps://doi.org/10.1007/978-3-642-32723-0_23openalex-snapshot
A Formal Approach to Deployment of Robotic Teams in an Urban-Like Environment
inferred← citeshttps://doi.org/10.1007/s10626-016-0231-8openalex-snapshot
Maximally permissive controlled system synthesis for non-determinism and modal logic
inferred← citeshttps://doi.org/10.1007/s10803-020-04388-5openalex-snapshot
A Randomized Controlled Trial of an Intelligent Robotic Response to Joint Attention Intervention System
inferred← citeshttps://doi.org/10.1007/s11370-012-0122-2openalex-snapshot
Temporal logic for process specification and recognition
inferred← citeshttps://doi.org/10.1007/s11432-012-4605-8openalex-snapshot
A framework for multi-robot motion planning from temporal logic specifications
inferred← citeshttps://doi.org/10.1007/s11768-005-0027-0openalex-snapshot
Deadlock prevention for flexible manufacturing system
inferred← citeshttps://doi.org/10.1016/j.automatica.2008.08.008openalex-snapshot
Temporal logic motion planning for dynamic robots
inferred← citeshttps://doi.org/10.1109/cdc.2005.1582935openalex-snapshot
Hybrid Controllers for Path Planning: A Temporal Logic Approach
inferred← citeshttps://doi.org/10.1109/cdc.2012.6426041openalex-snapshot
Attraction-based receding horizon path planning with temporal logic constraints
inferred← citeshttps://doi.org/10.1109/cdc.2012.6426280openalex-snapshot
Multi-agent persistent monitoring in stochastic environments with temporal logic constraints
inferred← citeshttps://doi.org/10.1109/icnsc.2006.1673210openalex-snapshot
LTL Planning for Groups of Robots
inferred← citeshttps://doi.org/10.1109/icra.2012.6225075openalex-snapshot
LTL robot motion control based on automata learning of environmental dynamics
inferred← citeshttps://doi.org/10.1109/icra.2015.7139019openalex-snapshot
Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
inferred← citeshttps://doi.org/10.1109/icsmc.1995.538435openalex-snapshot
Applying temporal logic verification and synthesis to manufacturing systems
inferred← citeshttps://doi.org/10.1109/icstcc.2015.7321351openalex-snapshot
On probabilistic state space abstraction of deterministic switched systems
inferred← citeshttps://doi.org/10.1109/iros.1996.570647openalex-snapshot
Hybrid system behavior specification for multiple robotic mechanisms
inferred← citeshttps://doi.org/10.1109/iros.2009.5354467openalex-snapshot
Synthesis of output feedback control for motion planning based on LTL specifications
inferred← citeshttps://doi.org/10.1109/iros.2010.5650896openalex-snapshot
Optimal path planning under temporal logic constraints
inferred← citeshttps://doi.org/10.1109/iros.2011.6048524openalex-snapshot
Optimal multi-robot path planning with Temporal Logic constraints
inferred← citeshttps://doi.org/10.1109/iros.2011.6094884openalex-snapshot
Optimal multi-robot path planning with temporal logic constraints
inferred← citeshttps://doi.org/10.1109/iros.2011.6095028openalex-snapshot
Towards language-based verification of robot behaviors
inferred← citeshttps://doi.org/10.1109/robio.2009.5420626openalex-snapshot
Switching Max-Plus models for legged locomotion
inferred← citeshttps://doi.org/10.1109/robot.1999.772459openalex-snapshot
Keeping the analog genie in the bottle: a case for digital robots
inferred← citeshttps://doi.org/10.1109/robot.2005.1570410openalex-snapshot
Temporal Logic Motion Planning for Mobile Robots
inferred← citeshttps://doi.org/10.1109/robot.2008.4543239openalex-snapshot
Distributed implementations of global temporal logic motion specifications
inferred← citeshttps://doi.org/10.1109/robot.2010.5509326openalex-snapshot
On the need for communication in distributed implementations of LTL motion specifications
inferred← citeshttps://doi.org/10.1109/tac.2006.886494openalex-snapshot
Linear Time Logic Control of Discrete-Time Linear Systems
inferred← citeshttps://doi.org/10.1109/tac.2007.914952openalex-snapshot
A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
inferred← citeshttps://doi.org/10.1109/tac.2017.2678920openalex-snapshot
An Approximate Dynamic Programming Approach to Multiagent Persistent Monitoring in Stochastic Environments With Temporal Logic Constraints
inferred← citeshttps://doi.org/10.1109/tr.2020.2979873openalex-snapshot
Iterative Controller Synthesis for Multirobot System
inferred← citeshttps://doi.org/10.1109/tro.2009.2030225openalex-snapshot
Temporal-Logic-Based Reactive Mission and Motion Planning
inferred← citeshttps://doi.org/10.1109/tro.2009.2035776openalex-snapshot
Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications
inferred← citeshttps://doi.org/10.1109/tro.2013.2296105openalex-snapshot
Modeling and Control of Legged Locomotion via Switching Max-Plus Models
inferred← citeshttps://doi.org/10.1142/s2301385014300029openalex-snapshot
Mission Accomplished: An Introduction to Formal Methods in Mobile Robot Motion Planning and Control
inferred← citeshttps://doi.org/10.1177/0278364911417911openalex-snapshot
Optimal path planning for surveillance with temporal-logic constraints
inferred← citeshttps://doi.org/10.1177/0278364912473168openalex-snapshot
Temporal logic robot control based on automata learning of environmental dynamics
inferred← citeshttps://doi.org/10.1177/02783649221077714openalex-snapshot
Reactive task and motion planning for robust whole-body dynamic locomotion in constrained environments
inferred← citeshttps://doi.org/10.15439/2016f351openalex-snapshot
A General Method of the Hybrid Controller Construction for Temporal Planning with Preferences
inferred← citeshttps://doi.org/10.15781/t2445hj2xopenalex-snapshot
A Planning and Control Framework for Humanoid Systems: Robust, Optimal, and Real-time Performance
inferred← citeshttps://doi.org/10.23919/acc.2018.8430964openalex-snapshot
Event-Triggered Controller Synthesis for Dynamical Systems with Temporal Logic Constraints
inferred← citeshttps://doi.org/10.23919/ecc.2007.7068809openalex-snapshot
Model checking discrete-time Piecewise Affine systems: Application to gene networks
inferred← citeshttps://doi.org/10.3182/20080706-5-kr-1001.01428openalex-snapshot
Functional (Meta)Models for the Development of Control Software
inferred← citeshttps://doi.org/10.3182/20100830-3-de-4013.00063openalex-snapshot
Modeling and Control of Legged Locomotion via Switching Max-Plus Systems
inferred← citeshttps://doi.org/10.3182/20120620-3-dk-2025.00037openalex-snapshot
Satisfaction of temporal logic by control systems and finite abstractions
inferred← citeshttps://doi.org/10.3390/robotics4030253openalex-snapshot
Leveraging Qualitative Reasoning to Learning Manipulation Tasks
inferred← citeshttps://doi.org/10.47495/okufbed.1653681openalex-snapshot
The Most Probable Path Derivation for Quasi-Birth–Death Processes by Using Symbolic Control
inferred← citeshttps://doi.org/10.48550/arxiv.1007.2212openalex-snapshot
Optimal Path Planning under Temporal Logic Constraints
inferred← citeshttps://doi.org/10.48550/arxiv.1212.6610openalex-snapshot
Linear time logic control of linear systems with disturbances
inferred← citeshttps://doi.org/10.48550/arxiv.2108.07625openalex-snapshot
Hybrid dynamical type theories for navigation
inferred← citeshttps://doi.org/10.48550/arxiv.2311.02833openalex-snapshot
CESAR: Control Envelope Synthesis via Angelic Refinements
inferred← citeshttps://doi.org/10.9746/jcmsi.10.317openalex-snapshot
Cutting a Parameter Space for a Multi-Legged Robot Based on Model Checking
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.