## Effective Synthesis of Switching Controllers for Linear Systems (2000)

### Cached

### Download Links

Citations: | 76 - 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

### 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.