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


The information below was collected semi-automatically. The authors have not yet been given the opportunity to verify the data.
[?] We ask all authors to verify the information we have about their papers, in particular the location of any supporting artifacts. We send out emails to authors asking them to update or verify this information incrementally, one conference at a time. For conferences where these emails have yet to be sent out we present the information in gray text.
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

Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters

Hui Kong, Sergiy Bogomolov, Christian Schilling, Yu Jiang, Thomas A. Henzinger

Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision

Luca Laurenti, Alessandro Abate, Luca Bortolussi, Luca Cardelli, Milan Ceska, Marta Z. Kwiatkowska

Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision

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

Sampling-based Approximate Optimal Control Under Temporal Logic Constraints

Jie Fu, Ivan Papusha, Ufuk Topcu

Sampling-based Approximate Optimal Control Under Temporal Logic Constraints

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

Robust Abstractions for Control Synthesis: Completeness via Robustness for Linear-Time Properties

Jun Liu

Robust Abstractions for Control Synthesis: Completeness via Robustness for Linear-Time Properties

Details
Discussion Comments: 0
Verification: Author has not verified information

SMC: Satisfiability Modulo Convex Optimization

Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada

SMC: Satisfiability Modulo Convex Optimization

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems

Stanley Bak, Parasara Sridhar Duggirala

HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Abnormal Data Classification Using Time-Frequency Temporal Logic

Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Ken Butts, Taylor T. Johnson

Abnormal Data Classification Using Time-Frequency Temporal Logic

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Convex and Combinatorial Optimization for Dynamic Robots in the Real World

Russ Tedrake

Convex and Combinatorial Optimization for Dynamic Robots in the Real World

Details
Discussion Comments: 0
Verification: Author has not verified information

Dynamic Periodic Event-Triggered Control for Linear Systems

Dominicus P. Borgers, Victor S. Dolk, W. P. M. H. Heemels

Dynamic Periodic Event-Triggered Control for Linear Systems

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions

Assalé Adjé

Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions

Details
Discussion Comments: 0
Verification: Author has not verified information

Controller Synthesis for Reward Collecting Markov Processes in Continuous Space

Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar

Controller Synthesis for Reward Collecting Markov Processes in Continuous Space

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants

Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening

Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Statistical Verification of the Toyota Powertrain Control Verification Benchmark

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

Statistical Verification of the Toyota Powertrain Control Verification Benchmark

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

Relaxed Decidability and the Robust Semantics of Metric Temporal Logic

Houssam Abbas, Matthew O'Kelly, Rahul Mangharam

Relaxed Decidability and the Robust Semantics of Metric Temporal Logic

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

Invariance Feedback Entropy of Nondeterministic Control Systems

Matthias Rungger, Majid Zamani

Invariance Feedback Entropy of Nondeterministic Control Systems

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

A Small Gain Theorem for Parametric Assume-Guarantee Contracts

Eric S. Kim, Murat Arcak, Sanjit A. Seshia

A Small Gain Theorem for Parametric Assume-Guarantee Contracts

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

Forward Stochastic Reachability Analysis for Uncontrolled Linear Systems using Fourier Transforms

Abraham P. Vinod, Baisravan HomChaudhuri, Meeko M. K. Oishi

Forward Stochastic Reachability Analysis for Uncontrolled Linear Systems using Fourier Transforms

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

On the Polytope Escape Problem for Continuous Linear Dynamical Systems

Joël Ouaknine, João Sousa Pinto, James Worrell

On the Polytope Escape Problem for Continuous Linear Dynamical Systems

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

Scheduling of Embedded Controllers Under Timing Contracts

Mohammad Al Khatib, Antoine Girard, Thao Dang

Scheduling of Embedded Controllers Under Timing Contracts

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Formal Synthesis of Stabilizing Controllers for Switched Systems

Pavithra Prabhakar, Miriam Garcia Soto

Formal Synthesis of Stabilizing Controllers for Switched Systems

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Structural Analysis of Multi-Mode DAE Systems

Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet

Structural Analysis of Multi-Mode DAE Systems

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

Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems

Bastian Schürmann, Matthias Althoff

Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Optimal Data Rate for State Estimation of Switched Nonlinear Systems

Hussein Sibai, Sayan Mitra

Optimal Data Rate for State Estimation of Switched Nonlinear Systems

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

Forward Inner-Approximated Reachability of Non-Linear Continuous Systems

Eric Goubault, Sylvie Putot

Forward Inner-Approximated Reachability of Non-Linear Continuous Systems

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

On a Class of Maximal Invariance Inducing Control Strategies for Large Collections of Switched Systems

Petter Nilsson, Necmiye Ozay

On a Class of Maximal Invariance Inducing Control Strategies for Large Collections of Switched Systems

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

Robust Model Checking of Timed Automata under Clock Drifts

Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan

Robust Model Checking of Timed Automata under Clock Drifts

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

Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems

Tommaso Dreossi

Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Author has not verified information

Path-Complete Graphs and Common Lyapunov Functions

David Angeli, Nikolaos Athanasopoulos, Raphaël M. Jungers, Matthew Philippe

Path-Complete Graphs and Common Lyapunov Functions

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

Piecewise - Differentiable Trajectory Outcomes in Mechanical Systems Subject to Unilateral Constraints

Andrew M. Pace, Samuel A. Burden

Piecewise - Differentiable Trajectory Outcomes in Mechanical Systems Subject to Unilateral Constraints

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

Bipedal Robotic Running with DURUS-2D: Bridging the Gap between Theory and Experiment

Wen-Loong Ma, Shishir Kolathaya, Eric R. Ambrose, Christian M. Hubicki, Aaron D. Ames

Bipedal Robotic Running with DURUS-2D: Bridging the Gap between Theory and Experiment

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