Explaining Control Policies through Predicate Decision Diagrams
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F25%3A00143612" target="_blank" >RIV/00216224:14330/25:00143612 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1145/3716863.3718049" target="_blank" >http://dx.doi.org/10.1145/3716863.3718049</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1145/3716863.3718049" target="_blank" >10.1145/3716863.3718049</a>
Alternative languages
Result language
angličtina
Original language name
Explaining Control Policies through Predicate Decision Diagrams
Original language description
Safety-critical controllers of complex systems are hard to construct manually. Automated approaches such as controller synthesis or learning provide a tempting alternative but usually lack explainability. To this end, learning decision trees (DTs) has been prevalently used towards an interpretable model of the generated controllers. However, DTs do not exploit shared decision making, a key concept exploited in binary decision diagrams (BDDs) to reduce their size and thus improve explainability. In this work, we introduce predicate decision diagrams (PDDs) that extend BDDs with predicates and thus unite the advantages of DTs and BDDs for controller representation. We establish a synthesis pipeline for efficient construction of PDDs from DTs representing controllers, exploiting reduction techniques for BDDs also for PDDs.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
—
Continuities
V - Vyzkumna aktivita podporovana z jinych verejnych zdroju
Others
Publication year
2025
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
HSCC '25: Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control
ISBN
9798400715044
ISSN
—
e-ISSN
—
Number of pages
12
Pages from-to
1-12
Publisher name
Association for Computing Machinery
Place of publication
Irvine, USA
Event location
Irvine, CA
Event date
Jan 1, 2025
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
001528165000004