Assume-guarantee verification of nonlinear hybrid systems with Ariadne-Reference-Cited by-同舟云学术

Assume-guarantee verification of nonlinear hybrid systems with Ariadne

Published:2012-10-11 Issue:4 Volume:24 Page:699-724
ISSN:1049-8923
Container-title:International Journal of Robust and Nonlinear Control
language:en
Short-container-title:Int. J. Robust Nonlinear Control

Author:

Benvenuti Luca¹,Bresolin Davide²,Collins Pieter³,Ferrari Alberto⁴,Geretti Luca²,Villa Tiziano²

Affiliation:

1. Università di Roma ‘La Sapienza’; Roma Italy

2. Università di Verona; Verona Italy

3. Maastricht University; Maastricht The Netherlands

4. ALES S.r.l.; Roma Italy

Funder

EU projects

Publisher

Wiley

Subject

Electrical and Electronic Engineering,Industrial and Manufacturing Engineering,Mechanical Engineering,Aerospace Engineering,Biomedical Engineering,General Chemical Engineering,Control and Systems Engineering

Link

http://onlinelibrary.wiley.com/wol1/doi/10.1002/rnc.2914/fullpdf

Reference37 articles.

1. The algorithmic analysis of hybrid systems;Alur;Theoretical Computer Science,1995

2. Prom timed to hybrid systems

3. Continuity and computability of reachable sets;Collins;Theoretical Computer Science,2005

4. Kronos: ass verification tool for real-time systems;Yovine;International Journal on Software Tools for Technology Transfer,1997

5. UPPAAL in a nutshell;Larsen;International Journal on Software Tools for Technology Transfer,1997

Cited by 40 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The ksmt calculus is a δ-complete decision procedure for non-linear constraints;Theoretical Computer Science;2023-10

2. Evolution Function Based Reach-Avoid Verification for Time-varying Systems with Disturbances;ACM Transactions on Embedded Computing Systems;2023-09-28

3. Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review;ACM Transactions on Software Engineering and Methodology;2023-03-30

4. Adaptive reachability algorithms for nonlinear systems using abstraction error analysis;Nonlinear Analysis: Hybrid Systems;2022-11

5. Chemical Case Studies in KeYmaera X;Formal Methods for Industrial Critical Systems;2022