Hybrid Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

13
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540573180, 9783540480600
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Hybrid Systems: the SIGNAL approach

1993 ◽  
pp. 230-254 ◽  
Author(s):  
Albert Benveniste ◽  
Michel Le Borgne ◽  
Paul Le Guernic
Keyword(s):  
Hybrid Systems ◽  
Signal Approach

Verifying hybrid systems

1993 ◽  
pp. 4-35 ◽  
Author(s):  
Zohar Manna ◽  
Amir Pnueli
Keyword(s):  
Hybrid Systems

A dynamical simulation facility for hybrid systems

1993 ◽  
pp. 255-267 ◽  
Author(s):  
Allen Back ◽  
John Guckenheimer ◽  
Mark Myers
Keyword(s):  
Hybrid Systems ◽  
Dynamical Simulation

Integration Graphs: A class of decidable hybrid systems

1993 ◽  
pp. 179-208 ◽  
Author(s):  
Y. Kesten ◽  
A. Pnueli ◽  
J. Sifakis ◽  
S. Yovine
Keyword(s):  
Hybrid Systems

Introduction

1993 ◽  
pp. 1-3 ◽  
Author(s):  
R.Ł. Grossman ◽  
A. Nerode ◽  
A. Ravn ◽  
H. Rischel
Load More ...
Sign in / Sign up

Export Citation Format

Share Document