ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Template complex zonotopes: a new set representation for verification of hybrid systems
2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR)
◽
10.1109/snr.2016.7479379
◽
2016
◽
Cited By ~ 1
Author(s):
Arvind S. Adimoolam
◽
Thao Dang
Keyword(s):
Hybrid Systems
◽
Verification Of Hybrid Systems
◽
Template Complex
Download Full-text
Related Documents
Cited By
References
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
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close