Hybrid Systems III - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

48
(FIVE YEARS 0)

H-INDEX

13
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540611554, 9783540683346
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

UPPAAL — a tool suite for automatic verification of real-time systems

1996 ◽  
pp. 232-243 ◽  
Author(s):  
Johan Bengtsson ◽  
Kim Larsen ◽  
Fredrik Larsson ◽  
Paul Pettersson ◽  
Wang Yi
Keyword(s):  
Real Time ◽  
Automatic Verification ◽  
Real Time Systems ◽  
Time Systems

Verification of automated vehicle protection systems

1996 ◽  
pp. 101-113 ◽  
Author(s):  
H. B. Weinberg ◽  
Nancy Lynch ◽  
Norman Delisle
Keyword(s):  
Automated Vehicle ◽  
Protection Systems

Model and stability of hybrid linear system

1996 ◽  
pp. 424-435 ◽  
Author(s):  
Hong Seong Park ◽  
Young Sin Kim ◽  
Wook Hyun Kwon ◽  
Sang Jeong Lee
Keyword(s):  
Linear System

Fischer's protocol revisited: A simple proof using modal constraints

1996 ◽  
pp. 604-615 ◽  
Author(s):  
Kim G. Larsen ◽  
Bernhard Steffen ◽  
Carsten Weise
Keyword(s):  
Simple Proof

Verification of hybrid systems: Monotonicity in the AHS control system

1996 ◽  
pp. 161-172 ◽  
Author(s):  
John A. Haddon ◽  
Datta N. Godbole ◽  
Akash Deshpande ◽  
John Lygeros
Keyword(s):  
Control System ◽  
Hybrid Systems ◽  
Verification Of Hybrid Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document