dtControl

DOI10.1145/3365365.3382220OpenAlexW3022567966MaRDI QIDQ5146381

Mathias Jackermeier, Pushpak Jagtap, Jan Křetínský, Maximilian Weininger, Pranav Ashok, Majid Zamani

Publication date: 25 January 2021

Published in: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2002.04991

zbMATH Keywords

decision treemachine learninginvariance entropysymbolic controlexplainabilitycontroller representationnon-uniform quantizer

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (3)

Lazy controller synthesis for monotone transition systems and directed safety specifications ⋮ dtControl ⋮ Numerical over-approximation of invariance entropy via finite abstractions

This page was built for publication: dtControl