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


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

Under-Approximating Reach Sets for Polynomial Continuous Systems

Bai Xue, Martin Fränzle, Naijun Zhan

Under-Approximating Reach Sets for Polynomial 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

Model Checking Bounded Continuous-time Extended Linear Duration Invariants

Jie An, Naijun Zhan, Xiaoshan Li, Miaomiao Zhang, Wang Yi

Model Checking Bounded Continuous-time Extended Linear Duration Invariants

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

A New Perspective on Quality Evaluation for Control Systems with Stochastic Timing

Maximilian Gaukler, Andreas Michalka, Peter Ulbrich, Tobias Klaus

A New Perspective on Quality Evaluation for Control Systems with Stochastic Timing

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 Guarantees in Data-Driven Model Identification and Control Synthesis

Sadra Sadraddini, Calin Belta

Formal Guarantees in Data-Driven Model Identification and Control Synthesis

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

Specifying Timed Patterns using Temporal Logic

Dogan Ulus, Oded Maler

Specifying Timed Patterns using Temporal Logic

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

Parameter Invariant Monitoring for Signal Temporal Logic

Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee

Parameter Invariant Monitoring for Signal Temporal Logic

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

Compositional Synthesis for Symbolic Control

Antoine Girard

Compositional Synthesis for Symbolic Control

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

Bisimulations, logics, and trace distributions for stochastic systems with rewards

Daniel Gburek, Christel Baier

Bisimulations, logics, and trace distributions for stochastic systems with rewards

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

Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles

Cumhur Erkan Tuncali, Georgios E. Fainekos, Hisahiro Ito, James Kapinski

Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles

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

Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices

Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Frédéric Viry, Andreas Podelski, Christian Schilling

Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices

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

ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems

Yinan Li, Jun Liu

ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear 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

Formal Controller Synthesis from Hybrid Programs

Vladimir Sinyakov, Antoine Girard

Formal Controller Synthesis from Hybrid Programs

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

Contract based Design of Symbolic Controllers for Vehicle Platooning

Adnane Saoud, Antoine Girard, Laurent Fribourg

Contract based Design of Symbolic Controllers for Vehicle Platooning

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

Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms

Eric S. Kim, Murat Arcak, Mahmoud Khaled, Majid Zamani

Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms

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

Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness

Abraham P. Vinod, Meeko M. K. Oishi

Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness

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

Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems

Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck

Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time 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

Clock Allocation in Timed Automata and Graph Colouring

Neda Saeedloei, Feliks Kluzniak

Clock Allocation in Timed Automata and Graph Colouring

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

Averist: Algorithmic Verifier for Stability of Linear Hybrid Systems

Miriam Garcia Soto, Pavithra Prabhakar

Averist: Algorithmic Verifier for Stability of Linear Hybrid 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

From Uncertainty Data to Robust Policies for Temporal Logic Planning

Pier Giuseppe Sessa, Damian Frick, Tony A. Wood, Maryam Kamgarpour

From Uncertainty Data to Robust Policies for Temporal Logic Planning

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

Constructing Control System Abstractions from Modular Components

Eric S. Kim, Murat Arcak, Majid Zamani

Constructing Control System Abstractions from Modular Components

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

Accurate reachability analysis of uncertain nonlinear systems

Matthias Rungger, Majid Zamani

Accurate reachability analysis of uncertain nonlinear systems

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

Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow

Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang

Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow

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

Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems

Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi

Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems

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

Modeling the Impact of Vehicle Platooning on Highway Congestion: A Fluid Queuing Approach

Li Jin, Mladen Cicic, Saurabh Amin, Karl Henrik Johansson

Modeling the Impact of Vehicle Platooning on Highway Congestion: A Fluid Queuing Approach

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

DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems

Lennon Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening

DSValidator: An Automated Counterexample Reproducibility Tool for Digital 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

CODEV: Automated Model Predictive Control Design and Formal Verification

Nicole Chan, Sayan Mitra

CODEV: Automated Model Predictive Control Design and Formal Verification

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

From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes

Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani

From Dissipativity Theory to Compositional Construction of Finite Markov Decision 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

Stabilizing switched nonlinear systems under restricted switching

Atreyee Kundu

Stabilizing switched nonlinear systems under restricted switching

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

Recent Results in State Estimation of Dynamical Systems with Inputs under Bandwidth Constraints

Hussein Sibai, Sayan Mitra

Recent Results in State Estimation of Dynamical Systems with Inputs under Bandwidth Constraints

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

Improving validated computation of Viability Kernels

Benjamin Martin, Olivier Mullier

Improving validated computation of Viability Kernels

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

Graphical Hybrid Automata with Simulink and Stateflow

Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang

Graphical Hybrid Automata with Simulink and Stateflow

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

DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems

Bolun Qi, Chuchu Fan, Minghao Jiang, Sayan Mitra

DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems

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

Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity Approach

Abdalla Swikir, Antoine Girard, Majid Zamani

Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity Approach

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

Lyapunov Design for Event-Triggered Exponential Stabilization

Anton V. Proskurnikov, Manuel Mazo Jr.

Lyapunov Design for Event-Triggered Exponential Stabilization

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

Efficient Parametric Identification for STL

Alexey Bakhirkin, Thomas Ferrère, Oded Maler

Efficient Parametric Identification for STL

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

Localizing Faults in Simulink/Stateflow Models with STL

Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath, Dejan Nickovic

Localizing Faults in Simulink/Stateflow Models with STL

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

Algorithms for exact and approximate linear abstractions of polynomial continuous systems

Michele Boreale

Algorithms for exact and approximate linear abstractions of polynomial continuous systems

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

Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs

Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani

Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs

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

ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems

Yinan Li, Jun Liu

ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems

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

State Estimation of Dynamical Systems with Unknown Inputs: Entropy and Bit Rates

Hussein Sibai, Sayan Mitra

State Estimation of Dynamical Systems with Unknown Inputs: Entropy and Bit Rates

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