Symbolic models for control systems


In this paper we provide a bridge between the infinite state models used in control theory to describe the evolution of continuous physical processes and the finite state models used in computer science to describe software. We identify classes of control systems for which it is possible to construct equivalent (bisimilar) finite state models. These… (More)
DOI: 10.1007/s00236-006-0036-6


4 Figures and Tables

Slides referencing similar topics