Towards verification of hybrid systems in a foundational proof assistant

2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) ◽

10.1109/memcod.2015.7340492 ◽

2015 ◽

Cited By ~ 10

Author(s):

Daniel Ricketts ◽

Gregory Malecha ◽

Mario M. Alvarez ◽

Vignesh Gowda ◽

Sorin Lerner

Keyword(s):

Hybrid Systems ◽

Proof Assistant ◽

Verification Of Hybrid Systems

Download Full-text

A Compositional Approach to the Verification of Hybrid Systems

Theory and Practice of Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-30734-3_8 ◽

2016 ◽

pp. 88-103 ◽

Cited By ~ 5

Author(s):

Lăcrămioara Aştefănoaei ◽

Saddek Bensalem ◽

Marius Bozga

Keyword(s):

Hybrid Systems ◽

Compositional Approach ◽

Verification Of Hybrid Systems

Download Full-text

A SOC-Based Formal Specification and Verification of Hybrid Systems

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-319-28114-8_9 ◽

2015 ◽

pp. 151-169

Author(s):

Ning Yu ◽

Martin Wirsing

Keyword(s):

Hybrid Systems ◽

Formal Specification ◽

Formal Specification And Verification ◽

Verification Of Hybrid Systems ◽

Specification And Verification

Download Full-text

Verification of Hybrid Systems via Mathematical Programming

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science ◽

10.1007/3-540-48983-5_7 ◽

1999 ◽

pp. 31-45 ◽

Cited By ~ 46

Author(s):

Alberto Bemporad ◽

Manfred Morari

Keyword(s):

Mathematical Programming ◽

Hybrid Systems ◽

Verification Of Hybrid Systems

Download Full-text

Introduction to the Analysis and Verification of Hybrid Systems

Modelling, Analysis, and Design of Hybrid Systems - Lecture Notes in Control and Information Sciences ◽

10.1007/3-540-45426-8_9 ◽

2007 ◽

pp. 153-171 ◽

Cited By ~ 7

Author(s):

Stefan Kowalewski

Keyword(s):

Hybrid Systems ◽

Verification Of Hybrid Systems

Download Full-text

Verification of hybrid systems: formalization and proof rules in PVS

Proceedings Seventh IEEE International Conference on Engineering of Complex Computer Systems ◽

10.1109/iceccs.2001.930163 ◽

2002 ◽

Cited By ~ 4

Author(s):

E. Abraham-Mumm ◽

U. Hannemann ◽

M. Steffen

Keyword(s):

Hybrid Systems ◽

Proof Rules ◽

Verification Of Hybrid Systems

Download Full-text

Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science ◽

10.1007/3-540-46430-1_10 ◽

2000 ◽

pp. 73-88 ◽

Cited By ~ 66

Author(s):

Oleg Botchkarev ◽

Stavros Tripakis

Keyword(s):

Hybrid Systems ◽

Differential Inclusions ◽

Linear Differential Inclusions ◽

Ellipsoidal Approximations ◽

Verification Of Hybrid Systems ◽

Linear Differential

Download Full-text

Safety Verification of Hybrid Systems Using Barrier Certificates

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24743-2_32 ◽

2004 ◽

pp. 477-492 ◽

Cited By ~ 167

Author(s):

Stephen Prajna ◽

Ali Jadbabaie

Keyword(s):

Hybrid Systems ◽

Safety Verification ◽

Verification Of Hybrid Systems

Download Full-text

Automatic verification of hybrid systems: an audio control protocol

Proceedings SCCC'98. 18th International Conference of the Chilean Society of Computer Science (Cat. No.98EX212) ◽

10.1109/sccc.1998.730798 ◽

2002 ◽

Author(s):

L.R.S. Abbate

Keyword(s):

Hybrid Systems ◽

Automatic Verification ◽

Control Protocol ◽

Verification Of Hybrid Systems

Download Full-text

An algorithmic approach to global asymptotic stability verification of hybrid systems

Proceedings of the 13th International Conference on Embedded Software - EMSOFT '16 ◽

10.1145/2968478.2968483 ◽

2016 ◽

Author(s):

Pavithra Prabhakar ◽

Miriam García Soto

Keyword(s):

Asymptotic Stability ◽

Hybrid Systems ◽

Global Asymptotic Stability ◽

Algorithmic Approach ◽

Verification Of Hybrid Systems

Download Full-text

Exact safety verification of hybrid systems using sums-of-squares representation

Science China Information Sciences ◽

10.1007/s11432-013-4961-z ◽

2013 ◽

Vol 57 (5) ◽

pp. 1-13 ◽

Cited By ~ 8

Author(s):

Wang Lin ◽

Min Wu ◽

ZhengFeng Yang ◽

ZhenBing Zeng

Keyword(s):

Hybrid Systems ◽

Sums Of Squares ◽

Safety Verification ◽

Verification Of Hybrid Systems

Download Full-text