Effective Synthesis of Switching Controllers for Linear Systems (2000)
Cached
Download Links
| Citations: | 60 - 8 self |
BibTeX
@MISC{Asarin00effectivesynthesis,
author = {Eugene Asarin and Olivier Bournez and Thao Dang and Oded Maler and Amir Pnueli},
title = {Effective Synthesis of Switching Controllers for Linear Systems},
year = {2000}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this work we suggest a novel methodology for synthesizing switching controllers for continuous and hybrid systems whose dynamics are defined by linear differential equations. We formulate the synthesis problem as finding the conditions upon which a controller should switch the behavior of the system from one "mode" to another in order to avoid a set of bad states, and propose an abstract algorithm which solves the problem by an iterative computation of reachable states. We have implemented a concrete version of the algorithm, which uses a new approximation scheme for reachability analysis of linear systems.
