SMC
From MaRDI portal
Publication:5275314
DOI10.1145/3049797.3049819zbMath1366.68102OpenAlexW2606000287MaRDI QIDQ5275314
Pierluigi Nuzzo, George J. Pappas, Sanjit A. Seshia, Yasser Shoukry, Paulo Tabuada, Alberto L. Sangiovanni-Vincentelli
Publication date: 11 July 2017
Published in: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3049797.3049819
Analysis of algorithms and problem complexity (68Q25) Convex programming (90C25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (5)
Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. ⋮ Velocity obstacle-based trajectory planner for anthropomorphic arms ⋮ Robust control for signal temporal logic specifications using discrete average space robustness ⋮ Validating numerical semidefinite programming solvers for polynomial invariants ⋮ On the computational complexity of the secure state-reconstruction problem
Uses Software
This page was built for publication: SMC
