Linear time logic control of linear systems with disturbances

arXiv1212.6610MaRDI QIDQ6238370FDOQ6238370

Authors: Jinjin Zhang, Zhaohui Zhu, Jianfei Yang 

Publication date: 29 December 2012

Abstract: The formal analysis and design of control systems is one of recent trends in control theory. In this area, in order to reduce the complexity and scale of control systems, finite abstractions of control systems are introduced and explored. In non-disturbance case, the controller of control systems is often generated from the controller of finite abstractions. Recently, Pola and Tabuada provide approximate finite abstractions for linear control systems with disturbance inputs. However, these finite abstractions and original linear systems do not always share the identical specifications, which obstructs designing controller (of linear systems) based on their finite abstractions. This paper tries to bridge such gap between linear systems and their finite abstractions.

This page was built for publication: Linear time logic control of linear systems with disturbances

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6238370)