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


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

Sampling-based approximation of the viability kernel for high-dimensional linear sampled-data systems

Jeremy H. Gillula, Shahab Kaynama, Claire J. Tomlin

Sampling-based approximation of the viability kernel for high-dimensional linear sampled-data systems

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

Stability analysis of large-scale networked control systems with local networks: a hybrid small-gain approach

Dominicus P. Borgers, Maurice Heemels

Stability analysis of large-scale networked control systems with local networks: a hybrid small-gain approach

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

Model reduction of switched affine systems: a method based on balanced truncation and randomized optimization

Alessandro Vittorio Papadopoulos, Maria Prandini

Model reduction of switched affine systems: a method based on balanced truncation and randomized optimization

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

A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities

Pieter J. Mosterman, Gabor Simko, Justyna Zander, Zhi Han

A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities

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 Arechiga

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