Sensor/Actuator Abstractions for Symbolic Embedded Control Design

In this paper we consider the problem of developing sensor/actuator abstractions for embedded control design. These abstractions take the form of inequalities relating sensor/actuator characteristics with the continuous dynamics' output. When satisfied, they allow to decouple control design from the choice of sensor/actuators, thus simplifying control design while ensuring implementability.

[1]  George J. Pappas.  LINEAR TIME LOGIC CONTROL OF LINEAR SYSTEMS , 2004 .

[2]  Thomas A. Henzinger,et al.  Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.

[3]  Emilio Frazzoli.  Explicit solutions for optimal Maneuver-based motion planning , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[4]  Antonio Bicchi,et al.  On the reachability of quantized control systems , 2002, IEEE Trans. Autom. Control..

[5]  Paulo Tabuada,et al.  From discrete specifications to hybrid control , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[6]  Wing Shing Wong,et al.  Systems with finite communication bandwidth constraints. II. Stabilization with limited information feedback , 1999, IEEE Trans. Autom. Control..

[7]  Daniel Liberzon,et al.  Hybrid feedback stabilization of systems with quantized signals , 2003, Autom..

[8]  Antonio Bicchi,et al.  Optimal Control of Quantized Input Systems , 2002, HSCC.

[9]  Kristi A. Morgansen,et al.  Limited communication control , 1999 .

[10]  J. Hespanha,et al.  Towards the Control of Linear Systems with Minimum Bit-Rate , 2002 .

[11]  Joost-Pieter Katoen,et al.  A probabilistic extension of UML statecharts: Specification and Verification. , 2002 .

[12]  Magnus Egerstedt,et al.  Mode Reconstruction for Source Coding and Multi-modal Control , 2003, HSCC.

[13]  Paulo Tabuada,et al.  Finite bisimulations of controllable linear systems , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[14]  Bruce H. Krogh,et al.  On Control with Bounded Computational Resources , 2002, FTRTFT.

[15]  D. Hristu-Varsakelis,et al.  On the structural complexity of the motion description language MDLe , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[16]  Sekhar Tatikonda,et al.  Control under communication constraints , 2004, IEEE Transactions on Automatic Control.

[17]  Alberto L. Sangiovanni-Vincentelli,et al.  Synthesis of Robust Control Systems under Resource Constraints , 2002, HSCC.

[18]  Nicola Elia,et al.  Stabilization of linear systems with limited information , 2001, IEEE Trans. Autom. Control..

[19]  Paulo Tabuada,et al.  Flatness and finite bisimulations in discrete time , 2004 .