2 papers
math.OC2012
Linear time logic control of linear systems with disturbances
Jinjin Zhang, Zhaohui Zhu, Jianfei Yang
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 ab…
math.OC2012
A control strategy algorithm for finite alternating transition systems
Jinjin Zhang, Zhaohui Zhu, Jianfei Yang
Recently, there has been an increasing interest in the formal analysis and design of control systems. In this area, in order to reduce the complexity and scale of control systems,…