default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20. HSCC 2017: Pittsburgh, PA, USA
- Goran Frehse, Sayan Mitra:
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017, Pittsburgh, PA, USA, April 18-20, 2017. ACM 2017, ISBN 978-1-4503-4590-3
Verification I
- Eric Goubault, Sylvie Putot:
Forward Inner-Approximated Reachability of Non-Linear Continuous Systems. 1-10 - Joël Ouaknine, João Sousa Pinto
, James Worrell:
On the Polytope Escape Problem for Continuous Linear Dynamical Systems. 11-17 - Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada:
SMC: Satisfiability Modulo Convex Optimization. 19-28 - Tommaso Dreossi:
Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems. 29-34
Probabilistics Models and Methods
- Abraham P. Vinod, Baisravan HomChaudhuri, Meeko M. K. Oishi:
Forward Stochastic Reachability Analysis for Uncontrolled Linear Systems using Fourier Transforms. 35-44 - Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar:
Controller Synthesis for Reward Collecting Markov Processes in Continuous Space. 45-54 - Luca Laurenti, Alessandro Abate, Luca Bortolussi, Luca Cardelli, Milan Ceska, Marta Z. Kwiatkowska:
Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision. 55-64 - Nima Roohi, Yu Wang, Matthew West, Geir E. Dullerud, Mahesh Viswanathan:
Statistical Verification of the Toyota Powertrain Control Verification Benchmark. 65-70
Invariance and Enthropy
- Hussein Sibai, Sayan Mitra:
Optimal Data Rate for State Estimation of Switched Nonlinear Systems. 71-80 - David Angeli, Nikolaos Athanasopoulos, Raphaël M. Jungers, Matthew Philippe:
Path-Complete Graphs and Common Lyapunov Functions. 81-90 - Matthias Rungger, Majid Zamani:
Invariance Feedback Entropy of Nondeterministic Control Systems. 91-100
Control I
- Jun Liu:
Robust Abstractions for Control Synthesis: Completeness via Robustness for Linear-Time Properties. 101-110 - Pavithra Prabhakar, Miriam Garcia Soto:
Formal Synthesis of Stabilizing Controllers for Switched Systems. 111-120 - Bastian Schürmann, Matthias Althoff:
Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems. 121-130 - Mohammad Al Khatib, Antoine Girard, Thao Dang:
Scheduling of Embedded Controllers Under Timing Contracts. 131-140
20th Anniversary Talk
- Russ Tedrake:
Convex and Combinatorial Optimization for Dynamic Robots in the Real World. 141
Verification II
- Assalé Adjé:
Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions. 143-152 - Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan:
Robust Model Checking of Timed Automata under Clock Drifts. 153-162 - Hui Kong, Sergiy Bogomolov, Christian Schilling, Yu Jiang, Thomas A. Henzinger:
Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters. 163-172 - Stanley Bak, Parasara Sridhar Duggirala:
HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems. 173-178
Control and Synthesis
- Dominicus P. Borgers, Victor S. Dolk, W. P. M. H. Heemels:
Dynamic Periodic Event-Triggered Control for Linear Systems. 179-186 - Petter Nilsson, Necmiye Ozay:
On a Class of Maximal Invariance Inducing Control Strategies for Large Collections of Switched Systems. 187-196 - Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening:
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. 197-206
Temporal Logics
- Eric S. Kim, Murat Arcak, Sanjit A. Seshia:
A Small Gain Theorem for Parametric Assume-Guarantee Contracts. 207-216 - Houssam Abbas, Matthew O'Kelly, Rahul Mangharam:
Relaxed Decidability and the Robust Semantics of Metric Temporal Logic. 217-225 - Jie Fu, Ivan Papusha, Ufuk Topcu:
Sampling-based Approximate Optimal Control Under Temporal Logic Constraints. 227-235 - Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Ken Butts, Taylor T. Johnson:
Abnormal Data Classification Using Time-Frequency Temporal Logic. 237-242
Constrained Systems
- Andrew M. Pace, Samuel A. Burden:
Piecewise - Differentiable Trajectory Outcomes in Mechanical Systems Subject to Unilateral Constraints. 243-252 - Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet:
Structural Analysis of Multi-Mode DAE Systems. 253-263 - Wen-Loong Ma, Shishir Kolathaya, Eric R. Ambrose, Christian M. Hubicki, Aaron D. Ames:
Bipedal Robotic Running with DURUS-2D: Bridging the Gap between Theory and Experiment. 265-274
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 2026-02-03 23:09 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:
