期刊
IEEE CONTROL SYSTEMS LETTERS
卷 5, 期 4, 页码 1297-1302出版社
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/LCSYS.2020.3034274
关键词
Observers; Computational modeling; Dynamical systems; Estimation error; Aerospace electronics; Control design; Symbolic control; correct-by-design; formal methods; robustness; output feedback; observers; cyber-physical systems
资金
- European Research Council (ERC) under the European Union's Horizon 2020 Research and Innovation Programme [725144]
- French National Research Agency (ANR) [ANR-10-IDEX-03-02]
This letter presents an approach to control continuous or hybrid systems using symbolic models, which describe the transition relation between system states, and proposes an abstraction for synthesizing output-feedback controllers in scenarios with limited information about plant states.
Symbolic control is an approach to the control of continuous or hybrid systems with specifications expressed in a logic form. This approach is based on the use of symbolic models describing the dynamical system behavior with a finite description of the transition relation between its states. In the literature, many results using this approach assume the availability of full and exact information about the system states to compute the control actions. In this letter, we consider a more realistic scenario where only partial information about the plant states is available. This letter proposes an abstraction that makes it possible to synthesize output-feedback controllers. The presence of disturbances and output noise is also considered. A direct path between observer designs in the classical theory and control synthesis in formal methods is established and a numerical example is provided to illustrate the results.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据