Communicating sequential processes
Communicating sequential processes
Hierarchical correctness proofs for distributed algorithms
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Algebraic theory of processes
Mathematical control theory: deterministic systems
Mathematical control theory: deterministic systems
Action versus state based logics for transition systems
Proceedings of the LITP spring school on theoretical computer science on Semantics of systems of concurrent processes
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Semantics of programming languages: structures and techniques
Semantics of programming languages: structures and techniques
ACM Transactions on Programming Languages and Systems (TOPLAS)
A calculus of mobile processes, I
Information and Computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Theoretical Computer Science
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
Forward and backward simulations I.: untimed systems
Information and Computation
Forward and backward simulations II.: timing-based systems
Information and Computation
Verification of automated vehicle protection systems (extended abstract)
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Studies in hybrid systems: modeling, analysis, and control
Studies in hybrid systems: modeling, analysis, and control
Introduction to mathematical systems theory: a behavioral approach
Introduction to mathematical systems theory: a behavioral approach
Formal verification of communication protocols
IFIP TC6/ 6.1 international conference on formal description techniques IX/protocol specification, testing and verification XVI on Formal description techniques IX : theory, application and tools: theory, application and tools
PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
Liveness in timed and untimed systems
Information and Computation
Model checking
Specifying and using a partitionable group communication service
ACM Transactions on Computer Systems (TOCS)
Distributed Algorithms
Communication and Concurrency
Robust Control
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Hybrid Systems
Hybrid Systems IV
Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Proceedings of the International Workshop on Hybrid and Real-Time Systems
HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
Revisiting the Paxos Algorithm
WDAG '97 Proceedings of the 11th International Workshop on Distributed Algorithms
Verifying timing properties of concurrent algorithms
Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
Time-Constrained Automata (Extended Abstract)
CONCUR '91 Proceedings of the 2nd International Conference on Concurrency Theory
Modularity for Timed and Hybrid Systems
CONCUR '97 Proceedings of the 8th International Conference on Concurrency Theory
Verification of an Audio Control Protocol
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Prooving Safety Properties of Hybrid Systems
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
A Toolbox for Proving and Maintaining Hybrid Specifications
Hybrid Systems IV
Strings of Vehicles: Modeling and Safety Conditions
HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
Formal Verification of Safety-Critical Hybrid Systems
HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
Automotive Control Revisited: Linear Inequalities as Approximation of Reachable Sets
HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
Safety Verification for Automated Platoon Maneuvers: A Case Study
HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
Computer-Assisted Simulation Proofs
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
Analyzing and Synthesizing Hybrid Control Systems
Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems
Verification of Clocked and Hybrid Systems
Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Forward and Backward Simulations for Timing-Based Systems
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Liveness in Timed and Untimed Systems
ICALP '94 Proceedings of the 21st International Colloquium on Automata, Languages and Programming
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Correctness of vehicle control systems-a case study
RTSS '96 Proceedings of the 17th IEEE Real-Time Systems Symposium
High-Level Modeling and Analysis of TCAS
RTSS '99 Proceedings of the 20th IEEE Real-Time Systems Symposium
Correctness of Vehicle Control Systems: A Case Study
Correctness of Vehicle Control Systems: A Case Study
Formal Verification of Safety-Critical Hybrid Systems
Formal Verification of Safety-Critical Hybrid Systems
Trace theory for automatic hierarchical verification of speed-independent circuits
Trace theory for automatic hierarchical verification of speed-independent circuits
Data Refinement: Model-Oriented Proof Methods and their Comparison
Data Refinement: Model-Oriented Proof Methods and their Comparison
Safety verification of model helicopter controller using hybrid input/output automata
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Process algebra for hybrid systems
Theoretical Computer Science - Process algebra
Specifying Urgency in Timed I/O Automata
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
GeoQuorums: implementing atomic memory in mobile ad hoc networks
Distributed Computing - Special issue: DISC 03
Relating Hybrid Chi to Other Formalisms
Electronic Notes in Theoretical Computer Science (ENTCS)
On the stability and performance of discrete event methods for simulating continuous systems
Journal of Computational Physics
Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue
Electronic Notes in Theoretical Computer Science (ENTCS)
The power of simulation relations
Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing
Application of the Holonic Approach in Distributed Control Systems Designing
HoloMAS '07 Proceedings of the 3rd international conference on Industrial Applications of Holonic and Multi-Agent Systems: Holonic and Multi-Agent Systems for Manufacturing
Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Multi-Agent System for Collaboration in Hybrid Control
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part III
Context Model for Multi-Agent System Reconfiguration
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
RTComposer: a framework for real-time components with scheduling interfaces
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Verifying average dwell time of hybrid systems
ACM Transactions on Embedded Computing Systems (TECS)
The Continuous π-Calculus: A Process Algebra for Biochemical Modelling
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Multi-Agent System for Hierarchical Control with Self-organising Database
KES-AMSTA '07 Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Byzantine-Resilient Convergence in Oblivious Robot Networks
ICDCN '09 Proceedings of the 10th International Conference on Distributed Computing and Networking
Finite Automata as Time-Inv Linear Systems Observability, Reachability and More
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Periodically Controlled Hybrid Systems
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Modeling and simulation of cardiac tissue using hybrid I/O automata
Theoretical Computer Science
Specifying the worst case: orthogonal modeling of hardware errors
Proceedings of the eighteenth international symposium on Software testing and analysis
Verifying Industrial Hybrid Systems with MathSAT
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
On simulations and bisimulations of general flow systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Learning cycle-linear hybrid automata for excitable cells
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Safety verification of an aircraft landing protocol: a refinement approach
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Foundations of a compositional interchange format for hybrid systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Automata based interfaces for control and scheduling
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
The concept of deadlock and livelock in hybrid control systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Cooperative validation in distributed control systems design
CDVE'07 Proceedings of the 4th international conference on Cooperative design, visualization, and engineering
Automating verification of cooperation, control, and design in traffic applications
Formal methods and hybrid real-time systems
The cost of probabilistic agreement in oblivious robot networks
Information Processing Letters
IEEE Transactions on Intelligent Transportation Systems
Hyperform specification: designing and interacting with self-reconfiguring materials
Personal and Ubiquitous Computing
The Cayley-Hamilton theorem for noncommutative semirings
CIAA'10 Proceedings of the 15th international conference on Implementation and application of automata
Modeling and analysis of DNA replication
Automatica (Journal of IFAC)
On the refinement of liveness properties of distributed systems
Formal Methods in System Design
Rigorous discretization of hybrid systems using process calculi
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
R-Charon, a modeling language for reconfigurable hybrid systems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Stability analysis of hybrid systems via small-gain theorems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Specification and analysis of distributed object-based stochastic hybrid systems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Verifying average dwell time by solving optimization problems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Towards an algebra of hybrid systems
RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
Translating timed i/o automata specifications for theorem proving in PVS
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
On timed simulation relations for hybrid systems and compositionality
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Fault-tolerant and self-stabilizing mobile robots gathering
DISC'06 Proceedings of the 20th international conference on Distributed Computing
PHAVer: algorithmic verification of hybrid systems past hytech
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
A composition operator for systems with active and passive actions
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Automated machine-checked hybrid system safety proofs
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
ICCPS '12 Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems
Uniform stabilization of discrete-time switched and Markovian jump linear systems
Automatica (Journal of IFAC)
Repairing time-determinism in the process algebra for hybrid systems ACPhssrt
Theoretical Computer Science
Verification of Periodically Controlled Hybrid Systems: Application to an Autonomous Vehicle
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on CAPA'09, Special Section on WHS'09, and Special Section VCPSS' 09
Multiplicative Transition Systems
Fundamenta Informaticae
A box-based distance between regions for guiding the reachability analysis of spaceex
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis
RP'12 Proceedings of the 6th international conference on Reachability Problems
Zélus: a synchronous language with ODEs
Proceedings of the 16th international conference on Hybrid systems: computation and control
A game-theoretic approach to fault diagnosis and identification of hybrid systems
Theoretical Computer Science
Implementing real-time transactional security property using timed edit automata
Proceedings of the 6th International Conference on Security of Information and Networks
Deriving real-time action systems in a sampling logic
Science of Computer Programming
Towards a modeling language for cyber-physical systems
Theories of Programming and Formal Methods
A compositional modelling and analysis framework for stochastic hybrid systems
Formal Methods in System Design
Hi-index | 0.01 |
Hybrid systems are systems that exhibit a combination of discrete and continuous behavior. Typical hybrid systems include computer components, which operate in discrete program steps, and real-world components, whose behavior over time intervals evolves according to physical constraints. Important examples of hybrid systems include automated transportation systems, robotics systems, process control systems, systems of embedded devices, and mobile computing systems. Such systems can be very complex, and very difficult to describe and analyze. This paper presents the Hybrid Input/Output Automaton (HIOA) modeling framework, a basic mathematical framework to support description and analysis of hybrid systems. An important feature of this model is its support for decomposing hybrid system descriptions. In particular, the framework includes a notion of external behavior for a hybrid I/O automaton, which captures its discrete and continuous interactions with its environment. The framework also defines what it means for one HIOA to implement another, based on an inclusion relationship between their external behavior sets, and defines a notion of simulation, which provides a sufficient condition for demonstrating implementation relationships. The framework also includes a composition operation for HIOAs, which respects the implementation relation and a notion of receptiveness, which implies that an HIOA does not block the passage of time. The framework is intended to support analysis methods from both computer science and control theory. This work is a simplification of our earlier HIOA model. The main simplification in the new model is a clearer separation between the mechanisms used to model discrete and continuous interaction between components. In particular, the new model removes the dual use of external variables for discrete and continuous interactions.