Hybrid Systems II - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540604723, 9783540475194

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Control of continuous plants by symbolic output feedback

Hybrid Systems II - Lecture Notes in Computer Science ◽

10.1007/3-540-60472-3_19 ◽

1995 ◽

pp. 370-390 ◽

Cited By ~ 25

Author(s):

Jörg Raisch

Keyword(s):

Output Feedback

Download Full-text

Modeling and stability issues in hybrid systems

Hybrid Systems II - Lecture Notes in Computer Science ◽

10.1007/3-540-60472-3_8 ◽

1995 ◽

pp. 148-165 ◽

Cited By ~ 9

Author(s):

Murat Doğruel ◽

ümit özgüner

Keyword(s):

Hybrid Systems ◽

Stability Issues

Download Full-text

Hybrid control of a robot — a case study

Hybrid Systems II - Lecture Notes in Computer Science ◽

10.1007/3-540-60472-3_20 ◽

1995 ◽

pp. 391-404 ◽

Cited By ~ 4

Author(s):

Anders P. Ravn ◽

Hans Rischel ◽

Michael Holdgaard ◽

Thomas J. Eriksen ◽

Finn Conrad ◽

...

Keyword(s):

Hybrid Control

Download Full-text

Hierarchical hybrid control: a case study

Hybrid Systems II - Lecture Notes in Computer Science ◽

10.1007/3-540-60472-3_9 ◽

1995 ◽

pp. 166-190 ◽

Cited By ~ 12

Author(s):

Datta N. Godbole ◽

John Lygeros ◽

Shankar Sastry

Keyword(s):

Hybrid Control

Download Full-text

On the automatic verification of systems with continuous variables and unbounded discrete data structures

Hybrid Systems II - Lecture Notes in Computer Science ◽

10.1007/3-540-60472-3_4 ◽

1995 ◽

pp. 64-85 ◽

Cited By ~ 30

Author(s):

Ahmed Bouajjani ◽

Rachid Echahed ◽

Riadh Robbana

Keyword(s):

Data Structures ◽

Discrete Data ◽

Automatic Verification ◽

Continuous Variables

Download Full-text

Condensation of information from signals for process modeling and control

Hybrid Systems II - Lecture Notes in Computer Science ◽

10.1007/3-540-60472-3_3 ◽

1995 ◽

pp. 45-63 ◽

Cited By ~ 1

Author(s):

J. D. Birdwell ◽

B. C. Moore

Keyword(s):

Process Modeling ◽

Modeling And Control ◽

And Control

Download Full-text

Semantics and verification of hierarchical CRP programs

Hybrid Systems II - Lecture Notes in Computer Science ◽

10.1007/3-540-60472-3_23 ◽

1995 ◽

pp. 436-461 ◽

Cited By ~ 1

Author(s):

R. K. Shyamasundar ◽

S. Ramesh

Download Full-text

Verifying time-bounded properties for ELECTRE reactive programs with stopwatch automata

Hybrid Systems II - Lecture Notes in Computer Science ◽

10.1007/3-540-60472-3_21 ◽

1995 ◽

pp. 405-416 ◽

Cited By ~ 5

Author(s):

Olivier Roux ◽

Vlad Rusu

Keyword(s):

Reactive Programs

Download Full-text

DEVS framework for modelling, simulation, analysis, and design of hybrid systems

Hybrid Systems II - Lecture Notes in Computer Science ◽

10.1007/3-540-60472-3_27 ◽

1995 ◽

pp. 529-551 ◽

Cited By ~ 13

Author(s):

Bernard P. Zeigler ◽

Hae Sang Song ◽

Tag Gon Kim ◽

Herbert Praehofer

Keyword(s):

Hybrid Systems ◽

Simulation Analysis ◽

Analysis And Design ◽

Modelling Simulation

Download Full-text

Interface and controller design for hybrid control systems

Hybrid Systems II - Lecture Notes in Computer Science ◽

10.1007/3-540-60472-3_24 ◽

1995 ◽

pp. 462-492 ◽

Cited By ~ 14

Author(s):

James A. Stiver ◽

Panos J. Antsaklis ◽

Michael D. Lemmon

Keyword(s):

Control Systems ◽

Controller Design ◽

Hybrid Control ◽

Hybrid Control Systems

Download Full-text

Hybrid Systems II - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Control of continuous plants by symbolic output feedback

Modeling and stability issues in hybrid systems

Hybrid control of a robot — a case study

Hierarchical hybrid control: a case study

On the automatic verification of systems with continuous variables and unbounded discrete data structures

Condensation of information from signals for process modeling and control

Semantics and verification of hierarchical CRP programs

Verifying time-bounded properties for ELECTRE reactive programs with stopwatch automata

DEVS framework for modelling, simulation, analysis, and design of hybrid systems

Interface and controller design for hybrid control systems

Hybrid Systems II - Lecture Notes in Computer Science
Latest Publications