Directed Controller Synthesis of discrete event systems: Taming composition with heuristics
File(s) Taming Composition with Heuristics.pdf (348.04 KB)
Accepted version
Author(s)
Ciolek, D
Braberman, V
D'Ippolito, N
Uchitel, S
Type
Conference Paper
Abstract
This paper presents a Directed Controller Synthesis (DCS) technique for discrete event systems. This DCS method explores the solution space for reactive controllers guided by a domain-independent heuristic. The heuristic is derived from an efficient abstraction of the environment based on the componentized way in which complex environments are described. Then by building the composition of the components on-the-fly DCS obtains a solution by exploring a reduced portion of the state space. This work focuses on untimed discrete event systems with safety and co-safety (i.e. reachability) goals. An evaluation for the technique is presented comparing it to other well-known approaches to controller synthesis (based on symbolic representation and compositional analyses).
Date Issued
2016-12-29
Date Acceptance
2016-12-12
Citation
2016 IEEE 55th Conference on Decision and Control, CDC 2016, 2016, pp.4764-4769
ISBN
9781509018376
Publisher
IEEE
Start Page
4764
End Page
4769
Journal / Book Title
2016 IEEE 55th Conference on Decision and Control, CDC 2016
Copyright Statement
© 2016 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Source
2016 IEEE 55th Conference on Decision and Control, CDC 2016
Publication Status
Published
Start Date
2016-12-12
Finish Date
2016-12-14