default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17. HSCC 2014: Berlin, Germany
- Martin Fränzle, John Lygeros:
17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014. ACM 2014, ISBN 978-1-4503-2732-9
Piecewise affine and switched linear systems
- Florian David Brunner, Mircea Lazar, Frank Allgöwer
:
Computation of piecewise affine terminal cost functions for model predictive control. 1-10 - Atreyee Kundu, Debasish Chatterjee:
Stabilizing discrete-time switched linear systems. 11-20 - Pierre Riedinger, Jean-Claude Vivalda:
An LQ sub-optimal stabilizing feedback law for switched linear systems. 21-30 - Sihan Xiong, Ji-Woong Lee:
State-feedback stabilization of discrete-time piecewise affine systems. 31-40
Stochastic hybrid systems
- Majid Zamani, Ilya Tkachev, Alessandro Abate:
Bisimilar symbolic models for stochastic control systems without state-space discretization. 41-50 - Nick Malone, Kendra Lesser, Meeko M. K. Oishi, Lydia Tapia:
Stochastic reachability based motion planning for multiple moving obstacle avoidance. 51-60 - A. Prasad Sistla, Milos Zefran, Yao Feng, Yue Ben:
Timely monitoring of partially observable stochastic systems. 61-70
Hybrid system modeling
- Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet:
A type-based analysis of causality loops in hybrid systems modelers. 71-82 - Pieter J. Mosterman, Gabor Simko, Justyna Zander, Zhi Han:
A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities. 83-92 - Sergiy Bogomolov, Christian Herrera, Marco Muñiz, Bernd Westphal, Andreas Podelski:
Quasi-dependent variables in hybrid automata. 93-102
Stability and control
- Dominicus P. Borgers, Maurice Heemels:
Stability analysis of large-scale networked control systems with local networks: a hybrid small-gain approach. 103-112 - Alessandro Vittorio Papadopoulos, Maria Prandini:
Model reduction of switched affine systems: a method based on balanced truncation and randomized optimization. 113-122 - Christoffer Sloth, Rafael Wisniewski:
Control to facet for polynomial systems. 123-132 - James Kapinski, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, Nikos Aréchiga:
Simulation-guided lyapunov analysis for hybrid dynamical systems. 133-142
Keynote address
- Grégory Batt:
Cells driven by computers: long-term model predictive control of gene expression in yeast. 143-144
Tool and case study presentations
- Werner Damm, Eike Möhlmann, Astrid Rakow:
Component based design of hybrid systems: a case study on concurrency and coupling. 145-150 - Guillaume Vankeerberghen, Julien M. Hendrickx, Raphaël M. Jungers:
JSR: a toolbox to compute the joint spectral radius. 151-156 - Gabor Simko, Ethan K. Jackson:
A bounded model checking tool for periodic sample-hold systems. 157-162
Reachability
- Eric Goubault, Olivier Mullier, Sylvie Putot, Michel Kieffer:
Inner approximated reachability analysis. 163-172 - Jeremy H. Gillula, Shahab Kaynama, Claire J. Tomlin:
Sampling-based approximation of the viability kernel for high-dimensional linear sampled-data systems. 173-182 - Zhenqi Huang, Sayan Mitra:
Proofs from simulations and modular annotations. 183-192
Approximation and robustness
- Ilya Tkachev, Alessandro Abate:
On approximation metrics for linear temporal model-checking of stochastic systems. 193-202 - Rüdiger Ehlers, Ufuk Topcu:
Resilience to intermittent assumption violations in reactive synthesis. 203-212 - Thomas A. Henzinger, Jan Otop:
Model measuring for hybrid systems. 213-222 - Matthias Rungger, Paulo Tabuada:
Abstracting and refining robustness for cyber-physical systems. 223-232
Applications of hybrid systems
- Tommaso Dreossi, Thao Dang:
Parameter synthesis for polynomial biological models. 233-242 - Md. Ariful Islam, Abhishek Murthy, Antoine Girard, Scott A. Smolka, Radu Grosu:
Compositionality results for cardiac cell dynamics. 243-252 - Xiaoqing Jin, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda, Kenneth R. Butts:
Powertrain control verification benchmark. 253-262 - 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. 263-272
Timed systems and temporal specifications
- Zhaodan Kong, Austin Jones, Ana Medina Ayala, Ebru Aydin Gol, Calin Belta:
Temporal logic inference for classification and prediction from data. 273-282 - Romain Brenguier, Franck Cassez, Jean-François Raskin:
Energy and mean-payoff timed games. 283-292 - Jun Liu, Necmiye Ozay:
Abstraction, discretization, and robustness in temporal logic control of dynamical systems. 293-302 - Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Rupak Majumdar:
Edit distance for timed automata. 303-312
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
