On the public citation graph
Hybrid I/O automata
0 signed · 268 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.1006/inco.1995.1134openalex-snapshot
Forward and Backward Simulations
inferredcites →https://doi.org/10.1006/inco.1996.0060openalex-snapshot
Forward and Backward Simulations
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-58201-0_66openalex-snapshot
Liveness in timed and untimed systems
inferredcites →https://doi.org/10.1007/3-540-58468-4_165openalex-snapshot
Verification of an audio control protocol
inferredcites →https://doi.org/10.1007/978-1-4612-0577-7openalex-snapshot
Mathematical Control Theory: Deterministic Finite Dimensional Systems
inferredcites →https://doi.org/10.1007/978-1-4612-0931-7openalex-snapshot
The Temporal Logic of Reactive and Concurrent Systems
inferredcites →https://doi.org/10.1007/978-1-4612-2822-6_17openalex-snapshot
Concurrent Programs as Strategies in Games
inferredcites →https://doi.org/10.1007/bf01211907openalex-snapshot
Action transducers and timed automata
inferredcites →https://doi.org/10.1007/bfb0020938openalex-snapshot
Verification of automated vehicle protection systems
inferredcites →https://doi.org/10.1007/bfb0020967openalex-snapshot
Modelling and verification of automated transit systems, using timed automata, invariants and simulations
inferredcites →https://doi.org/10.1007/bfb0032002openalex-snapshot
Forward and backward simulations for timing-based systems
inferredcites →https://doi.org/10.1016/0304-3975(94)00202-topenalex-snapshot
The algorithmic analysis of hybrid systems
inferredcites →https://doi.org/10.1016/0304-3975(94)90010-8openalex-snapshot
A theory of timed automata
inferredcites →https://doi.org/10.1016/0890-5401(92)90008-4openalex-snapshot
A calculus of mobile processes, I
inferredcites →https://doi.org/10.1145/3788687openalex-snapshot
An Introduction to Input/Output Automata
inferredcites →https://doi.org/10.1145/41840.41852openalex-snapshot
Hierarchical correctness proofs for distributed algorithms
inferredcites →https://doi.org/10.5860/choice.30-5049openalex-snapshot
Semantics of programming languages: structures and techniques
inferredcites →https://doi.org/10.7551/mitpress/6874.001.0001openalex-snapshot
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/047172288x.ch14openalex-snapshot
Hybrid Systems: Review and Recent Progress
inferred← citeshttps://doi.org/10.1002/047172288x.ch7openalex-snapshot
Heterogeneous Modeling and Design of Control Systems
inferred← citeshttps://doi.org/10.1002/rnc.1626openalex-snapshot
Observer‐based control of linear complementarity systems
inferred← citeshttps://doi.org/10.1002/rnc.591openalex-snapshot
Compositionality issues in discrete, continuous, and hybrid systems
inferred← citeshttps://doi.org/10.1002/smr.2301openalex-snapshot
Language evolution and healthiness for critical cyber‐physical systems
inferred← citeshttps://doi.org/10.1007/1-4020-7997-4_4openalex-snapshot
Environmental Modeling with UML
inferred← citeshttps://doi.org/10.1007/11562436_4openalex-snapshot
A Composition Operator for Systems with Active and Passive Actions
inferred← citeshttps://doi.org/10.1007/11603009_3openalex-snapshot
Translating Timed I/O Automata Specifications for Theorem Proving in PVS
inferred← citeshttps://doi.org/10.1007/11730637_30openalex-snapshot
R-Charon, a Modeling Language for Reconfigurable Hybrid Systems
inferred← citeshttps://doi.org/10.1007/11730637_32openalex-snapshot
Stability Analysis of Hybrid Systems Via Small-Gain Theorems
inferred← citeshttps://doi.org/10.1007/11730637_35openalex-snapshot
Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems
inferred← citeshttps://doi.org/10.1007/11730637_36openalex-snapshot
Verifying Average Dwell Time by Solving Optimization Problems
inferred← citeshttps://doi.org/10.1007/11734673_10openalex-snapshot
Towards an Algebra of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/11864219_4openalex-snapshot
Fault-Tolerant and Self-stabilizing Mobile Robots Gathering
inferred← citeshttps://doi.org/10.1007/11867340_15openalex-snapshot
On Timed Simulation Relations for Hybrid Systems and Compositionality
inferred← citeshttps://doi.org/10.1007/3-540-36580-x_17openalex-snapshot
Approximate Stabilisation of Uncertain Hybrid Systems
inferred← citeshttps://doi.org/10.1007/3-540-36580-x_26openalex-snapshot
Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata
inferred← citeshttps://doi.org/10.1007/3-540-44812-8_5openalex-snapshot
A Framework for Reasoning About Animation Systems
inferred← citeshttps://doi.org/10.1007/3-540-44929-9_38openalex-snapshot
Masaccio: A Formal Model for Embedded Components
inferred← citeshttps://doi.org/10.1007/3-540-45351-2_24openalex-snapshot
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
inferred← citeshttps://doi.org/10.1007/3-540-45351-2_33openalex-snapshot
Hybrid I/O Automata Revisited
inferred← citeshttps://doi.org/10.1007/3-540-45351-2_6openalex-snapshot
Hybrid Modeling and Simulation of Biomolecular Networks
inferred← citeshttps://doi.org/10.1007/3-540-45351-2_7openalex-snapshot
Compositional Refinement for Hierarchical Hybrid Systems
inferred← citeshttps://doi.org/10.1007/3-540-45426-8_6openalex-snapshot
An Environment for the Integrated Modelling of Systems with Complex Continuous and Discrete Dynamics
inferred← citeshttps://doi.org/10.1007/3-540-45449-7_2openalex-snapshot
Hierarchical Hybrid Modeling of Embedded Systems
inferred← citeshttps://doi.org/10.1007/3-540-46430-1_21openalex-snapshot
On the Existence of Solutions to Controlled Hybrid Automata
inferred← citeshttps://doi.org/10.1007/3-540-46430-1_35openalex-snapshot
Towards a Geometric Theory of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/3-540-46430-1_5openalex-snapshot
Modular Specification of Hybrid Systems in Charon
inferred← citeshttps://doi.org/10.1007/3-540-48983-5_3openalex-snapshot
High-Level Modeling and Analysis of an Air-Traffic Management System
inferred← citeshttps://doi.org/10.1007/3-540-49163-5_13openalex-snapshot
Time-Deterministic Hybrid Transition Systems
inferred← citeshttps://doi.org/10.1007/3-540-49163-5_17openalex-snapshot
Action Systems with Continuous Behaviour
inferred← citeshttps://doi.org/10.1007/3-540-63141-0_6openalex-snapshot
Modularity for timed and hybrid systems
inferred← citeshttps://doi.org/10.1007/3-540-64358-3_35openalex-snapshot
Automotive control revisited linear inequalities as approximation of reachable sets
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_46openalex-snapshot
An approach to the verification of the Center-TRACON automation system
inferred← citeshttps://doi.org/10.1007/3-540-65193-4_27openalex-snapshot
Engineering of real-time systems with an experiment in hybrid control
inferred← citeshttps://doi.org/10.1007/978-0-387-74935-8_27openalex-snapshot
Interoperability of Performance and Functional Analysis for Electronic System Designs in Behavioural Hybrid Process Calculus (BHPC)
inferred← citeshttps://doi.org/10.1007/978-3-030-21759-4_15openalex-snapshot
Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-61362-4_1openalex-snapshot
Who Carries the Burden of Modularity?
inferred← citeshttps://doi.org/10.1007/978-3-030-76020-5_3openalex-snapshot
Moded and Continuous Abstract State Machines
inferred← citeshttps://doi.org/10.1007/978-3-032-28079-4_7openalex-snapshot
Sensor Tolerance Contracts for Safety Assurance in Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-08867-9_25openalex-snapshot
Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells
inferred← citeshttps://doi.org/10.1007/978-3-319-09581-3_21openalex-snapshot
A Formal Driving Behavior Model for Intelligent Transportation Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-10398-3_6openalex-snapshot
External Interactions on Hybrid Models of Biological Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-10575-8_30openalex-snapshot
Verification of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-11737-9_5openalex-snapshot
A Hybrid Model of Connectors in Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-13206-8_4openalex-snapshot
On a Decidable Formal Theory for Abstract Continuous-Time Dynamical Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-14806-9_7openalex-snapshot
A Formal Model for a Hybrid Programming Language
inferred← citeshttps://doi.org/10.1007/978-3-319-30734-3_8openalex-snapshot
A Compositional Approach to the Verification of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-31311-5_1openalex-snapshot
Reuse and Integration of Specification Logics: The Hybridisation Perspective
inferred← citeshttps://doi.org/10.1007/978-3-319-33693-0_28openalex-snapshot
A Component-Based Approach to Hybrid Systems Safety Verification
inferred← citeshttps://doi.org/10.1007/978-3-319-92612-4_4openalex-snapshot
A Modest Security Analysis of Cyber-Physical Systems: A Case Study
inferred← citeshttps://doi.org/10.1007/978-3-540-30101-1_4openalex-snapshot
On the Verification of Cooperating Traffic Agents
inferred← citeshttps://doi.org/10.1007/978-3-540-30206-3_22openalex-snapshot
Structured Modeling of Concurrent Stochastic Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-31954-2_17openalex-snapshot
PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech
inferred← citeshttps://doi.org/10.1007/978-3-540-31954-2_2openalex-snapshot
Operational Semantics of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-69389-5_44openalex-snapshot
Multi-Agent System for Collaboration in Hybrid Control
inferred← citeshttps://doi.org/10.1007/978-3-540-71493-4_14openalex-snapshot
On Simulations and Bisimulations of General Flow Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-71493-4_21openalex-snapshot
Learning Cycle-Linear Hybrid Automata for Excitable Cells
inferred← citeshttps://doi.org/10.1007/978-3-540-71493-4_43openalex-snapshot
Safety Verification of an Aircraft Landing Protocol: A Refinement Approach
inferred← citeshttps://doi.org/10.1007/978-3-540-71493-4_45openalex-snapshot
Foundations of a Compositional Interchange Format for Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-71493-4_46openalex-snapshot
Automata Based Interfaces for Control and Scheduling
inferred← citeshttps://doi.org/10.1007/978-3-540-71493-4_48openalex-snapshot
The Concept of Deadlock and Livelock in Hybrid Control Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-72830-6_68openalex-snapshot
Multi-Agent System for Hierarchical Control with Self-organising Database
inferred← citeshttps://doi.org/10.1007/978-3-540-74481-8_25openalex-snapshot
Application of the Holonic Approach in Distributed Control Systems Designing
inferred← citeshttps://doi.org/10.1007/978-3-540-75221-9_6openalex-snapshot
Automating Verification of Cooperation, Control, and Design in Traffic Applications
inferred← citeshttps://doi.org/10.1007/978-3-540-78929-1_19openalex-snapshot
Observer-Based Control of Linear Complementarity Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-78929-1_9openalex-snapshot
Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions
inferred← citeshttps://doi.org/10.1007/978-3-540-85778-5_17openalex-snapshot
Compositional Abstraction in Real-Time Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-540-88562-7_11openalex-snapshot
The Continuous π-Calculus: A Process Algebra for Biochemical Modelling
inferred← citeshttps://doi.org/10.1007/978-3-540-92295-7_33openalex-snapshot
Byzantine-Resilient Convergence in Oblivious Robot Networks
inferred← citeshttps://doi.org/10.1007/978-3-642-00602-9_14openalex-snapshot
Finite Automata as Time-Inv Linear Systems Observability, Reachability and More
inferred← citeshttps://doi.org/10.1007/978-3-642-00602-9_28openalex-snapshot
Periodically Controlled Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-14052-5_19openalex-snapshot
Automated Machine-Checked Hybrid System Safety Proofs
inferred← citeshttps://doi.org/10.1007/978-3-642-24310-3_21openalex-snapshot
Rigorous Discretization of Hybrid Systems Using Process Calculi
inferred← citeshttps://doi.org/10.1007/978-3-642-24559-6_11openalex-snapshot
Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-31424-7_35openalex-snapshot
A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx
inferred← citeshttps://doi.org/10.1007/978-3-642-32759-9_22openalex-snapshot
Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-33512-9_8openalex-snapshot
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-39698-4_24openalex-snapshot
Towards a Modeling Language for Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-39721-9_5openalex-snapshot
Formal Modelling, Analysis and Verification of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-59615-5_13openalex-snapshot
The Theory of Hybrid Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-59615-5_16openalex-snapshot
Control for a Class of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-662-43613-4_10openalex-snapshot
Denial-of-Service Security Attack in the Continuous-Time World
inferred← citeshttps://doi.org/10.1007/978-3-662-45231-8_27openalex-snapshot
On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers
inferred← citeshttps://doi.org/10.1007/978-3-662-54494-5_8openalex-snapshot
Change and Delay Contracts for Hybrid System Component Verification
inferred← citeshttps://doi.org/10.1007/bfb0014720openalex-snapshot
Multiobjective hybrid controller synthesis
inferred← citeshttps://doi.org/10.1007/bfb0014723openalex-snapshot
Safety verification for automated platoon maneuvers: A case study
inferred← citeshttps://doi.org/10.1007/bfb0014732openalex-snapshot
Functional specification of real-time and hybrid systems
inferred← citeshttps://doi.org/10.1007/bfb0014735openalex-snapshot
Weak refinement for modal hybrid systems
inferred← citeshttps://doi.org/10.1007/bfb0031553openalex-snapshot
A toolbox for proving and maintaining hybrid specifications
inferred← citeshttps://doi.org/10.1007/bfb0055338openalex-snapshot
A modular visual model for hybrid systems
inferred← citeshttps://doi.org/10.1007/bfb0110384openalex-snapshot
Modelling and analysis of hybrid dynamical systems
inferred← citeshttps://doi.org/10.1007/s00446-019-00359-xopenalex-snapshot
Self-stabilizing gathering of mobile robots under crash or Byzantine faults
inferred← citeshttps://doi.org/10.1007/s00779-010-0315-7openalex-snapshot
Hyperform specification: designing and interacting with self-reconfiguring materials
inferred← citeshttps://doi.org/10.1007/s10009-008-0081-2openalex-snapshot
Testing hybrid control systems with TTCN-3: an overview on continuous TTCN-3
inferred← citeshttps://doi.org/10.1007/s10009-013-0283-0openalex-snapshot
Testing hybrid systems with TTCN-3 embedded
inferred← citeshttps://doi.org/10.1007/s10009-018-0502-9openalex-snapshot
Tactical contract composition for hybrid system component verification
inferred← citeshttps://doi.org/10.1007/s100090050007openalex-snapshot
Real-time system = discrete system + clock variables
inferred← citeshttps://doi.org/10.1007/s10703-011-0117-1openalex-snapshot
On the refinement of liveness properties of distributed systems
inferred← citeshttps://doi.org/10.1007/s11023-023-09624-2openalex-snapshot
Computers as Interactive Machines: Can We Build an Explanatory Abstraction?
inferred← citeshttps://doi.org/10.1007/s11036-015-0671-7openalex-snapshot
SMT-Based Symbolic Encoding and Formal Analysis of HML Models
inferred← citeshttps://doi.org/10.1007/s11334-009-0089-0openalex-snapshot
A formal model of composing components: the TLA+ approach
inferred← citeshttps://doi.org/10.1007/s11704-014-4016-7openalex-snapshot
Generalized interface automata with multicast synchronization
inferred← citeshttps://doi.org/10.1007/s42452-022-05063-3openalex-snapshot
A cross-sectoral review of the current and potential maintenance strategies for composite structures
inferred← citeshttps://doi.org/10.1016/b978-0-444-51624-4.50009-5openalex-snapshot
Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi
inferred← citeshttps://doi.org/10.1016/j.ic.2014.01.014openalex-snapshot
Quantitative verification of implantable cardiac pacemakers over hybrid heart models
inferred← citeshttps://doi.org/10.1016/j.ijcip.2012.08.002openalex-snapshot
Modeling security in cyber–physical systems
inferred← citeshttps://doi.org/10.1016/j.jlap.2005.10.004openalex-snapshot
Compositional modeling and refinement for hierarchical hybrid systems
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.scico.2015.02.003openalex-snapshot
Core Hybrid Event-B I: Single Hybrid Event-B machines
inferred← citeshttps://doi.org/10.1016/j.scico.2017.12.011openalex-snapshot
Modelling, formal refinement and partitioning strategies for a small aircraft fuel pump system in Hybrid Event-B
inferred← citeshttps://doi.org/10.1016/j.scico.2020.102404openalex-snapshot
Automated urban train control with hybrid Event-B: ‘Tackling’ the rugby club problem
inferred← citeshttps://doi.org/10.1016/j.tcs.2004.07.036openalex-snapshot
A brief history of process algebra
inferred← citeshttps://doi.org/10.1016/j.tcs.2008.08.044openalex-snapshot
CPO semantics of timed interactive actor networks
inferred← citeshttps://doi.org/10.1016/j.vlsi.2009.05.002openalex-snapshot
A static verification approach for architectural integration of mixed-signal integrated circuits
inferred← citeshttps://doi.org/10.1016/s0168-0072(01)00049-5openalex-snapshot
A first order logic for specification of timed algorithms: basic properties and a decidable class
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)37184-7openalex-snapshot
A Unified Approach for Controllability Analysis of Hybrid Control Systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)39950-0openalex-snapshot
A Tool for Modular Modelling and Verification of Hybrid Systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)44878-6openalex-snapshot
Visual Description of Hybrid Systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)56364-8openalex-snapshot
Computation of controllers for nonlinear hybrid systems 1
inferred← citeshttps://doi.org/10.1017/cbo9780511807930.003openalex-snapshot
Survey of modeling, analysis, and control of hybrid systems
inferred← citeshttps://doi.org/10.1023/a:1024050108075openalex-snapshot
Safety and Reachability of Piecewise Linear Hybrid Dynamical Systems Based on Discrete Abstractions
inferred← citeshttps://doi.org/10.1080/00207170412331317431openalex-snapshot
On the control of uncertain impulsive systems: approximate stabilization and controlled invariance
inferred← citeshttps://doi.org/10.1080/019697299125073openalex-snapshot
CHALLENGING THE COMPUTATIONAL METAPHOR: IMPLICATIONS FOR HOW WE THINK
inferred← citeshttps://doi.org/10.1080/13873950500053023openalex-snapshot
Design of piecewise linear hybrid dynamical systems using a control regulator approach
inferred← citeshttps://doi.org/10.1098/rsta.2010.0187openalex-snapshot
Stability analysis and controller synthesis for hybrid dynamical systems
inferred← citeshttps://doi.org/10.1109/.2005.1467122openalex-snapshot
Fault Diagnosis of Hybrid Systems
inferred← citeshttps://doi.org/10.1109/5.871302openalex-snapshot
High-level modeling and analysis of the traffic alert and collision avoidance system (TCAS)
inferred← citeshttps://doi.org/10.1109/5.871307openalex-snapshot
Supervisory control of hybrid systems
inferred← citeshttps://doi.org/10.1109/5992.976434openalex-snapshot
Modeling and analyzing biomolecular networks
inferred← citeshttps://doi.org/10.1109/9.664154openalex-snapshot
Conflict resolution for air traffic management: a study in multiagent hybrid systems
inferred← citeshttps://doi.org/10.1109/9.664155openalex-snapshot
Verified hybrid controllers for automated vehicles
inferred← citeshttps://doi.org/10.1109/9.981719openalex-snapshot
Impulse differential inclusions: a viability approach to hybrid systems
inferred← citeshttps://doi.org/10.1109/artcom.2009.143openalex-snapshot
Hybrid Controllers for Systems with Random Communication Delays
inferred← citeshttps://doi.org/10.1109/cacsd-cca-isic.2006.4776929openalex-snapshot
Representing dynamic structure hybrid models in CAOSTALK
inferred← citeshttps://doi.org/10.1109/cacsd.2000.900193openalex-snapshot
Component-based hierarchical modeling of systems with continuous and discrete dynamics
inferred← citeshttps://doi.org/10.1109/cacsd.2000.900201openalex-snapshot
Formal methods for analysis of heterogeneous models of embedded systems
inferred← citeshttps://doi.org/10.1109/cca.2005.1507347openalex-snapshot
Modeling of an electrical power transmission system using hybrid systems
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.758644openalex-snapshot
On controller synthesis for nonlinear hybrid systems
inferred← citeshttps://doi.org/10.1109/cdc.1998.761994openalex-snapshot
Hybrid controllability of linear switched systems
inferred← citeshttps://doi.org/10.1109/cdc.1999.827883openalex-snapshot
A hierarchical hybrid system model and its simulation
inferred← citeshttps://doi.org/10.1109/cdc.2000.912871openalex-snapshot
Robust hybrid control for autonomous vehicle motion planning
inferred← citeshttps://doi.org/10.1109/cdc.2001.980125openalex-snapshot
Compositional abstractions of hybrid control systems
inferred← citeshttps://doi.org/10.1109/cdc.2003.1272853openalex-snapshot
Approximate stabilisation of uncertain hybrid systems with controllable transitions
inferred← citeshttps://doi.org/10.1109/cdc.2004.1428676openalex-snapshot
Assume-guarantee reasoning for hybrid I/O-automata by over-approximation of continuous interaction
inferred← citeshttps://doi.org/10.1109/cdc.2004.1428737openalex-snapshot
Distributing synchronous systems with modular structure
inferred← citeshttps://doi.org/10.1109/cdc.2004.1429547openalex-snapshot
A theoretical diagnosis approach applied to a power transmission system
inferred← citeshttps://doi.org/10.1109/cdc.2005.1582595openalex-snapshot
On synchronous robotic networks Part I: Models, tasks and complexity notions
inferred← citeshttps://doi.org/10.1109/cdc.2005.1583022openalex-snapshot
A small-gain approach to stability analysis of hybrid systems
inferred← citeshttps://doi.org/10.1109/cdc.2011.6161264openalex-snapshot
Stability of digitally interconnected linear systems
inferred← citeshttps://doi.org/10.1109/cnsi.2011.51openalex-snapshot
Hybrid Interface Automata for Component Interfaces
inferred← citeshttps://doi.org/10.1109/comst.2019.2944748openalex-snapshot
Differential Privacy Techniques for Cyber Physical Systems: A Survey
inferred← citeshttps://doi.org/10.1109/ical.2007.4338985openalex-snapshot
A Simulation Method of Controlled Hybrid Petri Nets Based on Matlab Simulink/Stateflow
inferred← citeshttps://doi.org/10.1109/icbbe.2008.205openalex-snapshot
Symbolic Analysis of the Neuron Action Potential
inferred← citeshttps://doi.org/10.1109/icca.2009.5410374openalex-snapshot
A theoretical multiple faults diagnosis approach of hybrid systems applied to a two tank system
inferred← citeshttps://doi.org/10.1109/iccps.2012.24openalex-snapshot
Parametrized Verification of Distributed Cyber-Physical Systems: An Aircraft Landing Protocol Case Study
inferred← citeshttps://doi.org/10.1109/iccrd.2011.5764098openalex-snapshot
Hybrid Predictive Control design based on Particle Swarm Optimization and Genetic Algorithm
inferred← citeshttps://doi.org/10.1109/iccsnt.2012.6526222openalex-snapshot
Algorithms for selecting interactions among timed components based on TIOA/TIOTS
inferred← citeshttps://doi.org/10.1109/ichi.2014.11openalex-snapshot
Formal Modelling and Validation of Rate-Adaptive Pacemakers
inferred← citeshttps://doi.org/10.1109/icsess.2011.5982376openalex-snapshot
Modeling and verification of interactive behavior for cyber-physical systems
inferred← citeshttps://doi.org/10.1109/icst.2013.25openalex-snapshot
A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information
inferred← citeshttps://doi.org/10.1109/icumt.2012.6459786openalex-snapshot
Modeling and verification of network protocol specs using timed pi-calculus
inferred← citeshttps://doi.org/10.1109/iri.2004.1431508openalex-snapshot
Model-based testing and monitoring for hybrid embedded systems
inferred← citeshttps://doi.org/10.1109/jproc.2002.805817openalex-snapshot
Hierarchical modeling and analysis of embedded systems
inferred← citeshttps://doi.org/10.1109/lics.1996.561342openalex-snapshot
The theory of hybrid automata
inferred← citeshttps://doi.org/10.1109/mcas.2004.1337806openalex-snapshot
Hybrid systems modeling for power systems
inferred← citeshttps://doi.org/10.1109/med.2007.4433704openalex-snapshot
An approach towards fault tolerant hybrid control systems
inferred← citeshttps://doi.org/10.1109/med.2009.5164568openalex-snapshot
Multiple faults diagnosability of Hybrid Systems
inferred← citeshttps://doi.org/10.1109/memcod.2004.1459848openalex-snapshot
Classes and subclasses in actor-oriented design
inferred← citeshttps://doi.org/10.1109/mprv.2004.1269132openalex-snapshot
Sensor and actuator networks - Distributed algorithms for cooperative control
inferred← citeshttps://doi.org/10.1109/peci.2013.6506047openalex-snapshot
Reachability analysis of closed-loop switching power converters
inferred← citeshttps://doi.org/10.1109/real.1996.563701openalex-snapshot
Correctness of vehicle control systems-a case study
inferred← citeshttps://doi.org/10.1109/real.1999.818833openalex-snapshot
High-level modeling and analysis of TCAS
inferred← citeshttps://doi.org/10.1109/real.2003.1253264openalex-snapshot
Timed I/O automata: a mathematical framework for modeling and analyzing real-time systems
inferred← citeshttps://doi.org/10.1109/saso.2008.69openalex-snapshot
Model-Based Analysis of Autonomous Self-Adaptive Cooperating Robots
inferred← citeshttps://doi.org/10.1109/ssiri-c.2011.19openalex-snapshot
Approximate Simulation for Metric Hybrid Input/Output Automata
inferred← citeshttps://doi.org/10.1109/systol.2013.6693927openalex-snapshot
A framework for fault diagnosis of hybrid systems based on predicate abstractions
inferred← citeshttps://doi.org/10.1109/tac.2002.806650openalex-snapshot
Dynamical properties of hybrid automata
inferred← citeshttps://doi.org/10.1109/tase.2012.27openalex-snapshot
A Native Approach to Modeling Timed Behavior in the Pi-Calculus
inferred← citeshttps://doi.org/10.1109/tcns.2023.3239562openalex-snapshot
Decentralized Safe Control for Distributed Cyber-Physical Systems Using Real-Time Reachability Analysis
inferred← citeshttps://doi.org/10.1109/tcst.2004.824310openalex-snapshot
Actor-Oriented Control System Design: A Responsible Framework Perspective
inferred← citeshttps://doi.org/10.1109/wmso.2008.79openalex-snapshot
Multi-level Modeling for Hybrid Manufacturing Systems Using Arena and MATLAB
inferred← citeshttps://doi.org/10.1115/1.4032100openalex-snapshot
Modeling and Analysis of Gear-Shifting Process of Motor-Transmission Coupled Drive System
inferred← citeshttps://doi.org/10.1145/1086228.1086287openalex-snapshot
Distributing synchronous programs using bounded queues
inferred← citeshttps://doi.org/10.1145/1550987.1550992openalex-snapshot
Classes and inheritance in actor-oriented design
inferred← citeshttps://doi.org/10.1145/2038642.2038685openalex-snapshot
Formal verification of hybrid systems
inferred← citeshttps://doi.org/10.1145/2602087.2602106openalex-snapshot
Hybrid extensions for stateful attack graphs
inferred← citeshttps://doi.org/10.1145/3365365.3382202openalex-snapshot
A computable and compositional semantics for hybrid automata
inferred← citeshttps://doi.org/10.1145/3477023openalex-snapshot
Compositional Learning and Verification of Neural Network Controllers
showing the first 200 of 241 · page through all 241
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.