Hybrid Systems: Computation and Control - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540251088, 9783540319542

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Sensor/Actuator Abstractions for Symbolic Embedded Control Design

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31954-2_41 ◽

2005 ◽

pp. 640-654 ◽

Cited By ~ 2

Author(s):

Paulo Tabuada

Keyword(s):

Control Design ◽

Embedded Control ◽

Sensor Actuator

Download Full-text

Position and Force Control of Nonsmooth Lagrangian Dynamical Systems Without Friction

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31954-2_14 ◽

2005 ◽

pp. 215-225 ◽

Cited By ~ 3

Author(s):

Sophie Chareyron ◽

Pierre-Brice Wieber

Keyword(s):

Dynamical Systems ◽

Force Control

Download Full-text

Comparison of Four Procedures for the Identification of Hybrid Systems

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31954-2_23 ◽

2005 ◽

pp. 354-369 ◽

Cited By ~ 58

Author(s):

Aleksandar Lj. Juloski ◽

W. P. M. H. Heemels ◽

Giancarlo Ferrari-Trecate ◽

René Vidal ◽

Simone Paoletti ◽

...

Keyword(s):

Hybrid Systems

Download Full-text

On the Stabilisation of Switching Electrical Power Converters

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31954-2_12 ◽

2005 ◽

pp. 184-197 ◽

Cited By ~ 45

Author(s):

Jean Buisson ◽

Pierre-Yves Richard ◽

Hervé Cormerais

Keyword(s):

Power Converters ◽

Electrical Power

Download Full-text

Primal–Dual Tests for Safety and Reachability

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31954-2_35 ◽

2005 ◽

pp. 542-556 ◽

Cited By ~ 10

Author(s):

Stephen Prajna ◽

Anders Rantzer

Keyword(s):

Primal Dual

Download Full-text

Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in Escherichia coli

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31954-2_9 ◽

2005 ◽

pp. 134-150 ◽

Cited By ~ 16

Author(s):

Grégory Batt ◽

Delphine Ropers ◽

Hidde de Jong ◽

Johannes Geiselmann ◽

Michel Page ◽

...

Keyword(s):

Escherichia Coli ◽

Stress Response ◽

Qualitative Analysis ◽

Regulatory Networks ◽

Nutritional Stress ◽

Hybrid Models ◽

Genetic Regulatory Networks

Download Full-text

A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31954-2_31 ◽

2005 ◽

pp. 480-494 ◽

Cited By ~ 52

Author(s):

Ian M. Mitchell ◽

Jeremy A. Templeton

Keyword(s):

Hybrid Systems

Download Full-text

An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31954-2_24 ◽

2005 ◽

pp. 370-385 ◽

Cited By ~ 5

Author(s):

Rajesh Kumar ◽

Bruce H. Krogh ◽

Peter Feiler

Keyword(s):

Control Systems ◽

Embedded Control ◽

Embedded Control Systems

Download Full-text

Coordinated Control for Highly Reconfigurable Systems

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31954-2_1 ◽

2005 ◽

pp. 1-24 ◽

Cited By ~ 5

Author(s):

Markus P. J. Fromherz ◽

Lara S. Crawford ◽

Haitham A. Hindi

Keyword(s):

Coordinated Control ◽

Reconfigurable Systems

Download Full-text

Learning Multi-modal Control Programs

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31954-2_30 ◽

2005 ◽

pp. 466-479 ◽

Cited By ~ 4

Author(s):

Tejas R. Mehta ◽

Magnus Egerstedt

Keyword(s):

Modal Control ◽

Control Programs

Download Full-text

Hybrid Systems: Computation and Control - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Sensor/Actuator Abstractions for Symbolic Embedded Control Design

Position and Force Control of Nonsmooth Lagrangian Dynamical Systems Without Friction

Comparison of Four Procedures for the Identification of Hybrid Systems

On the Stabilisation of Switching Electrical Power Converters

Primal–Dual Tests for Safety and Reachability

Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in Escherichia coli

A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems

An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems

Coordinated Control for Highly Reconfigurable Systems

Learning Multi-modal Control Programs

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science
Latest Publications