| 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 |
|---|
|
An LQ sub-optimal stabilizing feedback law for switched linear systems Pierre Riedinger, Jean-Claude Vivalda |
An LQ sub-optimal stabilizing feedback law for switched linear systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Jeremy H. Gillula, Shahab Kaynama, Claire J. Tomlin |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Dominicus P. Borgers, Maurice Heemels |
Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
State-feedback stabilization of discrete-time piecewise affine systems Sihan Xiong, Ji-Woong Lee |
State-feedback stabilization of discrete-time piecewise affine systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
A type-based analysis of causality loops in hybrid systems modelers Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet |
A type-based analysis of causality loops in hybrid systems modelers Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Cells driven by computers: long-term model predictive control of gene expression in yeast Grégory Batt |
Cells driven by computers: long-term model predictive control of gene expression in yeast Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Model measuring for hybrid systems Thomas A. Henzinger, Jan Otop |
Model measuring for hybrid systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Alessandro Vittorio Papadopoulos, Maria Prandini |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Abstracting and refining robustness for cyber-physical systems Matthias Rungger, Paulo Tabuada |
Abstracting and refining robustness for cyber-physical systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Edit distance for timed automata Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Rupak Majumdar |
Edit distance for timed automata Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
On approximation metrics for linear temporal model-checking of stochastic systems Ilya Tkachev, Alessandro Abate |
On approximation metrics for linear temporal model-checking of stochastic systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Pieter J. Mosterman, Gabor Simko, Justyna Zander, Zhi Han |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Simulation-guided lyapunov analysis for hybrid dynamical systems James Kapinski, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, Nikos Aréchiga |
Simulation-guided lyapunov analysis for hybrid dynamical systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Abstraction, discretization, and robustness in temporal logic control of dynamical systems Jun Liu, Necmiye Ozay |
Abstraction, discretization, and robustness in temporal logic control of dynamical systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
A bounded model checking tool for periodic sample-hold systems Gabor Simko, Ethan K. Jackson |
A bounded model checking tool for periodic sample-hold systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Component based design of hybrid systems: a case study on concurrency and coupling Werner Damm, Eike Möhlmann, Astrid Rakow |
Component based design of hybrid systems: a case study on concurrency and coupling Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Stabilizing discrete-time switched linear systems Atreyee Kundu, Debasish Chatterjee |
Stabilizing discrete-time switched linear systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Dynamic multi-domain bipedal walking with atrias through SLIP based human-inspired control Ayonga Hereid, Shishir Kolathaya, Mikhail S. Jones, Johnathan Van Why, Jonathan W. Hurst, Aaron D. Ames |
Dynamic multi-domain bipedal walking with atrias through SLIP based human-inspired control Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Temporal logic inference for classification and prediction from data Zhaodan Kong, Austin Jones, Ana Medina Ayala, Ebru Aydin Gol, Calin Belta |
Temporal logic inference for classification and prediction from data Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Stochastic reachability based motion planning for multiple moving obstacle avoidance Nick Malone, Kendra Lesser, Meeko M. K. Oishi, Lydia Tapia |
Stochastic reachability based motion planning for multiple moving obstacle avoidance Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Energy and mean-payoff timed games Romain Brenguier, Franck Cassez, Jean-François Raskin |
Energy and mean-payoff timed games Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Parameter synthesis for polynomial biological models Tommaso Dreossi, Thao Dang |
Parameter synthesis for polynomial biological models Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Quasi-dependent variables in hybrid automata Sergiy Bogomolov, Christian Herrera, Marco Muñiz, Bernd Westphal, Andreas Podelski |
Quasi-dependent variables in hybrid automata Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Timely monitoring of partially observable stochastic systems A. Prasad Sistla, Milos Zefran, Yao Feng, Yue Ben |
Timely monitoring of partially observable stochastic systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Computation of piecewise affine terminal cost functions for model predictive control Florian David Brunner, Mircea Lazar, Frank Allgöwer |
Computation of piecewise affine terminal cost functions for model predictive control Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Inner approximated reachability analysis Eric Goubault, Olivier Mullier, Sylvie Putot, Michel Kieffer |
Inner approximated reachability analysis Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Compositionality results for cardiac cell dynamics Md. Ariful Islam, Abhishek Murthy, Antoine Girard, Scott A. Smolka, Radu Grosu |
Compositionality results for cardiac cell dynamics Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Resilience to intermittent assumption violations in reactive synthesis Rüdiger Ehlers, Ufuk Topcu |
Resilience to intermittent assumption violations in reactive synthesis Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
JSR: a toolbox to compute the joint spectral radius Guillaume Vankeerberghen, Julien M. Hendrickx, Raphaël M. Jungers |
JSR: a toolbox to compute the joint spectral radius Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Bisimilar symbolic models for stochastic control systems without state-space discretization Majid Zamani, Ilya Tkachev, Alessandro Abate |
Bisimilar symbolic models for stochastic control systems without state-space discretization Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Control to facet for polynomial systems Christoffer Sloth, Rafael Wisniewski |
Control to facet for polynomial systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Proofs from simulations and modular annotations Zhenqi Huang, Sayan Mitra |
Proofs from simulations and modular annotations Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Powertrain control verification benchmark Xiaoqing Jin, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda, Kenneth R. Butts |
Powertrain control verification benchmark Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|