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

9783540009139, 9783540365808

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Modeling and Control of SMT Manufacturing Lines Using Hybrid Dynamic Systems

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

10.1007/3-540-36580-x_8 ◽

2003 ◽

pp. 66-80 ◽

Cited By ~ 1

Author(s):

L. G. Barajas ◽

A. Kansal ◽

A. Saxena ◽

M. Egerstedt ◽

A. Goldstein ◽

...

Keyword(s):

Dynamic Systems ◽

Modeling And Control ◽

And Control

Download Full-text

The Ö-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems

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

10.1007/3-540-36580-x_32 ◽

2003 ◽

pp. 435-449 ◽

Cited By ~ 19

Author(s):

William C. Rounds ◽

Hosung Song

Keyword(s):

Embedded Systems ◽

Distributed Control

Download Full-text

A Greedy Approach to Identification of Piecewise Affine Models

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

10.1007/3-540-36580-x_10 ◽

2003 ◽

pp. 97-112 ◽

Cited By ~ 30

Author(s):

Alberto Bemporad ◽

Andrea Garulli ◽

Simone Paoletti ◽

Antonio Vicino

Keyword(s):

Greedy Approach ◽

Piecewise Affine ◽

Affine Models

Download Full-text

A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems

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

10.1007/3-540-36580-x_11 ◽

2003 ◽

pp. 113-125 ◽

Cited By ~ 14

Author(s):

Richard J. Boulton ◽

Ruth Hardy ◽

Ursula Martin

Keyword(s):

Control Systems ◽

Continuous Time ◽

Hoare Logic ◽

Single Input Single Output ◽

Single Output ◽

Time Control ◽

Single Input

Download Full-text

Modeling the Electrical Activity of a Neuron by a Continuous and Piecewise Affine Hybrid System

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

10.1007/3-540-36580-x_14 ◽

2003 ◽

pp. 156-171 ◽

Cited By ~ 3

Author(s):

Jean-Guillaume Dumas ◽

Aude Rondepierre

Keyword(s):

Electrical Activity ◽

Hybrid System ◽

Piecewise Affine

Download Full-text

Results and Perspectives on Computational Methods for Optimal Control of Switched Systems

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

10.1007/3-540-36580-x_39 ◽

2003 ◽

pp. 540-555 ◽

Cited By ~ 56

Author(s):

Xuping Xu ◽

Panos J. Antsaklis

Keyword(s):

Optimal Control ◽

Computational Methods ◽

Switched Systems

Download Full-text

Universality and Language Inclusion for Open and Closed Timed Automata

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

10.1007/3-540-36580-x_28 ◽

2003 ◽

pp. 375-388 ◽

Cited By ~ 13

Author(s):

Joël Ouaknine ◽

James Worrell

Keyword(s):

Timed Automata

Download Full-text

Efficient Representation and Computation of Reachable Sets for Hybrid Systems

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

10.1007/3-540-36580-x_35 ◽

2003 ◽

pp. 482-497 ◽

Cited By ~ 57

Author(s):

Olaf Stursberg ◽

Bruce H. Krogh

Keyword(s):

Hybrid Systems ◽

Reachable Sets ◽

Efficient Representation

Download Full-text

Event Prediction for Switching Linear Systems with Time Varying Thresholds Using Orthogonal Functions

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

10.1007/3-540-36580-x_24 ◽

2003 ◽

pp. 314-327

Author(s):

Andreas Kwiatkowski ◽

Gerwald Lichtenberg ◽

Axel Schild

Keyword(s):

Linear Systems ◽

Time Varying ◽

Orthogonal Functions ◽

Event Prediction

Download Full-text

Reachability Analysis of Nonlinear Systems Using Conservative Approximation

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

10.1007/3-540-36580-x_5 ◽

2003 ◽

pp. 20-35 ◽

Cited By ~ 61

Author(s):

Eugene Asarin ◽

Thao Dang ◽

Antoine Girard

Keyword(s):

Nonlinear Systems ◽

Reachability Analysis ◽

Conservative Approximation

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Modeling and Control of SMT Manufacturing Lines Using Hybrid Dynamic Systems

The Ö-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems

A Greedy Approach to Identification of Piecewise Affine Models

A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems

Modeling the Electrical Activity of a Neuron by a Continuous and Piecewise Affine Hybrid System

Results and Perspectives on Computational Methods for Optimal Control of Switched Systems

Universality and Language Inclusion for Open and Closed Timed Automata

Efficient Representation and Computation of Reachable Sets for Hybrid Systems

Event Prediction for Switching Linear Systems with Time Varying Thresholds Using Orthogonal Functions

Reachability Analysis of Nonlinear Systems Using Conservative Approximation

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