Title :
A hierarchical design methodology for implementing safety-critical constrained controllers with guaranteed stability and failure detection
Author :
Kvasnica, Michal ; Gondhalekar, Ravi ; Fikar, Miroslav
Author_Institution :
Slovak Univ. of Technol. in Bratislava, Bratislava, Slovakia
Abstract :
A control input correction strategy is developed whereby an arbitrary given control law may be deployed when constraint satisfaction, closed-loop stability and safety-critical certification are required. Furthermore the proposed approach allows for notification in case the given control law fails in satisfying basic performance criteria, or when hijacking of communications links or sabotage is suspected. The proposed approach employs a multi-parametric programming approach to least-invasively correct a given controller in a way that is implementable in a manner certifiable for safety-critical deployments.
Keywords :
closed loop systems; constraint satisfaction problems; controllers; failure analysis; stability; telecommunication links; closed-loop stability; communication links; constraint satisfaction; control input correction strategy; control law; failure detection; hierarchical design methodology; multiparametric programming approach; safety-critical certification; safety-critical constrained controllers; safety-critical deployments; stability; Electron tubes; Lyapunov methods; Optimization; Programming; Software; Stability criteria; Trajectory;
Conference_Titel :
Decision and Control (CDC), 2012 IEEE 51st Annual Conference on
Conference_Location :
Maui, HI
Print_ISBN :
978-1-4673-2065-8
Electronic_ISBN :
0743-1546
DOI :
10.1109/CDC.2012.6426551