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

Multiple agent hybrid control architecture

1993 ◽  
pp. 297-316 ◽  
Author(s):  
Anil Nerode ◽  
Wolf Kohn
Keyword(s):  
Hybrid Control ◽  
Control Architecture ◽  
Multiple Agent ◽  
Hybrid Control Architecture

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

An extended duration calculus for hybrid real-time systems

1993 ◽  
pp. 36-59 ◽  
Author(s):  
Zhou Chaochen ◽  
Anders P. Ravn ◽  
Michael R. Hansen
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Duration Calculus ◽  
Extended Duration ◽  
Time Systems

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

Models for hybrid systems: Automata, topologies, controllability, observability

1993 ◽  
pp. 317-356 ◽  
Author(s):  
Anil Nerode ◽  
Wolf Kohn
Keyword(s):  
Hybrid Systems

Introduction

1993 ◽  
pp. 1-3 ◽  
Author(s):  
R.Ł. Grossman ◽  
A. Nerode ◽  
A. Ravn ◽  
H. Rischel

Hybrid models with fairness and distributed clocks

1993 ◽  
pp. 103-119 ◽  
Author(s):  
Reino Kurki-Suonio
Keyword(s):  
Hybrid Models
Load More ...
Sign in / Sign up

Export Citation Format

Share Document