ACM Intl. Conf. on Hybrid Systems: Computation and Control, HSCC 2015


Title/Authors Title Research Artifacts
[?] A research artifact is any by-product of a research project that is not directly included in the published research paper. In Computer Science research this is often source code and data sets, but it could also be media, documentation, inputs to proof assistants, shell-scripts to run experiments, etc.
Details

Eliminating spurious transitions in reachability with support functions

Goran Frehse, Sergiy Bogomolov, Marius Greitschus, Thomas Strump, Andreas Podelski

Eliminating spurious transitions in reachability with support functions

Details
Author Comments:
Discussion Comments: 0
Sharing: Not able to share produced artifacts
Verification: Authors have verified information

Statistical verification of dynamical systems using set oriented methods

Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud

Statistical verification of dynamical systems using set oriented methods

Details
Discussion Comments: 0
Verification: Authors have not verified information

Compositional construction of approximate abstractions

Matthias Rungger, Majid Zamani

Compositional construction of approximate abstractions

Details
Discussion Comments: 0
Verification: Authors have not verified information

Symbolic control of monotone systems application to ventilation regulation in buildings

Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant

Symbolic control of monotone systems application to ventilation regulation in buildings

Details
Discussion Comments: 0
Verification: Authors have not verified information

Counterexample-guided stabilization of switched systems using control lyapunov functions

Hadi Ravanbakhsh, Sriram Sankaranarayanan

Counterexample-guided stabilization of switched systems using control lyapunov functions

Details
Author Comments:
Discussion Comments: 0
Sharing: Not able to share produced artifacts
Verification: Authors have verified information

Bounded-rate multi-mode systems based motion planning

Devendra Bhave, Sagar Jha, Shankara Narayanan Krishna, Sven Schewe, Ashutosh Trivedi

Bounded-rate multi-mode systems based motion planning

Details
Discussion Comments: 0
Verification: Authors have not verified information

Efficient finite abstraction of mixed monotone systems

Samuel Coogan, Murat Arcak

Efficient finite abstraction of mixed monotone systems

Details
Discussion Comments: 0
Verification: Authors have not verified information

Reactive synthesis from signal temporal logic specifications

Vasumathi Raman, Alexandre Donzé, Dorsa Sadigh, Richard M. Murray, Sanjit A. Seshia

Reactive synthesis from signal temporal logic specifications

Details
Discussion Comments: 0
Verification: Authors have not verified information

Vulnerability analysis of dynamical power networks to stochastic link failure attacks

Sai Pushpak, Amit Diwadkar, Umesh Vaidya

Vulnerability analysis of dynamical power networks to stochastic link failure attacks

Details
Discussion Comments: 0
Verification: Authors have not verified information

Probabilistic diagnosability of hybrid systems

Yi Deng, A. Agung Julius, Alessandro D'Innocenzo

Probabilistic diagnosability of hybrid systems

Details
Discussion Comments: 0
Verification: Authors have not verified information

Model-based design of time-triggered real-time embedded systems for digital manufacturing

Jiang Wan, Arquimedes Canedo, Mohammad Abdullah Al Faruque

Model-based design of time-triggered real-time embedded systems for digital manufacturing

Details
Discussion Comments: 0
Verification: Authors have not verified information

Dynamic scheduling for networked control systems

Indranil Saha, Sanjoy Baruah, Rupak Majumdar

Dynamic scheduling for networked control systems

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced no artifacts
Verification: Authors have verified information

First steps toward formal controller synthesis for bipedal robots

Aaron D. Ames, Paulo Tabuada, Bastian Schürmann, Wen-Loong Ma, Shishir Kolathaya, Matthias Rungger, Jessy W. Grizzle

First steps toward formal controller synthesis for bipedal robots

Details
Discussion Comments: 0
Verification: Authors have not verified information

HYST: a source transformation and translation tool for hybrid automaton models

Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson

HYST: a source transformation and translation tool for hybrid automaton models

Details
Discussion Comments: 0
Verification: Authors have not verified information

Finite state approximation for verification of partially observable stochastic hybrid systems

Kendra Lesser, Meeko Oishi

Finite state approximation for verification of partially observable stochastic hybrid systems

Details
Discussion Comments: 0
Verification: Authors have not verified information

Closed loop analysis of control command software

Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche

Closed loop analysis of control command software

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

A viability approach for fast recursive feasible finite horizon path planning of autonomous RC cars

Alexander Liniger, John Lygeros

A viability approach for fast recursive feasible finite horizon path planning of autonomous RC cars

Details
Discussion Comments: 0
Verification: Authors have not verified information

Hybrid multi-contact dynamics for wedge jumping locomotion behaviors

Ye Zhao, Donghyun Kim, Gray C. Thomas, Luis Sentis

Hybrid multi-contact dynamics for wedge jumping locomotion behaviors

Details
Discussion Comments: 0
Verification: Authors have not verified information

Computing the Skorokhod distance between polygonal traces

Rupak Majumdar, Vinayak S. Prabhu

Computing the Skorokhod distance between polygonal traces

Details
Discussion Comments: 0
Verification: Authors have not verified information

Temporal logic motion planning using POMDPs with parity objectives: case study paper

María Svorenová, Martin Chmelik, Kevin Leahy, Hasan Ferit Eniser, Krishnendu Chatterjee, Ivana Cerná, Calin Belta

Temporal logic motion planning using POMDPs with parity objectives: case study paper

Details
Discussion Comments: 0
Verification: Authors have not verified information

A stochastic hybrid system approach to aggregated load modeling for demand response

Lin Zhao, Wei Zhang

A stochastic hybrid system approach to aggregated load modeling for demand response

