Repository logo
  • Log In
    Log in via Symplectic to deposit your publication(s).
Repository logo
  • Communities & Collections
  • Research Outputs
  • Statistics
  • Log In
    Log in via Symplectic to deposit your publication(s).
  1. Home
  2. Faculty of Engineering
  3. Faculty of Engineering
  4. Directed Controller Synthesis of discrete event systems: Taming composition with heuristics
 
  • Details
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
URI
http://hdl.handle.net/10044/1/44931
DOI
https://www.dx.doi.org/10.1109/CDC.2016.7798996
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
About
Spiral Depositing with Spiral Publishing with Spiral Symplectic
Contact us
Open access team Report an issue
Other Services
Scholarly Communications Library Services
logo

Imperial College London

South Kensington Campus

London SW7 2AZ, UK

tel: +44 (0)20 7589 5111

Accessibility Modern slavery statement Cookie Policy

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science

  • Cookie settings
  • Privacy policy
  • End User Agreement
  • Send Feedback