Process Performance Verification Using Viability Theory

The development of efficient methods for process performance verification has drawn a lot of attention in the research community. Viability theory is a mathematical tool to identify the trajectories of a dynamical system which remains in a constraint set. In this paper, viability theory is investigated for this purpose in the case of nonlinear processes that can be represented in Linear Parameter Varying (LPV) form. In particular, verification algorithms based on the use of invariance and viability kernels and capture basin are proposed. The difficulty with the application of this theory is the computation of these sets. A Lagrangian method has been used to approximate these sets. Because of simplicity and efficient computations, zonotopes are adopted for set representation. Two new sets called Safe Work Area (SWA) and Required Performance (RP) are defined and an algorithm is proposed to use these concepts for the verification purpose. Finally, two application examples based on well-known case studies, a two-tank system and PH neutralization plant, are provided to show the effectiveness of the proposed method.

[1]  Antoine Girard,et al.  Set Propagation Techniques for Reachability Analysis , 2021, Annu. Rev. Control. Robotics Auton. Syst..

[2]  Vicenç Puig,et al.  Verification of the control system performance using viability theory , 2017, 2017 4th International Conference on Control, Decision and Information Technologies (CoDIT).

[3]  Jaime F. Fisac,et al.  Reachability-Based Safety and Liveness of Unmanned Aerial Vehicle Platoons on Air Highways , 2016 .

[4]  Mohieddine Jelali,et al.  The current state of control loop performance monitoring – A survey of application in industry , 2016 .

[5]  José A. De Doná,et al.  Robust fault estimation and compensation for LPV systems under actuator and sensor faults , 2015, Autom..

[6]  Jong Soo Kim,et al.  CheckMATE: Confronting your favourite new physics model with LHC data , 2013, Comput. Phys. Commun..

[7]  R. Tóth,et al.  Embedding of Nonlinear Systems in a Linear Parameter-Varying Representation , 2014 .

[8]  Josep M. Guerrero,et al.  Analysis, Design, and Experimental Verification of a Synchronous Reference Frame Voltage Control for Single-Phase Inverters , 2014, IEEE Transactions on Industrial Electronics.

[9]  Didier Dumur,et al.  Zonotopes: From Guaranteed State-estimation to Control , 2013 .

[10]  Ian M. Mitchell,et al.  Lagrangian methods for approximating the viability kernel in high-dimensional systems , 2013, Autom..

[11]  J. Manuel Cano Izquierdo,et al.  Control Loop Performance Assessment With a Dynamic Neuro-Fuzzy Model (dFasArt) , 2012, IEEE Transactions on Automation Science and Engineering.

[12]  Christoffer Sloth,et al.  Formal Verification of Continuous Systems , 2012 .

[13]  Albert Díaz-Guilera.  Viability and Resilience of Complex Systems: Concepts, Methods and Case Studies from Ecology and Society (Understanding Complex Systems) by Guillaume Deffuant and Nigel Gilbert (eds.) , 2012, J. Artif. Soc. Soc. Simul..

[14]  Andreas Varga,et al.  Optimization Based Clearance of Flight Control Laws , 2012 .

[15]  Rajeev Alur,et al.  Formal verification of hybrid systems , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

[16]  Wei Zhang,et al.  Hybrid Systems in Robotics , 2011, IEEE Robotics & Automation Magazine.

[17]  Guillaume Deffuant,et al.  Viability and Resilience of Complex Systems: Concepts, Methods and Case Studies from Ecology and Society , 2011 .

[18]  Jean-Pierre Aubin,et al.  Viability Theory: New Directions , 2011 .

[19]  Roland Toth,et al.  Modeling and Identification of Linear Parameter-Varying Systems , 2010 .

[20]  A. Girard,et al.  Reachability analysis of linear systems using support functions , 2010 .