Details
Discussion Comments: 0
Verification: Authors have not verified information

Hybrid representation of rule-based systems

Matthew A. Clark, Kuldip S. Rattan

Hybrid representation of rule-based systems

Details
Discussion Comments: 0
Verification: Authors have not verified information

Stability and stabilization of polynomial dynamical systems using Bernstein polynomials

Mohamed Amin Ben Sassi, Sriram Sankaranarayanan

Stability and stabilization of polynomial dynamical systems using Bernstein polynomials

Details
Discussion Comments: 0
Verification: Authors have not verified information

Falsification of safety properties for closed loop control systems

Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski, Xiaoqing Jin

Falsification of safety properties for closed loop control systems

Details
Discussion Comments: 0
Verification: Authors have not verified information

Real-time control under clock offsets between sensors and controllers

Kunihisa Okano, Masashi Wakaiki, João P. Hespanha

Real-time control under clock offsets between sensors and controllers

Details
Discussion Comments: 0
Verification: Authors have not verified information

A sufficient condition for the boundedness of matrix products accepted by an automaton

Matthew Philippe, Raphaël M. Jungers

A sufficient condition for the boundedness of matrix products accepted by an automaton

Details
Discussion Comments: 0
Verification: Authors have not verified information

What's decidable about recursive hybrid automata?

Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi

What's decidable about recursive hybrid automata?

Details
Discussion Comments: 0
Verification: Authors have not verified information

Towards personalized prostate cancer therapy using delta-reachability analysis

Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke

Towards personalized prostate cancer therapy using delta-reachability analysis

Details
Discussion Comments: 0
Verification: Authors have not verified information

CyPhySim: a cyber-physical systems simulator

Christopher X. Brooks, Edward A. Lee, David Lorenzetti, Thierry S. Nouidui, Michael Wetter

CyPhySim: a cyber-physical systems simulator

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Towards online reachability analysis with temporal-differencing

Anayo K. Akametalu, Claire J. Tomlin

Towards online reachability analysis with temporal-differencing

Details
Discussion Comments: 0
Verification: Authors have not verified information

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games

María Svorenová, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, Calin Belta

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games

Details
Discussion Comments: 0
Verification: Authors have not verified information

Demonstration of locomotion with the powered prosthesis AMPRO utilizing online optimization-based control

Huihua Zhao, Jake Reher, Jonathan Horn, Victor Paredes, Aaron D. Ames

Demonstration of locomotion with the powered prosthesis AMPRO utilizing online optimization-based control

Details
Discussion Comments: 0
Verification: Authors have not verified information

Computing bisimulation functions using SOS optimization and δ-decidability over the reals

Abhishek Murthy, Md. Ariful Islam, Scott A. Smolka, Radu Grosu

Computing bisimulation functions using SOS optimization and δ-decidability over the reals

Details
Discussion Comments: 0
Verification: Authors have not verified information

Requirements for hybrid cosimulation standards

David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter

Requirements for hybrid cosimulation standards

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Estimator-based reactive synthesis under incomplete information

Rüdiger Ehlers, Ufuk Topcu

Estimator-based reactive synthesis under incomplete information

Details
Discussion Comments: 0
Verification: Authors have not verified information

SpaTeL: a novel spatial-temporal logic and its applications to networked systems

Iman Haghighi, Austin Jones, Zhaodan Kong, Ezio Bartocci, Radu Grosu, Calin Belta

SpaTeL: a novel spatial-temporal logic and its applications to networked systems

Details
Discussion Comments: 0
Verification: Authors have not verified information

An improved algorithm for robust safety analysis of sampled data systems

Ian M. Mitchell, Shahab Kaynama

An improved algorithm for robust safety analysis of sampled data systems

Details
Discussion Comments: 0
Verification: Authors have not verified information

A delta-sampling verification theorem for discrete-time, possibly discontinuous systems

Ruxandra Bobiti, Mircea Lazar

A delta-sampling verification theorem for discrete-time, possibly discontinuous systems

Details
Discussion Comments: 0
Verification: Authors have not verified information

Parallel state space exploration of linear systems with inputs using XSpeed

Rajarshi Ray, Amit Gurung

Parallel state space exploration of linear systems with inputs using XSpeed

Details
Discussion Comments: 0
Verification: Authors have not verified information

Enforcing temporal logic specifications via reinforcement learning

Austin Jones, Derya Aksaray, Zhaodan Kong, Mac Schwager, Calin Belta

Enforcing temporal logic specifications via reinforcement learning

Details
Discussion Comments: 0
Verification: Authors have not verified information

Reach-avoid problems with time-varying dynamics, targets and constraints

Jaime F. Fisac, Mo Chen, Claire J. Tomlin, S. Shankar Sastry

Reach-avoid problems with time-varying dynamics, targets and constraints

Details
Discussion Comments: 0
Verification: Authors have not verified information

Cross-entropy temporal logic motion planning

Scott C. Livingston, Eric M. Wolff, Richard M. Murray

Cross-entropy temporal logic motion planning

Details
Discussion Comments: 0
Verification: Authors have not verified information

C2E2: a tool for verifying annotated hybrid systems

Parasara Sridhar Duggirala, Matthew Potok, Sayan Mitra, Mahesh Viswanathan

C2E2: a tool for verifying annotated hybrid systems

Details
Discussion Comments: 0
Verification: Authors have not verified information

HyRG: a random generation tool for affine hybrid automata

Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson

HyRG: a random generation tool for affine hybrid automata

Details
Discussion Comments: 0
Verification: Authors have not verified information

ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems

Fedor Shmarov, Paolo Zuliani

ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems

Details
Discussion Comments: 0
Verification: Authors have not verified information