On the public citation graph
A game-theoretic approach to hybrid system design
0 signed · 79 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_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_34openalex-snapshot
Multiple agent hybrid control architecture
inferredcites →https://doi.org/10.1007/3-540-58179-0_46openalex-snapshot
Decidability of hybrid systems with rectangular differential inclusions
inferredcites →https://doi.org/10.1007/3-540-60472-3_18openalex-snapshot
Verification of hybrid systems using abstractions
inferredcites →https://doi.org/10.1007/978-1-4899-3561-8openalex-snapshot
H∞-Optimal Control and Related
inferredcites →https://doi.org/10.1109/cdc.1994.411507openalex-snapshot
Formal verification of the PATHO real-time operating system
inferredcites →https://doi.org/10.1109/lics.1990.113766openalex-snapshot
Model-checking for real-time systems
inferredcites →https://doi.org/10.1109/real.1995.495197openalex-snapshot
Two examples of verification of multirate timed automata with Kronos
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.1002/acs.920openalex-snapshot
A verified hierarchical control architecture for co‐ordinated multi‐vehicle operations
inferred← citeshttps://doi.org/10.1002/acs.975openalex-snapshot
Robust predictive control of switched systems: Satisfying uncertain schedules subject to state and control constraints
inferred← citeshttps://doi.org/10.1002/aic.690460414openalex-snapshot
Scenario‐integrated modeling and optimization of dynamic systems
inferred← citeshttps://doi.org/10.1007/3-540-36225-8openalex-snapshot
Constrained Optimal Control of Linear and Hybrid Systems
inferred← citeshttps://doi.org/10.1007/3-540-45873-5_15openalex-snapshot
Switching and Feedback Laws for Control of Constrained Switched Nonlinear Systems
inferred← citeshttps://doi.org/10.1007/3-540-46430-1_8openalex-snapshot
Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems
inferred← citeshttps://doi.org/10.1007/3-540-48119-2_14openalex-snapshot
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
inferred← citeshttps://doi.org/10.1007/3-540-64358-3_44openalex-snapshot
Formal verification of safety-critical hybrid systems
inferred← citeshttps://doi.org/10.1007/3-540-64358-3_45openalex-snapshot
Strings of vehicles: Modeling and safety conditions
inferred← citeshttps://doi.org/10.1007/3-540-64358-3_54openalex-snapshot
Stabilization of systems with changing dynamics
inferred← citeshttps://doi.org/10.1007/978-1-4471-1580-9_10openalex-snapshot
Motion planning in humans and robots
inferred← citeshttps://doi.org/10.1007/978-3-540-31954-2_11openalex-snapshot
Hybrid Decentralized Control of Large Scale Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-29860-8_21openalex-snapshot
Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State
inferred← citeshttps://doi.org/10.1007/bfb0014723openalex-snapshot
Safety verification for automated platoon maneuvers: A case study
inferred← citeshttps://doi.org/10.1007/bfb0031570openalex-snapshot
Hybrid control models of next generation air traffic management
inferred← citeshttps://doi.org/10.1016/j.na.2006.02.048openalex-snapshot
Toward unified analysis and controller synthesis for a class of hybrid systems
inferred← citeshttps://doi.org/10.1016/j.sysconle.2005.04.005openalex-snapshot
Output feedback control of switched nonlinear systems using multiple Lyapunov functions
inferred← citeshttps://doi.org/10.1016/s0005-1098(98)00178-2openalex-snapshot
Control of systems integrating logic, dynamics, and constraints
inferred← citeshttps://doi.org/10.1016/s0005-1098(98)00193-9openalex-snapshot
Controllers for reachability specifications for hybrid systems
inferred← citeshttps://doi.org/10.1016/s0967-0661(97)10013-2openalex-snapshot
The automated highway system: A transportation technology for the 21st century
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)33796-5openalex-snapshot
Hybrid system analysis and control via mixed integer optimization
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)35292-8openalex-snapshot
A Differential Game with Graph Constrained Switching Strategies
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)40039-5openalex-snapshot
Hybrid Control of an Autonomous Helicopter
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)58559-6openalex-snapshot
Hybrid Control in Air Traffic Management Systems 1
inferred← citeshttps://doi.org/10.1017/9781139061759openalex-snapshot
Predictive Control for Linear and Hybrid Systems
inferred← citeshttps://doi.org/10.1109/87.865852openalex-snapshot
Communication protocols for a fault-tolerant automated highway system
inferred← citeshttps://doi.org/10.1109/9.664155openalex-snapshot
Verified hybrid controllers for automated vehicles
inferred← citeshttps://doi.org/10.1109/acc.1999.786489openalex-snapshot
A class of Lyapunov functionals for analyzing hybrid dynamical systems
inferred← citeshttps://doi.org/10.1109/acc.2001.945772openalex-snapshot
Communication and control of distributed hybrid systems
inferred← citeshttps://doi.org/10.1109/acc.2001.945973openalex-snapshot
Optimization-based hybrid control tools
inferred← citeshttps://doi.org/10.1109/acc.2001.946174openalex-snapshot
Feedback control of switched nonlinear systems using multiple Lyapunov functions
inferred← citeshttps://doi.org/10.1109/acc.2005.1470565openalex-snapshot
Output feedback control of switched nonlinear systems using multiple Lyapunov functions
inferred← citeshttps://doi.org/10.1109/acc.2006.1657657openalex-snapshot
A priority based conflict resolution approach for automated guided vehicles
inferred← citeshttps://doi.org/10.1109/auv.2010.5779672openalex-snapshot
Concepts and tools for coordination and control of networked ocean-going vehicles
inferred← citeshttps://doi.org/10.1109/cdc.1996.572644openalex-snapshot
Conflict resolution for multi-agent hybrid systems
inferred← citeshttps://doi.org/10.1109/cdc.1996.572647openalex-snapshot
Multiagent hybrid system design using game theory and optimal control
inferred← citeshttps://doi.org/10.1109/cdc.1996.577226openalex-snapshot
To brake or not to brake? Is there a question?
inferred← citeshttps://doi.org/10.1109/cdc.1997.657846openalex-snapshot
On the formal verification of the TCAS conflict resolution algorithms
inferred← citeshttps://doi.org/10.1109/cdc.1998.758647openalex-snapshot
Design of switching controllers for systems with changing dynamics
inferred← citeshttps://doi.org/10.1109/cdc.1999.827980openalex-snapshot
Observability and controllability of piecewise affine and hybrid systems
inferred← citeshttps://doi.org/10.1109/cdc.2001.980893openalex-snapshot
A differential game with graph constrained dynamic switching strategies
inferred← citeshttps://doi.org/10.1109/cdc.2004.1428711openalex-snapshot
Elemental maneuvers and coordination structures for unmanned air vehicles
inferred← citeshttps://doi.org/10.1109/cdc.2005.1583187openalex-snapshot
Motion Planning and Control of Coordinated Systems
inferred← citeshttps://doi.org/10.1109/icsmc.1997.638284openalex-snapshot
Real-time multi-agent coordination using DIADEM: applications to automobile and submarine control
inferred← citeshttps://doi.org/10.1109/isic.1997.626435openalex-snapshot
A hybrid system approach to contact stability and force control in robotic manipulators
inferred← citeshttps://doi.org/10.1109/mcs.2023.3329919openalex-snapshot
Mechanism Design Theory in Control Engineering: A Tutorial and Overview of Applications in Communication, Power Grid, Transportation, and Security Systems
inferred← citeshttps://doi.org/10.1109/mmar.2012.6347923openalex-snapshot
Biopsychically inspired cognitive control for autonomous agents based on motivated learning
inferred← citeshttps://doi.org/10.1109/oceans.2001.968272openalex-snapshot
An automated maneuver control framework for a remotely operated vehicle
inferred← citeshttps://doi.org/10.1109/oceans.2007.4449142openalex-snapshot
Automated Coordinator Synthesis for Mission Control of Autonomous Underwater Vehicles
inferred← citeshttps://doi.org/10.1109/qest.2011.17openalex-snapshot
Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems
inferred← citeshttps://doi.org/10.1109/robot.1998.677236openalex-snapshot
Stabilization of systems with changing dynamics by means of switching
inferred← citeshttps://doi.org/10.1109/robot.2008.4543205openalex-snapshot
Optimal control of robotic systems with logical constraints: Application to UAV path planning
inferred← citeshttps://doi.org/10.1109/tac.2000.880987openalex-snapshot
Observability and controllability of piecewise affine and hybrid systems
inferred← citeshttps://doi.org/10.1109/tac.2005.858692openalex-snapshot
Predictive control of switched nonlinear systems with scheduled mode transitions
inferred← citeshttps://doi.org/10.1109/tsmca.2006.886378openalex-snapshot
Using Formal Modeling With an Automated Analysis Tool to Design and Parametrically Analyze a Multirobot Coordination Protocol: A Case Study
inferred← citeshttps://doi.org/10.1115/1.1433479openalex-snapshot
Feedback Stabilization of a Class of Unstable Nonholonomic Systems
inferred← citeshttps://doi.org/10.1117/12.335720openalex-snapshot
Feedback control for communication and traffic networks
inferred← citeshttps://doi.org/10.1155/2021/2889504openalex-snapshot
[Retracted] A Novel Optimal Robotized Parking System Using Advanced Wireless Sensor Network
inferred← citeshttps://doi.org/10.1177/0142331215571119openalex-snapshot
Data transfer regulator for wireless teleoperation
inferred← citeshttps://doi.org/10.21236/ada344363openalex-snapshot
Reactive Control of Distributed Interactive Simulations
inferred← citeshttps://doi.org/10.22028/d291-26494openalex-snapshot
Model checking stochastic hybrid systems
inferred← citeshttps://doi.org/10.23919/ecc.2001.7076540openalex-snapshot
Some questions about hybrid systems
inferred← citeshttps://doi.org/10.3166/ejc.7.178-202openalex-snapshot
Control Design for Autonomous Vehicles: A Dynamic Optimization Perspective
inferred← citeshttps://doi.org/10.3166/ejc.7.382-399openalex-snapshot
Discrete-time Hybrid Modeling and Verification of the Batch Evaporator Process Benchmark
inferred← citeshttps://doi.org/10.34626/76x2-xh88openalex-snapshot
Modeling, Control, and Optimization of networked vehicle systems
inferred← citeshttps://doi.org/10.47749/t/unicamp.2011.805553openalex-snapshot
Proposta de modelagem e projeto de arquitetura de controle de sistemas híbridos aplicados em processos de manufatura industrial
inferred← citeshttps://doi.org/10.48550/arxiv.2001.00449openalex-snapshot
Continuous-Discrete Reinforcement Learning for Hybrid Control in Robotics
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.