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


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

SCOTS: A Tool for the Synthesis of Symbolic Controllers

Matthias Rungger, Majid Zamani

SCOTS: A Tool for the Synthesis of Symbolic Controllers

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

From Simulation Models to Hybrid Automata Using Urgency and Relaxation

Stefano Minopoli, Goran Frehse

From Simulation Models to Hybrid Automata Using Urgency and Relaxation

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

Event-Separation Properties and Asymptotic Behaviour of Hybrid Event-Based Control Systems

Tobias Noesselt, Matthias Schultalbers, Jan Lunze

Event-Separation Properties and Asymptotic Behaviour of Hybrid Event-Based Control Systems

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

Robust Asymptotic Stabilization of Hybrid Systems using Control Lyapunov Functions

Ricardo G. Sanfelice

Robust Asymptotic Stabilization of Hybrid Systems using Control Lyapunov Functions

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

Building Power Consumption Models from Executable Timed I/O Automata Specifications

Benoît Barbot, Marta Kwiatkowska, Alexandru Mereacre, Nicola Paoletti

Building Power Consumption Models from Executable Timed I/O Automata Specifications

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

Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software

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

Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software

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

Entropy and Minimal Data Rates for State Estimation and Model Detection

Daniel Liberzon, Sayan Mitra

Entropy and Minimal Data Rates for State Estimation and Model Detection

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

A Topological Method for Finding Invariant Sets of Switched Systems

Laurent Fribourg, Eric Goubault, Sylvie Putot, Sameh Mohamed

A Topological Method for Finding Invariant Sets of Switched Systems

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

Generating Unstable Trajectories for Switched Systems via Dual Sum-Of-Squares Techniques

Benoît Legat, Raphaël M. Jungers, Pablo A. Parrilo

Generating Unstable Trajectories for Switched Systems via Dual Sum-Of-Squares Techniques

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

Adaptive Decentralized MAC for Event-Triggered Networked Control Systems

Mikhail Vilgelm, Mohammad H. Mamduhi, Wolfgang Kellerer, Sandra Hirche

Adaptive Decentralized MAC for Event-Triggered Networked Control 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

Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors

Jonathan A. DeCastro, Hadas Kress-Gazit

Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors

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

Temporal Logic as Filtering

Alena Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu

Temporal Logic as Filtering

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

Reachset Conformance Testing of Hybrid Automata

Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff

Reachset Conformance Testing of Hybrid Automata

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 Analysis of Robustness at Model and Code Level

Timothy E. Wang, Pierre-Loïc Garoche, Pierre Roux, Romain Jobredeaux, Eric Feron

Formal Analysis of Robustness at Model and Code Level

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

Computing the Domain of Attraction of Switching Systems Subject to Non-Convex Constraints

Nikolaos Athanasopoulos, Raphaël M. Jungers

Computing the Domain of Attraction of Switching Systems Subject to Non-Convex Constraints

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

Computing Distances between Reach Flowpipes

Rupak Majumdar, Vinayak S. Prabhu

Computing Distances between Reach Flowpipes

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

SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems

Kyungmin Bae, Peter Csaba Ölveczky, Soonho Kong, Sicun Gao, Edmund M. Clarke

SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems

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

Directed Specifications and Assumption Mining for Monotone Dynamical Systems

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

Directed Specifications and Assumption Mining for Monotone 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: Authors have not verified information

Semi-autonomous Intersection Collision Avoidance through Job-shop Scheduling

Heejin Ahn, Domitilla Del Vecchio

Semi-autonomous Intersection Collision Avoidance through Job-shop Scheduling

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

Towards Model Checking of Implantable Cardioverter Defibrillators

Houssam Abbas, Kuk Jin Jang, Zhihao Jiang, Rahul Mangharam

Towards Model Checking of Implantable Cardioverter Defibrillators

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

Optimal Co-Design of Scheduling and Control for Networked Systems

Sandra Hirche

Optimal Co-Design of Scheduling and Control for Networked Systems

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

Hybridization for Stability Analysis of Switched Linear Systems

Pavithra Prabhakar, Miriam Garcia Soto

Hybridization for Stability Analysis of Switched Linear Systems

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

Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications

Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donzé, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia

Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications

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

Verification and Synthesis of Timing Contracts for Embedded Controllers

Mohammad Al Khatib, Antoine Girard, Thao Dang

Verification and Synthesis of Timing Contracts for Embedded Controllers

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

Safety Verification of Piecewise-Deterministic Markov Processes

Rafael Wisniewski, Christoffer Sloth, Manuela L. Bujorianu, Nir Piterman

Safety Verification of Piecewise-Deterministic Markov Processes

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

Case Studies in Data-Driven Verification of Dynamical Systems

Alexandar Kozarev, John F. Quindlen, Jonathan P. How, Ufuk Topcu

Case Studies in Data-Driven Verification of Dynamical Systems

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

A Decision Tree Approach to Data Classification using Signal Temporal Logic

Giuseppe Bombara, Cristian Ioan Vasile, Francisco Penedo, Hirotoshi Yasuoka, Calin Belta

A Decision Tree Approach to Data Classification using Signal 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

Control Synthesis for Large Collections of Systems with Mode-Counting Constraints

Petter Nilsson, Necmiye Ozay

Control Synthesis for Large Collections of Systems with Mode-Counting Constraints

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

SL2SX Translator: From Simulink to SpaceEx Models

Stefano Minopoli, Goran Frehse

SL2SX Translator: From Simulink to SpaceEx Models

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

Parallelotope Bundles for Polynomial Reachability

Tommaso Dreossi, Thao Dang, Carla Piazza

Parallelotope Bundles for Polynomial Reachability

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

Compositional Synthesis with Parametric Reactive Controllers

Rajeev Alur, Salar Moarref, Ufuk Topcu

Compositional Synthesis with Parametric Reactive Controllers

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

Scalable Static Hybridization Methods for Analysis of Nonlinear Systems

Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Taylor T. Johnson, Pradyot Prakash

Scalable Static Hybridization Methods for Analysis of 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

Safety Analysis of Automotive Control Systems Using Multi-Modal Port-Hamiltonian Systems

Siyuan Dai, Xenofon D. Koutsoukos

Safety Analysis of Automotive Control Systems Using Multi-Modal Port-Hamiltonian Systems

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