Reachability Verification for Hybrid Automata (original) (raw)
vlad rusu1998
visibility
…
description
15 pages
link
1 file
Sign up for access to the world's latest research.
checkGet notified about relevant papers
checkSave papers to use in your research
checkJoin the discussion with peers
checkTrack your impact
Related papers
Hybrid automata: from verification to implementation
International Journal on Software Tools for Technology Transfer, 2017
Reachability Analysis of Lazy Linear Hybrid Automata
2011
Constraints for Continuous Reachability in the Verification of Hybrid Systems
Artificial Intelligence and Symbolic Computation, 2006
Theoretical Computer Science, 1988
Approaches to the Formal Verification of Hybrid Systems
at - Automatisierungstechnik, 2001
Timed Automata Approach to Distributed and Fault Tolerant System Verification
2005
Requirements Validation for Hybrid Systems
Lecture Notes in Computer Science, 2009
A computable and compositional semantics for hybrid automata
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, 2020
Fresh-variable automata for service composition
Modeling, specification, and verification of automaton programs
Programming and Computer Software
Loading Preview
Sorry, preview is currently unavailable. You can download the paper by clicking the button above.
Related papers
A Compositional Approach to the Verification of Hybrid Systems
Lecture Notes in Computer Science, 2016
Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis
Lecture Notes in Computer Science, 2018
Ensuring Reachability by Design
Lecture Notes in Computer Science, 2012
Abstractions for hybrid systems
Formal Methods in System Design, 2007
Efficient Scenario Verification for Hybrid Automata
Lecture Notes in Computer Science, 2011
Regular processes and timed automata
Lecture Notes in Computer Science, 1997
On the Specification of Higher Dimensional Automata
Electronic Notes in Theoretical Computer Science, 2002
Alberto Sangiovanni Vincentelli
2008 47th IEEE Conference on Decision and Control, 2008
Limited-time lookahead diagnosability of rectangular hybrid automata
3rd IFAC Conference on Analysis and Design of Hybrid Systems (2009), 2009
Comparing Two Approaches to Include Stochasticity in Hybrid Automata
arXiv (Cornell University), 2023
Process algebras for hybrid systems : comparison and development
2008
Parametrized automata simulation and application to service composition
Yannick Chevalier, Michael Rusinowitch
Journal of Symbolic Computation, 2015
Diagnosis of hybrid systems through bond graph, observers and timed automata
Diagnostyka
Lecture Notes in Computer Science, 1997
Efficient proof engines for bounded model checking of hybrid systems
Electronic Notes in Theoretical Computer Science, 2005
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
arXiv (Cornell University), 2023
Gate automata-driven run-time enforcement
Computers & Mathematics with Applications, 2012
Certifying a Tree Automata Completion Checker
Automated Reasoning
Ariadne: a framework for reachability analysis of hybrid automata
Alberto Sangiovanni Vincentelli
2006
Distributing automata for asynchronous networks of processors
1994
On the Transition Reduction Problem for Finite Automata
Fundamenta Informaticae, 2014
Interactive Computation
Natural computing, 2024
The fundamentals of hybrid systems modelers
49th IEEE Conference on Decision and Control (CDC), 2010
Proceedings of the 28th international conference on Human factors in computing systems - CHI '10, 2010