| 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
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
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 |
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
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
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
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
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
|
|
Jonathan A. DeCastro, Hadas Kress-Gazit |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Alena Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu |
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
|
Author Comments:
To the best of our knowledge, this is the first paper to relate linear temporal logic with filtering.
Discussion Comments:
0
Sharing:
Not able to share produced artifacts
Verification:
Authors have
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
|
Author Comments:
Discussion Comments:
0
Sharing:
Not able to share produced artifacts
Verification:
Authors have
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
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
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
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
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
|
Author Comments:
Discussion Comments:
0
Sharing:
Not able to share produced artifacts
Verification:
Authors have
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
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
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
|