Abstract is missing.
- Computation of piecewise affine terminal cost functions for model predictive controlFlorian David Brunner, Mircea Lazar, Frank Allgöwer. 1-10 [doi]
- Stabilizing discrete-time switched linear systemsAtreyee Kundu, Debasish Chatterjee. 11-20 [doi]
- An LQ sub-optimal stabilizing feedback law for switched linear systemsPierre Riedinger, Jean-Claude Vivalda. 21-30 [doi]
- State-feedback stabilization of discrete-time piecewise affine systemsSihan Xiong, Ji-Woong Lee. 31-40 [doi]
- Bisimilar symbolic models for stochastic control systems without state-space discretizationMajid Zamani, Ilya Tkachev, Alessandro Abate. 41-50 [doi]
- Stochastic reachability based motion planning for multiple moving obstacle avoidanceNick Malone, Kendra Lesser, Meeko M. K. Oishi, Lydia Tapia. 51-60 [doi]
- Timely monitoring of partially observable stochastic systemsA. Prasad Sistla, Milos Zefran, Yao Feng, Yue Ben. 61-70 [doi]
- A type-based analysis of causality loops in hybrid systems modelersAlbert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet. 71-82 [doi]
- A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuitiesPieter J. Mosterman, Gabor Simko, Justyna Zander, Zhi Han. 83-92 [doi]
- Quasi-dependent variables in hybrid automataSergiy Bogomolov, Christian Herrera, Marco Muñiz, Bernd Westphal, Andreas Podelski. 93-102 [doi]
- Stability analysis of large-scale networked control systems with local networks: a hybrid small-gain approachDominicus P. Borgers, Maurice Heemels. 103-112 [doi]
- Model reduction of switched affine systems: a method based on balanced truncation and randomized optimizationAlessandro Vittorio Papadopoulos, Maria Prandini. 113-122 [doi]
- Control to facet for polynomial systemsChristoffer Sloth, Rafael Wisniewski. 123-132 [doi]
- Simulation-guided lyapunov analysis for hybrid dynamical systemsJames Kapinski, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, Nikos Arechiga. 133-142 [doi]
- Cells driven by computers: long-term model predictive control of gene expression in yeastGrégory Batt. 143-144 [doi]
- Component based design of hybrid systems: a case study on concurrency and couplingWerner Damm, Eike Möhlmann, Astrid Rakow. 145-150 [doi]
- JSR: a toolbox to compute the joint spectral radiusGuillaume Vankeerberghen, Julien M. Hendrickx, Raphaël M. Jungers. 151-156 [doi]
- A bounded model checking tool for periodic sample-hold systemsGabor Simko, Ethan K. Jackson. 157-162 [doi]
- Inner approximated reachability analysisEric Goubault, Olivier Mullier, Sylvie Putot, Michel Kieffer. 163-172 [doi]
- Sampling-based approximation of the viability kernel for high-dimensional linear sampled-data systemsJeremy H. Gillula, Shahab Kaynama, Claire J. Tomlin. 173-182 [doi]
- Proofs from simulations and modular annotationsZhenqi Huang, Sayan Mitra. 183-192 [doi]
- On approximation metrics for linear temporal model-checking of stochastic systemsIlya Tkachev, Alessandro Abate. 193-202 [doi]
- Resilience to intermittent assumption violations in reactive synthesisRüdiger Ehlers, Ufuk Topcu. 203-212 [doi]
- Model measuring for hybrid systemsThomas A. Henzinger, Jan Otop. 213-222 [doi]
- Abstracting and refining robustness for cyber-physical systemsMatthias Rungger, Paulo Tabuada. 223-232 [doi]
- Parameter synthesis for polynomial biological modelsTommaso Dreossi, Thao Dang. 233-242 [doi]
- Compositionality results for cardiac cell dynamicsMd. Ariful Islam, Abhishek Murthy, Antoine Girard, Scott A. Smolka, Radu Grosu. 243-252 [doi]
- Powertrain control verification benchmarkXiaoqing Jin, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda, Ken Butts. 253-262 [doi]
- Dynamic multi-domain bipedal walking with atrias through SLIP based human-inspired controlAyonga Hereid, Shishir Kolathaya, Mikhail S. Jones, Johnathan Van Why, Jonathan W. Hurst, Aaron D. Ames. 263-272 [doi]
- Temporal logic inference for classification and prediction from dataZhaodan Kong, Austin Jones, Ana Medina Ayala, Ebru Aydin Gol, Calin Belta. 273-282 [doi]
- Energy and mean-payoff timed gamesRomain Brenguier, Franck Cassez, Jean-François Raskin. 283-292 [doi]
- Abstraction, discretization, and robustness in temporal logic control of dynamical systemsJun Liu, Necmiye Ozay. 293-302 [doi]
- Edit distance for timed automataKrishnendu Chatterjee, Rasmus Ibsen-Jensen, Rupak Majumdar. 303-312 [doi]