ROCS
From MaRDI portal
Publication:4561444
DOI10.1145/3178126.3178153;zbMath1417.93122MaRDI QIDQ4561444
Publication date: 6 December 2018
Published in: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) (Search for Journal in Brave)
Full work available at URL: https://dl.acm.org/ft_gateway.cfm?id=3178153&ftid=1955817&dwn=1&CFID=95309350&CFTOKEN=ccac94c54dca1125-060B149F-B64F-2D18-75DCBE7D797A5061
Sensitivity (robustness) (93B35) Nonlinear systems in control theory (93C10) Synthesis problems (93B50) Software, source code, etc. for problems pertaining to systems and control theory (93-04)
Related Items (7)
Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability ⋮ OmegaThreads ⋮ ABS: A formally correct software tool for space-efficient symbolic synthesis ⋮ AROC ⋮ Lazy Abstraction-Based Controller Synthesis ⋮ Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay ⋮ ROCS
Uses Software
This page was built for publication: ROCS
