IIIT Hyderabad Publications |
|||||||||
|
Parametrization of completeness in symbolic abstraction of bounded input linear systemsAuthors: Santosh Arvind Adimoolam Date: 2014-02-06 Report no: IIIT/TR/2014/12 AbstractA good state-time quantized symbolic abstraction of an already input quantized control system would satisfy three conditions: proximity, soundness and completeness. Extant approaches for symbolic abstraction of unstable systems limit to satisfying proximity and soundness but not completeness. Instability of systems is an impediment to constructing fully complete state-time quantized symbolic models for bounded and quantized input unstable systems, even using supervisory feedback. Therefore, in this paper we come up with a way of parametrization of completeness of the symbolic model through the quintessential notion of "Trimmed-Input Approximate Bisimulation" which is introduced in the paper. The amount of completeness is specifed by a parameter called "trimming" of the set of input trajectories. We subsequently discuss a procedure of constructing statetime quantized symbolic models which are sound, proximate and near-complete with respect to the time quantized models. Full report: pdf Centre for Software Engineering Research Lab |
||||||||
Copyright © 2009 - IIIT Hyderabad. All Rights Reserved. |