| 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
|
|
María Svorenová, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, Calin Belta |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Huihua Zhao, Jake Reher, Jonathan Horn, Victor Paredes, Aaron D. Ames |
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
|