Logo Logo
Switch Language to German
Ashok, Pranav; Jackermeier, Mathias; Jagtap, Pushpak; Kretinsky, Jan; Weininger, Maximilian; Zamani, Majid (2020): Demo: dtControl: Decision Tree Learning Algorithms for Controller Representation. In: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control (HSCC2020) (Part of Cps-Iot Week)
Full text not available from 'Open Access LMU'.


Decision tree learning is a popular classification technique most commonly used in machine learning applications. Recent work has shown that decision trees can be used to represent provably-correct controllers concisely. Compared to representations using lookup tables or binary decision diagrams, decision tree representations are smaller and more explainable. We present dtControl, an easily extensible tool offering a wide variety of algorithms for representing memoryless controllers as decision trees. We highlight that the trees produced by dtControl are often very concise with a single-digit number of decision nodes. This demo is based on our tool paper [1].