RECONFIGURATION OF DISCRETELY CONTROLLED HYBRID SYSTEMS FOR CHANGING SPECIFICATIONS

作     者：Thanh Ha Tran Olaf Stursberg Sebastian Engell 

作者机构：Process Control Laboratory (BCI-AST) University of Dortmund 44221 Dortmund Germany Institute of Automatic Control Engineering (EI-LSR) Technical University of Munich 80290 Munich Germany 

出 版 物：《IFAC Proceedings Volumes》 

年 卷 期：2007年第40卷第6期

页      面：115-120页

主　　题：Reconfiguration Synthesis Hybrid Systems Automata Logic Control 

摘      要：This paper proposes a method for discrete controller reconfiguration of hybrid systems with uncertain linear dynamics to account for abrupt events such as the occurrence of actuator faults or changes in the product specifications. Starting from a hybrid plant model and a controller modeled as a finite state automaton, a new controller is obtained considering an updated specification or changes in the plant structure by switching among logic controllers determined offline. The automatic computation of the controllers is carried out using a controller synthesis approach, which employs the concept of model abstraction and refinement. The method is applied to a multi-tank example.