Proceedings of the 13th ACM international conference on Hybrid systems: computation and control - HSCC '10

2010 ◽

Cited By ~ 5

Author(s):

Florian Kerber ◽

Arjan van der Schaft

Keyword(s):

Control Systems ◽

Compositional Analysis ◽

Linear Control ◽

Linear Control Systems

Download Full-text

Identifiability of discrete-time linear switched systems

Proceedings of the 13th ACM international conference on Hybrid systems: computation and control - HSCC '10 ◽

10.1145/1755952.1755973 ◽

2010 ◽

Cited By ~ 8

Author(s):

Mihaly Petreczky ◽

Laurent Bako ◽

Jan H. van Schuppen

Keyword(s):

Discrete Time ◽

Switched Systems ◽

Time Linear

Download Full-text

Distributed Kalman Filter algorithms for self-localization of mobile devices

Proceedings of the 13th ACM international conference on Hybrid systems: computation and control - HSCC '10 ◽

10.1145/1755952.1755980 ◽

2010 ◽

Cited By ~ 2

Author(s):

Anne-Kathrin Hess ◽

Anders Rantzer

Keyword(s):

Kalman Filter ◽

Mobile Devices ◽

Filter Algorithms

Download Full-text

Comparison of overapproximation methods for stability analysis of networked control systems

Proceedings of the 13th ACM international conference on Hybrid systems: computation and control - HSCC '10 ◽

10.1145/1755952.1755979 ◽

2010 ◽

Cited By ~ 31

Author(s):

W P.M.H. Heemels ◽

Nathan van de Wouw ◽

Rob H. Gielen ◽

M. C.F. Donkers ◽

Laurentiu Hetel ◽

...

Keyword(s):

Stability Analysis ◽

Control Systems ◽

Networked Control Systems ◽

Networked Control

Download Full-text

A generating function approach to the stability of discrete-time switched linear systems

Proceedings of the 13th ACM international conference on Hybrid systems: computation and control - HSCC '10 ◽

10.1145/1755952.1755991 ◽

2010 ◽

Cited By ~ 3

Author(s):

Jianghai Hu ◽

Jinglai Shen ◽

Wei Zhang

Keyword(s):

Linear Systems ◽

Generating Function ◽

Discrete Time ◽

Function Approach ◽

Switched Linear Systems ◽

The Stability

Download Full-text

Stealthy deception attacks on water SCADA systems

Proceedings of the 13th ACM international conference on Hybrid systems: computation and control - HSCC '10 ◽

10.1145/1755952.1755976 ◽

2010 ◽

Cited By ~ 32

Author(s):

Saurabh Amin ◽

Xavier Litrico ◽

S. Shankar Sastry ◽

Alexandre M. Bayen

Keyword(s):

Scada Systems

Download Full-text

Receding horizon control for temporal logic specifications

Proceedings of the 13th ACM international conference on Hybrid systems: computation and control - HSCC '10 ◽

10.1145/1755952.1755968 ◽

2010 ◽

Cited By ~ 55

Author(s):

Tichakorn Wongpiromsarn ◽

Ufuk Topcu ◽

Richard M. Murray

Keyword(s):

Temporal Logic ◽

Receding Horizon Control ◽

Receding Horizon

Download Full-text

A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems

Proceedings of the 13th ACM international conference on Hybrid systems: computation and control - HSCC '10 ◽

10.1145/1755952.1755961 ◽

2010 ◽

Cited By ~ 22

Author(s):

Humberto Gonzalez ◽

Ram Vasudevan ◽

Maryam Kamgarpour ◽

S. Shankar Sastry ◽

Ruzena Bajcsy ◽

...

Keyword(s):

Optimal Control ◽

Dynamical Systems ◽

Descent Algorithm

Download Full-text

Automatic invariant generation for hybrid systems using ideal fixed points

Proceedings of the 13th ACM international conference on Hybrid systems: computation and control - HSCC '10 ◽

10.1145/1755952.1755984 ◽

2010 ◽

Cited By ~ 28

Author(s):

Sriram Sankaranarayanan

Keyword(s):

Fixed Points ◽

Hybrid Systems ◽

Invariant Generation

Download Full-text

Timed automata with observers under energy constraints

Proceedings of the 13th ACM international conference on Hybrid systems: computation and control - HSCC '10 ◽

10.1145/1755952.1755963 ◽

2010 ◽

Cited By ~ 23

Author(s):

Patricia Bouyer ◽

Uli Fahrenberg ◽

Kim G. Larsen ◽

Nicolas Markey

Keyword(s):

Timed Automata ◽

Energy Constraints

Download Full-text

Proceedings of the 13th ACM international conference on Hybrid systems: computation and control - HSCC '10
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Compositional analysis for linear control systems

Identifiability of discrete-time linear switched systems

Distributed Kalman Filter algorithms for self-localization of mobile devices

Comparison of overapproximation methods for stability analysis of networked control systems

A generating function approach to the stability of discrete-time switched linear systems

Stealthy deception attacks on water SCADA systems

Receding horizon control for temporal logic specifications

A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems

Automatic invariant generation for hybrid systems using ideal fixed points

Timed automata with observers under energy constraints

Export Citation Format

Proceedings of the 13th ACM international conference on Hybrid systems: computation and control - HSCC '10Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Compositional analysis for linear control systems

Identifiability of discrete-time linear switched systems

Distributed Kalman Filter algorithms for self-localization of mobile devices

Comparison of overapproximation methods for stability analysis of networked control systems

A generating function approach to the stability of discrete-time switched linear systems

Stealthy deception attacks on water SCADA systems

Receding horizon control for temporal logic specifications

A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems

Automatic invariant generation for hybrid systems using ideal fixed points

Timed automata with observers under energy constraints

Proceedings of the 13th ACM international conference on Hybrid systems: computation and control - HSCC '10
Latest Publications