Abstract is missing.
- Forward Inner-Approximated Reachability of Non-Linear Continuous SystemsEric Goubault, Sylvie Putot. 1-10 [doi]
- On the Polytope Escape Problem for Continuous Linear Dynamical SystemsJoël Ouaknine, João Sousa Pinto, James Worrell. 11-17 [doi]
- SMC: Satisfiability Modulo Convex OptimizationYasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada. 19-28 [doi]
- Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical SystemsTommaso Dreossi. 29-34 [doi]
- Forward Stochastic Reachability Analysis for Uncontrolled Linear Systems using Fourier TransformsAbraham P. Vinod, Baisravan Homchaudhuri, Meeko M. K. Oishi. 35-44 [doi]
- Controller Synthesis for Reward Collecting Markov Processes in Continuous SpaceSadegh Esmaeil Zadeh Soudjani, Rupak Majumdar. 45-54 [doi]
- Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable PrecisionLuca Laurenti, Alessandro Abate, Luca Bortolussi, Luca Cardelli, Milan Ceska, Marta Z. Kwiatkowska. 55-64 [doi]
- Statistical Verification of the Toyota Powertrain Control Verification BenchmarkNima Roohi, Yu Wang, Matthew West 0001, Geir E. Dullerud, Mahesh Viswanathan 0001. 65-70 [doi]
- Optimal Data Rate for State Estimation of Switched Nonlinear SystemsHussein Sibai, Sayan Mitra. 71-80 [doi]
- Path-Complete Graphs and Common Lyapunov FunctionsDavid Angeli, Nikolaos Athanasopoulos, Raphaël M. Jungers, Matthew Philippe. 81-90 [doi]
- Invariance Feedback Entropy of Nondeterministic Control SystemsMatthias Rungger, Majid Zamani. 91-100 [doi]
- Robust Abstractions for Control Synthesis: Completeness via Robustness for Linear-Time PropertiesJun Liu. 101-110 [doi]
- Formal Synthesis of Stabilizing Controllers for Switched SystemsPavithra Prabhakar, Miriam Garcia Soto. 111-120 [doi]
- Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear SystemsBastian Schürmann, Matthias Althoff. 121-130 [doi]
- Scheduling of Embedded Controllers Under Timing ContractsMohammad Al-Khatib, Antoine Girard, Thao Dang. 131-140 [doi]
- Convex and Combinatorial Optimization for Dynamic Robots in the Real WorldRuss Tedrake. 141 [doi]
- Coupling Policy Iterations with Piecewise Quadratic Lyapunov FunctionsAssalé Adjé. 143-152 [doi]
- Robust Model Checking of Timed Automata under Clock DriftsNima Roohi, Pavithra Prabhakar, Mahesh Viswanathan 0001. 153-162 [doi]
- Safety Verification of Nonlinear Hybrid Systems Based on Invariant ClustersHui Kong, Sergiy Bogomolov, Christian Schilling, Yu Jiang, Thomas A. Henzinger. 163-172 [doi]
- HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear SystemsStanley Bak, Parasara Sridhar Duggirala. 173-178 [doi]
- Dynamic Periodic Event-Triggered Control for Linear SystemsDominicus P. Borgers, Victor S. Dolk, W. P. M. H. Heemels. 179-186 [doi]
- On a Class of Maximal Invariance Inducing Control Strategies for Large Collections of Switched SystemsPetter Nilsson, Necmiye Ozay. 187-196 [doi]
- Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous PlantsAlessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening. 197-206 [doi]
- A Small Gain Theorem for Parametric Assume-Guarantee ContractsEric S. Kim, Murat Arcak, Sanjit A. Seshia. 207-216 [doi]
- Relaxed Decidability and the Robust Semantics of Metric Temporal LogicHoussam Abbas, Matthew O'Kelly, Rahul Mangharam. 217-225 [doi]
- Sampling-based Approximate Optimal Control Under Temporal Logic ConstraintsJie Fu, Ivan Papusha, Ufuk Topcu. 227-235 [doi]
- Abnormal Data Classification Using Time-Frequency Temporal LogicLuan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Ken Butts, Taylor T. Johnson. 237-242 [doi]
- Piecewise - Differentiable Trajectory Outcomes in Mechanical Systems Subject to Unilateral ConstraintsAndrew M. Pace, Samuel A. Burden. 243-252 [doi]
- Structural Analysis of Multi-Mode DAE SystemsAlbert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet. 253-263 [doi]
- Bipedal Robotic Running with DURUS-2D: Bridging the Gap between Theory and ExperimentWen-Loong Ma, Shishir Kolathaya, Eric R. Ambrose, Christian M. Hubicki, Aaron D. Ames. 265-274 [doi]