期刊
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
卷 57, 期 2, 页码 534-539出版社
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/TAC.2011.2164740
关键词
Approximate bisimulation; digital control systems; nonlinear systems; on-the-fly design; symbolic models
资金
- Center of Excellence for DEWS
- European Union [257462 HYCON2]
Symbolic models of continuous and hybrid systems have been studied for a long time, because they provide a formal approach to solve control problems where software and hardware interact with the physical world. While being powerful, this approach often encounters some limitations in concrete applications, because of the large size of the symbolic models needed to be constructed. Inspired by on-the-fly techniques for verification and control of finite state machines, in this note we propose an algorithm that integrates the construction of the symbolic models with the design of the symbolic controllers. Computational complexity of the proposed algorithm is discussed and an illustrative example is included.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据