[21]  John Lygeros,et al.  Air traffic management with target windows: An approach using reachability , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[22]  Marco Lovera,et al.  Towards integrated modelling and parameter estimation: an LFT-Modelica approach , 2009 .

[23]  Pierre-Brice Wieber,et al.  Viability and predictive control for safe locomotion , 2008, 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[24]  Eduardo F. Camacho,et al.  Safety verification and adaptive model predictive control of the hybrid dynamics of a fuel cell system , 2008 .

[25]  Franco Blanchini,et al.  Set-theoretic methods in control , 2007 .

[26]  J. Bokor,et al.  A grey-box identification of an LPV vehicle model for observer-based side slip angle estimation , 2007, 2007 American Control Conference.

[27]  Ian M. Mitchell.  Comparing Forward and Backward Reachability as Tools for Safety Analysis , 2007, HSCC.

[28]  Alexandre M. Bayen,et al.  Aircraft Autolander Safety Analysis Through Optimal Control-Based Reach Set Computation , 2007 .

[29]  H. Werner,et al.  Automated Generation and Assessment of Affine LPV Models , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[30]  Thao Dang.  Approximate Reachability Computation for Polynomial Systems , 2006, HSCC.

[31]  Antoine Girard,et al.  Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs , 2006, HSCC.

[32]  Christophe Combastel,et al.  Generation of Set Membership Tests for Fault Diagnosis and Evaluation of their Worst Case Sensitivity , 2006 .

[33]  Kim G. Larsen,et al.  A Tutorial on Uppaal 4 . 0 , 2006 .

[34]  C. Combastel.  A State Bounding Observer for Uncertain Non-linear Continuous-time Systems based on Zonotopes , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[35]  Eduardo F. Camacho,et al.  Guaranteed state estimation by zonotopes , 2005, Autom..

[36]  Antoine Girard,et al.  Reachability of Uncertain Linear Systems Using Zonotopes , 2005, HSCC.

[37]  M. V. Iordache,et al.  Diagnosis and Fault-Tolerant Control , 2007, IEEE Transactions on Automatic Control.

[38]  Jose A. Romagnoli,et al.  Real-time implementation of multi-linear model-based control strategies––an application to a bench-scale pH neutralization reactor , 2004 .

[39]  Patrick Saint-Pierre.  Viable Capture Basin for Studying differential and Hybrid Games: Application to Finance , 2004, IGTR.

[40]  Alexandre M. Bayen,et al.  VERIFICATION OF HYBRID SYSTEMS , 2004 .

[41]  C. Combastel.  A state bounding observer based on zonotopes , 2003, 2003 European Control Conference (ECC).

[42]  Alexandre M. Bayen,et al.  Computational techniques for the verification of hybrid systems , 2003, Proc. IEEE.

[43]  Ian M. Mitchell,et al.  Safety verification of conflict resolution manoeuvres , 2001, IEEE Trans. Intell. Transp. Syst..

[44]  George J. Pappas,et al.  Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.

[45]  Dinesh K. Pai,et al.  Programming and control of robots by means of differential algebraic inequalities , 2000, IEEE Trans. Robotics Autom..

[46]  Gino van den Bergen.  A Fast and Robust GJK Implementation for Collision Detection of Convex Objects , 1999, J. Graphics, GPU, & Game Tools.

[47]  W. Leithead,et al.  Gain-scheduled and nonlinear systems : dynamic analysis by velocity-based linearization families , 1998 .

[48]  Thomas A. Henzinger,et al.  HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.

[49]  Stefania Gnesi,et al.  An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System , 1995, SAFECOMP.

[50]  Jeff S. Shamma,et al.  Gain-Scheduled Missile Autopilot Design Using Linear Parameter Varying Transformations , 1993 .

[51]  J. Linhart,et al.  Approximation of a ball by zonotopes using uniform distribution on the sphere , 1989 .

[52]  J. Löfberg,et al.  Identification of LPV State-Space Models Using H2-Minimisation , 2022 .