dtControl

DOI10.1145/3365365.3382220MaRDI QIDQ5146381zbMATH OpenOpenAlexFDO

Authors Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Křetínský, Maximilian Weininger, 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

machine learningdecision treeinvariance 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)

Cited in

(3)

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

This page was built for publication: dtControl

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5146381)