IEEE - Institute of Electrical and Electronics Engineers, Inc. - Decomposing controller synthesis for safety specifications

2016 IEEE 55th Conference on Decision and Control (CDC)

Author(s): Eric Dallal ; Paulo Tabuada
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 December 2016
Conference Location: Las Vegas, NV, USA
Conference Date: 12 December 2016
Page(s): 5,720 - 5,725
ISBN (Electronic): 978-1-5090-1837-6
ISBN (DVD): 978-1-5090-1844-4
DOI: 10.1109/CDC.2016.7799148
Regular:

We present a method to decompose synthesis of controllers for safety specifications into smaller controller synthesis problems. The method applies to systems that we call decomposable, which means... View More

Advertisement