Integrated Symbolic Design of Unstable Nonlinear Networked Control Systems

The research area of Networked Control Systems (NCS) has been the topic of intensive study in the last decade. In this paper, the authors give a contribution to this research line by addressing symbolic control design of (possibly unstable) nonlinear NCS with specifications expressed in terms of automata. They first derive symbolic models that are shown to approximate the given NCS in the sense of (alternating) approximate simulation. They then address symbolic control design with specifications expressed in terms of automata. They finally derive efficient algorithms for the synthesis of the proposed symbolic controllers that cope with the inherent computational complexity of the problem at hand.

Provided by: Cornell University Topic: Networking Date Added: Sep 2012 Format: PDF

Find By Topic