Symbolic models for control systems

Authors:
Paulo Tabuada
Affiliations:
University of California at Los Angeles, Electrical Engineering Department, 66-147F Engineering IV Building, 90095-1594, Los Angeles, CA, USA
Venue:
Acta Informatica - Hybrid Systems
Year:
2007

Citing 0
Cited 3

Approximate Simulation Relations for Hybrid Systems

Discrete Event Dynamic Systems
Approximately bisimilar symbolic models for nonlinear control systems

Automatica (Journal of IFAC)
Approximate simulation relations and finite abstractions of quantized control systems

HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 constructions are based on finite, but otherwise arbitrary, partitions of the set of inputs or outputs of a control system.