Affiliation:
1. Friedrich-Alexander Universität Erlangen-Nürnberg, Germany
2. INESC TEC (HASLab) & University of Minho, Portugal
Funder
German Research Foundation
ERDF ð European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia
Reference44 articles.
1. Elgot theories: a new perspective on the equational properties of iteration
2. Rajeev Alur. 2015. Principles of Cyber-Physical Systems. MIT Press. Rajeev Alur. 2015. Principles of Cyber-Physical Systems. MIT Press.
3. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
4. Steve Awodey. 2010. Category Theory. OUP Oxford. Steve Awodey. 2010. Category Theory. OUP Oxford.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic;Formal Methods;2023
2. From post-conditions to post-region invariants;Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control;2021-05-19
3. Implementing Hybrid Semantics: From Functional to Imperative;Theoretical Aspects of Computing – ICTAC 2020;2020