Article

Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems

Authors:

Rajeev Alur,

Costas Courcoubetis,

Thomas A. Henzinger,

Pei-Hsin HoAuthors Info & Claims

Hybrid Systems

Pages 209 - 229

Published: 01 January 1993 Publication History

Abstract

No abstract available.

Cited By

View all

Alghamdi RTrefler RFuria CLopes APlat NGnesi S(2024)Compositional Analysis of Parametric Cooperative Cyber-Physical SystemsProceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)10.1145/3644033.3644377(77-87)Online publication date: 14-Apr-2024
https://dl.acm.org/doi/10.1145/3644033.3644377
Ivanov RJothimurugan KHsu SVaidya SAlur RBastani O(2021)Compositional Learning and Verification of Neural Network ControllersACM Transactions on Embedded Computing Systems10.1145/347702320:5s(1-26)Online publication date: 22-Sep-2021
https://dl.acm.org/doi/10.1145/3477023
Amir-Mohammadian SCao JHo Au MConti MTippenhauer N(2021)A Semantic Framework for Direct Information Flows in Hybrid-Dynamic SystemsProceedings of the 7th ACM on Cyber-Physical System Security Workshop10.1145/3457339.3457981(5-15)Online publication date: 24-May-2021
https://dl.acm.org/doi/10.1145/3457339.3457981
Show More Cited By

Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems
1. Theory of computation

Recommendations

Hybrid automata-based CEGAR for rectangular hybrid systems

In this paper, we present a counterexample guided abstraction refinement (CEGAR) framework for systems modelled as rectangular hybrid automata. The main difference, between our approach and previous proposals for CEGAR for hybrid automata, is that we ...
Translation from Multisingular Hybrid Petri Nets to Multisingular Hybrid Automata

In this paper, we investigate some important aspects of a new formalism for modelling and verification of hybrid dynamic systems HDS, which is called multisingular hybrid Petri nets MSHPNs. This new hybrid formalism is aimed to bridge the gap between ...
Hybrid Interface Automata
APSEC '12: Proceedings of the 2012 19th Asia-Pacific Software Engineering Conference - Volume 01

Cyber-Physical Systems (CPS) are hybrid, component-based and open systems. Hybrid interface automata (HIA), which extend from interface automata, are introduced to model CPS. HIA are not input-enable, that is, only certain inputs can be accepted on a ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Hybrid Systems

January 1993

474 pages

ISBN:3540573186

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 January 1993

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

152
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Alghamdi RTrefler RFuria CLopes APlat NGnesi S(2024)Compositional Analysis of Parametric Cooperative Cyber-Physical SystemsProceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)10.1145/3644033.3644377(77-87)Online publication date: 14-Apr-2024
https://dl.acm.org/doi/10.1145/3644033.3644377
Ivanov RJothimurugan KHsu SVaidya SAlur RBastani O(2021)Compositional Learning and Verification of Neural Network ControllersACM Transactions on Embedded Computing Systems10.1145/347702320:5s(1-26)Online publication date: 22-Sep-2021
https://dl.acm.org/doi/10.1145/3477023
Amir-Mohammadian SCao JHo Au MConti MTippenhauer N(2021)A Semantic Framework for Direct Information Flows in Hybrid-Dynamic SystemsProceedings of the 7th ACM on Cyber-Physical System Security Workshop10.1145/3457339.3457981(5-15)Online publication date: 24-May-2021
https://dl.acm.org/doi/10.1145/3457339.3457981
Xing SWang JBu LChen XLi XBogomolov SJungers R(2021)Approximate optimal hybrid control synthesis by classification-based derivative-free optimizationProceedings of the 24th International Conference on Hybrid Systems: Computation and Control10.1145/3447928.3456658(1-11)Online publication date: 19-May-2021
https://dl.acm.org/doi/10.1145/3447928.3456658
Ahmad HJeannin JBogomolov SJungers R(2021)A program logic to verify signal temporal logic specifications of hybrid systemsProceedings of the 24th International Conference on Hybrid Systems: Computation and Control10.1145/3447928.3456648(1-11)Online publication date: 19-May-2021
https://dl.acm.org/doi/10.1145/3447928.3456648
Broman D(2021)Interactive Programmatic ModelingACM Transactions on Embedded Computing Systems10.1145/343138720:4(1-26)Online publication date: 18-May-2021
https://dl.acm.org/doi/10.1145/3431387
Ali SSun HZhao Y(2021)Model learning: a survey of foundations, tools and applicationsFrontiers of Computer Science: Selected Publications from Chinese Universities10.1007/s11704-019-9212-z15:5Online publication date: 1-Oct-2021
https://dl.acm.org/doi/10.1007/s11704-019-9212-z
Chhokra AMahadevan NDubey AKarsai GGherbi AHamou-Lhadj WBali A(2020)Qualitative Fault Modeling in Safety Critical Cyber Physical SystemsProceedings of the 12th System Analysis and Modelling Conference10.1145/3419804.3420273(128-137)Online publication date: 19-Oct-2020
https://dl.acm.org/doi/10.1145/3419804.3420273
Clark MRattan K(2020)Framework for Mining Hybrid Automata from a Constrained Machine Learning Architecture2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)10.1109/FUZZ48607.2020.9177844(1-8)Online publication date: 19-Jul-2020
https://dl.acm.org/doi/10.1109/FUZZ48607.2020.9177844
Chen XRoşu GBouyer P(2019)Matching μ-logicProceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science10.5555/3470152.3470173(1-13)Online publication date: 24-Jun-2019
https://dl.acm.org/doi/10.5555/3470152.3470173
Show More Cited By

Abstract

Cited By

Recommendations

Hybrid automata-based CEGAR for rectangular hybrid systems

Translation from Multisingular Hybrid Petri Nets to Multisingular Hybrid Automata

Hybrid Interface Automata

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations