Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations-Reference-Cited by-同舟云学术

Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations

Published:2000 Issue: Volume: Page:73-88
ISSN:0302-9743
Container-title:Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Botchkarev Oleg,Tripakis Stavros

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-46430-1_10

Reference12 articles.

1. Botchkarev O., Ellipsoidal Techniques for Verification of Hybrid Systems, 2000. Available at: http://robotics.eecs.berkeley.edu/~olegb/VeriSHIFT/ .

2. Lect Notes Comput Sci;T. Dang,1998

3. Henzinger T, Ho P. and Wong-Toi H., HyTech: A Model Checker for Hybrid Systems. In Software Tools for Technology Transfer, 1, 1997.

4. Kurzhanski A. B. and Filippova T. F., On the Theory of Trajectory Tubes: a Mathematical Formalism for Uncertain Dynamics, Viability and Control, in: Advances in Nonlinear Dynamics and Control, ser. PSCT 17, pp.122–188, Birkhäuser, Boston, 1993.

5. Kurzhanski A. B. and Vályi I. Ellipsoidal Calculus for Estimation and Control, Birkhäuser, Boston, ser.SCFA, 1996.

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

1. Formally verified asymptotic consensus in robust networks;Lecture Notes in Computer Science;2024

2. Stochastic Reachability Analysis using Sparse-Collocation Method;AIAA SCITECH 2023 Forum;2023-01-19

3. Reachable Tube Computation of Uncertain LTI Systems using Support Functions;2021 European Control Conference (ECC);2021-06-29

4. Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration;Journal of Automated Reasoning;2020-05-29

5. A computable and compositional semantics for hybrid automata;Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control;2020-04-17