Published August 31, 2018
| Published
Journal Article
Open
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings
Abstract
This paper presents a control synthesis algorithm for dynamical systems to satisfy specifications given in a fragment of linear temporal logic. It is based on an abstraction-refinement scheme with nonuniform partitions of the state space. A novel encoding of the resulting transition system is proposed that uses binary decision diagrams for efficiency. We discuss several factors affecting scalability and present some benchmark results demonstrating the effectiveness of the new encodings. These ideas are also being implemented on a publicly available prototype tool, ARCS, that we briefly introduce in the paper.
Additional Information
© 2016, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. Available online 31 August 2018. This work is supported in part by DARPA grant N66001-14-1-4045, and NSF grants CNS1446298 and ECCS-1553873. For the extended version, see Lindvall Bulancea et al. (2018).Attached Files
Published - 1-s2.0-S2405896318311170-main.pdf
Files
1-s2.0-S2405896318311170-main.pdf
Files
(503.0 kB)
Name | Size | Download all |
---|---|---|
md5:a0b93939a3201bb9c8c05e1815316a1c
|
503.0 kB | Preview Download |
Additional details
- Eprint ID
- 89588
- Resolver ID
- CaltechAUTHORS:20180912-145508798
- N66001-14-1-4045
- Defense Advanced Research Projects Agency (DARPA)
- CNS-1446298
- NSF
- ECCS-1553873
- NSF
- Created
-
2018-09-12Created from EPrint's datestamp field
- Updated
-
2021-11-16Created from EPrint's last_modified field