Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15
Latest Publications

TOTAL DOCUMENTS

45

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By ACM Press

9781450334334

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Eliminating spurious transitions in reachability with support functions

Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 ◽

10.1145/2728606.2728622 ◽

2015 ◽

Author(s):

Goran Frehse ◽

Sergiy Bogomolov ◽

Marius Greitschus ◽

Thomas Strump ◽

Andreas Podelski

Keyword(s):

Support Functions

Download Full-text

Parallel state space exploration of linear systems with inputs using XSpeed

Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 ◽

10.1145/2728606.2728644 ◽

2015 ◽

Author(s):

Rajarshi Ray ◽

Amit Gurung

Keyword(s):

State Space ◽

Linear Systems ◽

Space Exploration ◽

State Space Exploration

Download Full-text

First steps toward formal controller synthesis for bipedal robots

Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 ◽

10.1145/2728606.2728611 ◽

2015 ◽

Author(s):

Aaron D. Ames ◽

Paulo Tabuada ◽

Bastian Schürmann ◽

Wen-Loong Ma ◽

Shishir Kolathaya ◽

...

Keyword(s):

Controller Synthesis ◽

Download Full-text

Symbolic control of monotone systems application to ventilation regulation in buildings

Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 ◽

10.1145/2728606.2728637 ◽

2015 ◽

Author(s):

Pierre-Jean Meyer ◽

Antoine Girard ◽

Emmanuel Witrant

Keyword(s):

Monotone Systems ◽

Symbolic Control

Download Full-text

Counterexample-guided stabilization of switched systems using control lyapunov functions

Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 ◽

10.1145/2728606.2728647 ◽

2015 ◽

Author(s):

Hadi Ravanbakhsh ◽

Sriram Sankaranarayanan

Keyword(s):

Switched Systems ◽

Lyapunov Functions

Download Full-text

What's decidable about recursive hybrid automata?

Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 ◽

10.1145/2728606.2728624 ◽

2015 ◽

Author(s):

Shankara Narayanan Krishna ◽

Lakshmi Manasa ◽

Ashutosh Trivedi

Keyword(s):

Hybrid Automata

Download Full-text

Vulnerability analysis of dynamical power networks to stochastic link failure attacks

Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 ◽

10.1145/2728606.2728614 ◽

2015 ◽

Author(s):

Sai Pushpak ◽

Amit Diwadkar ◽

Umesh Vaidya

Keyword(s):

Vulnerability Analysis ◽

Link Failure ◽

Download Full-text

Dynamic scheduling for networked control systems

Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 ◽

10.1145/2728606.2728636 ◽

2015 ◽

Author(s):

Indranil Saha ◽

Sanjoy Baruah ◽

Rupak Majumdar

Keyword(s):

Control Systems ◽

Dynamic Scheduling ◽

Networked Control Systems ◽

Networked Control

Download Full-text

Enforcing temporal logic specifications via reinforcement learning

Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 ◽

10.1145/2728606.2728640 ◽

2015 ◽

Author(s):

Austin Jones ◽

Derya Aksaray ◽

Zhaodan Kong ◽

Mac Schwager ◽

Calin Belta

Keyword(s):

Reinforcement Learning ◽

Download Full-text

Efficient finite abstraction of mixed monotone systems

Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 ◽

10.1145/2728606.2728607 ◽

2015 ◽

Author(s):

Samuel Coogan ◽

Murat Arcak

Keyword(s):

Monotone Systems

Download Full-text