Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450312202

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Computing bounded reach sets from sampled simulation traces

Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12 ◽

10.1145/2185632.2185676 ◽

2012 ◽

Cited By ~ 14

Author(s):

Zhenqi Huang ◽

Sayan Mitra

Download Full-text

Compositional safety analysis using barrier certificates

Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12 ◽

10.1145/2185632.2185639 ◽

2012 ◽

Cited By ~ 31

Author(s):

Christoffer Sloth ◽

George J. Pappas ◽

Rafael Wisniewski

Keyword(s):

Safety Analysis

Download Full-text

Formal methods for dynamical systems

Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12 ◽

10.1145/2185632.2185636 ◽

2012 ◽

Author(s):

Calin Belta

Keyword(s):

Dynamical Systems ◽

Formal Methods

Download Full-text

Falsification of temporal properties of hybrid systems using the cross-entropy method

Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12 ◽

10.1145/2185632.2185653 ◽

2012 ◽

Cited By ~ 45

Author(s):

Sriram Sankaranarayanan ◽

Georgios Fainekos

Keyword(s):

Hybrid Systems ◽

Entropy Method ◽

Cross Entropy ◽

Temporal Properties ◽

Cross Entropy Method ◽

The Cross

Download Full-text

Stabilizing bit-rates in quantized event triggered control systems

Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12 ◽

10.1145/2185632.2185669 ◽

2012 ◽

Cited By ~ 23

Author(s):

Lichun Li ◽

Xiaofeng Wang ◽

Michael Lemmon

Keyword(s):

Control Systems ◽

Event Triggered

Download Full-text

Parameter estimation for stochastic hybrid models of biochemical reaction networks

Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12 ◽

10.1145/2185632.2185657 ◽

2012 ◽

Cited By ~ 6

Author(s):

Linar Mikeev ◽

Verena Wolf

Keyword(s):

Parameter Estimation ◽

Hybrid Models ◽

Biochemical Reaction ◽

Reaction Networks ◽

Biochemical Reaction Networks

Download Full-text

Lyapunov abstractions for inevitability of hybrid systems

Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12 ◽

10.1145/2185632.2185652 ◽

2012 ◽

Cited By ~ 11

Author(s):

Parasara Sridhar Duggirala ◽

Sayan Mitra

Keyword(s):

Hybrid Systems

Download Full-text

On synthesizing robust discrete controllers under modeling uncertainty

Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12 ◽

10.1145/2185632.2185648 ◽

2012 ◽

Cited By ~ 17

Author(s):

Ufuk Topcu ◽

Necmiye Ozay ◽

Jun Liu ◽

Richard M. Murray

Keyword(s):

Modeling Uncertainty

Download Full-text

Low complexity resilient consensus in networked multi-agent systems with adversaries

Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12 ◽

10.1145/2185632.2185637 ◽

2012 ◽

Cited By ~ 18

Author(s):

Heath J. LeBlanc ◽

Xenofon D. Koutsoukos

Keyword(s):

Low Complexity ◽

Multi Agent Systems ◽

Agent Systems ◽

Multi Agent

Download Full-text

Avoiding geometric intersection operations in reachability analysis of hybrid systems

Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12 ◽

10.1145/2185632.2185643 ◽

2012 ◽

Cited By ~ 19

Author(s):

Matthias Althoff ◽

Bruce H. Krogh

Keyword(s):

Hybrid Systems ◽

Reachability Analysis

Download Full-text

Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Computing bounded reach sets from sampled simulation traces

Compositional safety analysis using barrier certificates

Formal methods for dynamical systems

Falsification of temporal properties of hybrid systems using the cross-entropy method

Stabilizing bit-rates in quantized event triggered control systems

Parameter estimation for stochastic hybrid models of biochemical reaction networks

Lyapunov abstractions for inevitability of hybrid systems

On synthesizing robust discrete controllers under modeling uncertainty

Low complexity resilient consensus in networked multi-agent systems with adversaries

Avoiding geometric intersection operations in reachability analysis of hybrid systems

Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12
Latest Publications