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

9783540714927, 9783540714934

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On Self-triggered Full-Information H-Infinity Controllers

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

10.1007/978-3-540-71493-4_30 ◽

2007 ◽

pp. 371-384 ◽

Cited By ~ 52

Author(s):

Michael Lemmon ◽

Thidapat Chantem ◽

Xiaobo Sharon Hu ◽

Matthew Zyskowski

Keyword(s):

Full Information ◽

H Infinity

Download Full-text

A Heuristic Predictive Logic Controller Applied to Hybrid Solar Air Conditioning Plant

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

10.1007/978-3-540-71493-4_84 ◽

2007 ◽

pp. 783-786

Author(s):

Darine Zambrano ◽

Winston García-Gabín ◽

Eduardo F. Camacho

Keyword(s):

Air Conditioning

Download Full-text

State Nullification of Switched Systems by Linear Output Feedback

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

10.1007/978-3-540-71493-4_82 ◽

2007 ◽

pp. 775-778

Author(s):

Gera Weiss

Keyword(s):

Output Feedback ◽

Switched Systems

Download Full-text

Reachability Analysis of a Switched Buffer Network

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

10.1007/978-3-540-71493-4_64 ◽

2007 ◽

pp. 698-701 ◽

Cited By ~ 2

Author(s):

Goran Frehse ◽

Oded Maler

Keyword(s):

Reachability Analysis

Download Full-text

A Method for the Design of Optimal Switching Surfaces for Autonomous Hybrid Systems

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

10.1007/978-3-540-71493-4_53 ◽

2007 ◽

pp. 650-655 ◽

Cited By ~ 3

Author(s):

Mauro Boccadoro ◽

Paolo Valigi ◽

Yorai Wardi

Keyword(s):

Hybrid Systems ◽

Optimal Switching

Download Full-text

Viability-Based Computations of Solutions to the Hamilton-Jacobi-Bellman Equation

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

10.1007/978-3-540-71493-4_52 ◽

2007 ◽

pp. 645-649 ◽

Cited By ~ 6

Author(s):

Alexandre M. Bayen ◽

Christian Claudel ◽

Patrick Saint-Pierre

Keyword(s):

Bellman Equation ◽

Hamilton Jacobi Bellman Equation ◽

Hamilton Jacobi Bellman

Download Full-text

Stabilization of Limit Cycles of Discretely Controlled Continuous Systems by Controlling Switching Surfaces

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

10.1007/978-3-540-71493-4_40 ◽

2007 ◽

pp. 515-528 ◽

Cited By ~ 6

Author(s):

Axel Schild ◽

Jan Lunze

Keyword(s):

Limit Cycles ◽

Continuous Systems

Download Full-text

Impulse Differential Inclusions Driven by Discrete Measures

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

10.1007/978-3-540-71493-4_31 ◽

2007 ◽

pp. 385-398 ◽

Cited By ~ 5

Author(s):

John Lygeros ◽

Marc Quincampoix ◽

Tadeusz Rzezuchowski

Keyword(s):

Differential Inclusions ◽

Discrete Measures

Download Full-text

Learning Cycle-Linear Hybrid Automata for Excitable Cells

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

10.1007/978-3-540-71493-4_21 ◽

2007 ◽

pp. 245-258 ◽

Cited By ~ 12

Author(s):

R. Grosu ◽

S. Mitra ◽

P. Ye ◽

E. Entcheva ◽

I. V. Ramakrishnan ◽

...

Keyword(s):

Learning Cycle ◽

Hybrid Automata ◽

Excitable Cells ◽

Linear Hybrid Automata

Download Full-text

The Image Computation Problem in Hybrid Systems Model Checking

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

10.1007/978-3-540-71493-4_37 ◽

2007 ◽

pp. 473-486 ◽

Cited By ~ 35

Author(s):

André Platzer ◽

Edmund M. Clarke

Keyword(s):

Model Checking ◽

Hybrid Systems ◽

Systems Model ◽

Image Computation

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

On Self-triggered Full-Information H-Infinity Controllers

A Heuristic Predictive Logic Controller Applied to Hybrid Solar Air Conditioning Plant

State Nullification of Switched Systems by Linear Output Feedback

Reachability Analysis of a Switched Buffer Network

A Method for the Design of Optimal Switching Surfaces for Autonomous Hybrid Systems

Viability-Based Computations of Solutions to the Hamilton-Jacobi-Bellman Equation

Stabilization of Limit Cycles of Discretely Controlled Continuous Systems by Controlling Switching Surfaces

Impulse Differential Inclusions Driven by Discrete Measures

Learning Cycle-Linear Hybrid Automata for Excitable Cells

The Image Computation Problem in Hybrid Systems Model Checking

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