Active Fault Diagnosis for Uncertain Systems
|
|
- Arline Powell
- 5 years ago
- Views:
Transcription
1 Active Fault Diagnosis for Uncertain Systems Davide M. Raimondo 1 Joseph K. Scott 2, Richard D. Braatz 2, Roberto Marseglia 1, Lalo Magni 1, Rolf Findeisen 3 1 Identification and Control of Dynamic Systems Laboratory, University of Pavia 2 Process Systems Engineering Laboratory Massachusetts Institute of Technology 3 Laboratory for Systems Theory and Automatic Control, Otto-von-Guericke University Magdeburg 1
2 Fault Diagnosis Faults / Component malfunctions Compressor failure, stuck valves, faulty sensors, etc. Faults are inevitable and frequent in complex processes Large number of components Highly automated, many control components Serious threat to safe and profitable operation Minor faults can lead to critical situations via cascading effects Petrochemical industry losses estimated $20 billion/year Boeing Dreamliner Battery Fire BP Texas City Explosion
3 Passive Fault Diagnosis diagnosis Process Monitoring input: u k Process output: y k noise: v k disturbance: wk Passive fault diagnosis (Industrial standard) Real time analysis of closed-loop input-output data Multivariate statistical methods, filters, parity relations, etc. Complications Other sources of anamolies (disturbances, measurement noise) Poor diagnosability at operating conditions, feedback compensation 3
4 Active Fault Diagnosis diagnosis Process Monitoring input: u k Process output: y k noise: v k disturbance: wk Active fault diagnosis Design input to improve diagnosability of faults Faster, more reliable diagnosis Exploit knowledge from dynamic fault models 4
5 Active Fault Diagnosis diagnosis Process Monitoring input: u k Process output: y k noise: v k disturbance: wk Objective: Given a library of fault models, compute an input that is guaranteed to distinguish between all possible models within a specified time horizon. 5
6 Active Fault Diagnosis diagnosis Process Monitoring input: u k Process output: y k noise: v k disturbance: wk Objective: Given a library of fault models, compute an input that is guaranteed to distinguish between all possible models within a specified time horizon. May be done periodically during normal operation, or after a fault has been detected that cannot be diagnosed 6
7 Faulty DC Motor i( t) Ra / L Ke / L i( t) 1 / L ut () n( t) K / J f / J n( t) 0 y 1 2 () t 1 0 i( t) y ( t) 0 1 n( t) t 1 r 1 Faults Increase of armature resistance Wearing of brush, low brush pressure Opening of coil Short circuit of two commutator bus Coil disconnect from commutator bar Faults reflected in model parameters 6 fault models u i R L K K J a 1 e t Armature voltage Current Resistance Inductance Torque constant Back EMF constant Motor inertia 7
8 Two-tank system Faults Leakage in tank 1 represented by the flow q 1 L Valve V 12 clogged and its throughput is reduced by 50% Leak in tank 2 that increases outflow to 5 times its nominal value 8
9 Outline Input design problem formulation Solution method umerical results Extensions Conclusions 9
10 Problem Formulation x [ i] [ i] [ i] [ i] k 1 A xk B uk Bw wk r [] i [ i] [ i] k k v vk s y C x D i {1,, n } m Multi-model framework i=1 is nominal, the rest faulty 10
11 Problem Formulation x [ i] [ i] [ i] [ i] k 1 A xk B uk Bw wk r [] i [ i] [ i] k k v vk s y C x D i {1,, n } m Multi-model framework i=1 is nominal, the rest faulty Objective: Compute an input ( u0,, u 1 ) such that every possible output ( y,, y ) is consistent with exactly one model i. 0 11
12 Problem Formulation x [ i] [ i] [ i] [ i] k 1 A xk B uk Bw wk r [] i [ i] [ i] k k v vk s y C x D i {1,, n } m x ( w k X, v ) W V, k k X, W, V zonotopes i unknown but constant Multi-model framework i=1 is nominal, the rest faulty Objective: Compute an input ( u0,, u 1 ) such that every possible output ( y,, y ) is consistent with exactly one model i. 0 12
13 Problem Formulation Sequence notation: x ( x,, x ), u ( u,, u ), v ( v,, v ), y ( y,, y ), w ( w,, w ) Solution maps: [] i [] i y x ( x, u, w) 0 ( x, u, w, v) 0 Reachable sets: X [ i] [] i u [ i] [ i] u ( ) { ( x, u, w) : ( x, w) X W} Y ( ) { ( x, u, w, v) : ( x, w, v) X W V}
14 Problem Formulation Input design problem: inf J( u) u s.t. u U, k {0,, 1} k [ i] [ j] u Y ( ) Y ( u), i, j, i j 14
15 Problem Formulation Input design problem: inf u J( u) s.t. u U, k {0,, 1} k [ i] [ j] u Y ( ) Y ( u), i, j, i j Quadratic objective (PD) Choose input that is minimally invasive 15
16 Problem Formulation Input design problem: inf J( u) u s.t. u Y U, k {0,, 1} k [ i] [ j] u ( ) Y ( u), i, j, i j Polyhedral input constraints 16
17 Problem Formulation Input design problem: inf J( u) u s.t. u U, k {0,, 1} k [ i] [ j] u Y ( ) Y ( u), i, j, i j Constraint guaranteeing diagnosability (necessary and sufficient) output space Y [1] ( u) Y [2] ( u) Y [3] ( u) Input distinguishes (1,2), (1,3), not (2,3) Infeasible 17
18 Solution Overview Reachable set computations using zonotopes Zonotopes are convex polytopes with special symmetry If W, V, and X 0 are zonotopes output reachable sets are zonotopes ecessary computations are very efficient and numerically stable Center is an affine function of the input [ i ] [ i] [ i] ( ) G ( ) : 1 Y u c u generator matrix center 1 18
19 Solution Overview Reachable set computations using zonotopes Zonotopes are convex polytopes with special symmetry If W, V, and X 0 are zonotopes output reachable sets are zonotopes ecessary computations are very efficient and numerically stable Center is an affine function of the input [ i ] [ i] [ i] ( ) G ( ) : 1 Y u c u Z Z G G ( c c ) : RZ RG Rc : 1 19
20 Problem Reformulation 20
21 Problem Reformulation Input design problem: inf J( u) u s.t. u U, k {0,, 1} k [ i] [ j] u Y ( ) Y ( u), i, j, i j 21
22 Problem Reformulation Input design problem: inf J( u) u s.t. u U, k {0,, 1} k [ i] [ j] u Y ( ) Y ( u), i, j, i j Reformulate diagnosability constraints using zonotope structure 22
23 Problem Reformulation Diagnosability constraint: Y [ i] [ j] u Y ( ) ( u) 23
24 Problem Reformulation Diagnosability constraint: Y [ i] [ j] u Y ( ) ( u) [ i ] [ i] [ i] ( ) G ( ) : 1 Y u c u [] i Y ( u) [ j Y ] ( u) 24
25 Problem Reformulation Diagnosability constraint: Y [ i] [ j] u Y ( ) ( u) [] i [ i] [ i], ( ) G ( ) : Y u c u [] i Y ( u) [ j Y ] ( u) 25
26 Problem Reformulation Diagnosability constraint: Y [ i] [ j] u Y ( ) ( u) [] i [ i] [ i], ( ) G ( ) : Y u c u [] i Y ( u) [ j Y ] ( u) [ ij ]( u) Smallest such that intersection is nonempty 26
27 Problem Reformulation Diagnosability constraint: Y [ i] [ j] u Y ( ) ( u) [ ij ] ( u) 1 [] i [ i] [ i], ( ) G ( ) : Y u c u [] i Y ( u) [ j Y ] ( u) [ ij ]( u) Smallest such that intersection is nonempty 27
28 Problem Reformulation Diagnosability constraint: Y [ i] [ j] u Y ( ) ( u) [ ij ] ( u) 1 [] i [ i] [ i], ( ) G ( ) : Y u c u [] i Y ( u) [ j Y ] ( u) [ ij ] [ ij ] ( u) min [ i] [ i] [ j ] [ j ] s.t. G c ( u) G c ( u) [ ij ] [ ij ], 28
29 Problem Reformulation Input design problem: min J( u) u s.t. u U, k {0,, 1} k [ ij ] ( u) 1, i, j, i j 29
30 Problem Reformulation Input design problem: min J( u) u s.t. u U, k {0,, 1} k [ ij ] ( u) 1, i, j, i j Embedded LP s lead to a bilevel program Reformulate using nec. and suff conditions of optimality 30
31 Problem Reformulation Input design problem: min J( u) u s.t. u U, k { 0,, 1} k [ ij ] 1 [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] k ( k ) 0, k ( k [ ij ] ) 0 [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] 2k ( k ) 0, 2k ( k [ ij ] ) S S S S S u 0 0 i, j, i j, 31
32 Problem Reformulation Input design problem: min J( u) u s.t. u U, k { 0,, 1} k [ ij ] 1 [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] k ( k ) 0, k ( k [ ij ] ) 0 [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] 2k ( k ) 0, 2k ( k [ ij ] ) S S S S S u 0 0 i, j, i j, onconvex complementarity constraints Reformulate as linear constraints on binary variables 32
33 Problem Reformulation Input design problem: min J( u) u s.t. u U, k {0,, 1} k p [ ij ] 1 [ ij ] [ ij ] [ ij ] [ ij] [ ij ] [ ij ] [ ij ] [ ij] [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] 1 T2 T3 T4 5 [ ij ] [ ij ] k { 0,1} S S S S S u 0 T T p 0, i, j, i j 33
34 Problem Reformulation Input design problem: min J( u) u s.t. u U, k {0,, 1} k p [ ij ] 1 [ ij ] [ ij ] [ ij ] [ ij] [ ij ] [ ij ] [ ij ] [ ij] [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] [ ij ] 1 T2 T3 T4 5 [ ij ] [ ij ] k { 0,1} S S S S S u 0 T T p 0, i, j, i j Final form: Mixed-integer quadratic program (MIQP) Can be solved efficiently using CPLEX 34
35 Complexity umber of binary variables: nm [] i B 2( n 1), order of each ( ) 2 y Y u 35
36 Complexity umber of binary variables: nm [] i B 2 ( n 1), order of each ( ) 2 y Y u 36
37 Complexity umber of binary variables: nm [] i B 2 ( n 1), order of each ( ) 2 y Y u Zonotope order reduction Compute a conservative enclosure with fewer generators Large reduction is often possible with very small conservatism Order = 6 Order = 5 Order = 3 Order = 2 37
38 Complexity umber of binary variables: nm [] i B 2 ( n 1), order of each ( ) 2 y Y u Zonotope order reduction Compute a conservative enclosure with fewer generators Large reduction is often possible with very small conservatism Order reduction significantly reduces MIQP complexity Introduces some conservatism, often very little Maintains the guarantee of diagnosis Pairs elimination Replacement of pairs with hyperplanes Could introduce big conservatism 38
39 umerical Comparison CPU time vs. horizon length for a 2 model problem (separation of Y i (u) Existing Approach Polytope computations ew Approach Zonotope computations The use of zonotopes leads to a much more efficient algorithm 39
40 umerical Results 40
41 umerical Results y 2 y 2 k 1 k 2 y 2 y1 y1 k 3 k 4 y 2 Problem size 2 inputs, 2 states, 2 outputs Faults 5 fault models Reachable sets Disjoint at k=4 CPU time s y1 y1 41
42 umerical Results (Other example) Problem size 2 inputs, 2 states, 1 outputs Faults 5 fault models Reachable sets Disjoint at k=3 CPU time 0.01 s Input norm
43 umerical Results (Other example) Separation of Y ( u) Problem size 2 inputs, 2 states, 1 outputs Faults 5 fault models Reachable sets Disjoint at k=2 CPU time 0.36 s Input norm
44 Faulty DC Motor i( t) Ra / L Ke / L i( t) 1 / L ut () n( t) K / J f / J n( t) 0 y 1 2 () t 1 0 i( t) y ( t) 0 1 n( t) t 1 r 1 Faults Increase of armature resistance Wearing of brush, low brush pressure Opening of coil Short circuit of two commutator bus Coil disconnect from commutator bar Faults reflected in model parameters 6 fault models u i R L K K J a 1 e t Armature voltage Current Resistance Inductance Torque constant Back EMF constant Motor inertia 44
45 Faulty DC Motor Results Output sets Disjoint at k=9 CPU time s y 1 (rad/s) y 2 (amp) 45
46 Two-tank system Faults Leakage in tank 1 represented by the flow q 1 L Valve V 12 clogged and its throughput is reduced by 50% Leak in tank 2 that increases outflow to 5 times its nominal value 46
47 Two-tank system 47
48 Two-tank system 48
49 Extensions 49
50 Moving Horizon Input Design Idea: make use of measurements to reduce the time and the cost needed for diagnosis 50
51 Moving Horizon Input Design Idea: make use of measurements to reduce the time and the cost needed for diagnosis This set is difficult to compute exactly (and is not a zonotope anymore ) H [ i] X0 (u, y, ) X [] i 1 1 (u ) X [] i m ( y ) 1 51
52 Moving Horizon Input Design Idea: make use of measurements to reduce the time and the cost needed for diagnosis Outer Approximation! O [ i] X0 (u, y, ) X [] i 1 1 (u ) X [] i m ( y ) 1 52
53 Moving Horizon Input Design Idea: make use of measurements to reduce the time and the cost needed for diagnosis Drawback of the approximation There is no guarantee that the new solution will be shorter in time or lower in cost than the shifted one! Outer Approximation! O [ i] X0 (u, y, ) X [] i 1 1 (u ) X [] i m ( y ) 1 53
54 Moving Horizon Input Design Idea: make use of measurements to reduce the time and the cost needed for diagnosis Solution To provide guarantees compare always the new input sequence with the shifted one and choose the best one! Outer Approximation! O [ i] X0 (u, y, ) X [] i 1 1 (u ) X [] i m ( y ) 1 54
55 Explicit Moving Horizon Design + Fast online computation (suitable for fast processes!) - Weaker set-valued observer One map for each combination of models! 55
56 Stochastic Deterministic Keep the deterministic guarantees while maximizing the probability of early termination Uniform distributions with finite support What is the probability that if model i is correct I will get measurements consistent only with model i? [] i Y ( u) [ j Y ] ( u) 56
57 Stochastic Deterministic Keep the deterministic guarantees while maximizing the probability of early termination Uniform distributions with finite support What is the probability that if model i is correct I will get measurements consistent only with model i? [] i Y ( u) [ j Y ] ( u) Maximize 57
58 Stochastic Deterministic Keep the deterministic guarantees while maximizing the probability of early termination Uniform distributions with finite support 58
59 Stochastic Deterministic Keep the deterministic guarantees while maximizing the probability of early termination Uniform distributions with finite support Extension to non-uniform distributions with scenario approach (work in progress) 59
60 Closed-loop control diagnosis Process Monitoring input: u k Controller disturbance: wk Process output: y k noise: v k 60
61 With fault tolerant MPC 61
62 With fault tolerant MPC 62
63 With fault tolerant MPC Extension to stochastic MPC (work in progress) 63
64 Conclusions Active fault diagnosis Design input to improve diagnosability of faults Faster, more reliable diagnosis Input design problem for guaranteed fault diagnosis Input separates the possible outputs of each pair of models Difficult nonconvex program Proposed solution method Use zonotopes for reachability computations Zonotope structure leads to reformulation as an MIQP Complexity controlled by zonotope order reduction Much more efficient than existing methods Capable of handling several fault models simultaneously 64
65 Conclusions Work in progress Polynomial dynamics on-uniform finite support distributions Future work Distributed active input design for large scale systems 65
66 References [1] J.K. Scott, R. Findeisen, R.D. Braatz, and D.M. Raimondo. Design of active inputs for set-based fault diagnosis. In Proc. of the American Control Conference, pages , 2013 [2] D.M. Raimondo, R.D. Braatz, and J.K. Scott. Active fault diagnosis using moving horizon input design. In Proc. of the European Control Conference, pages , 2013 [3] J.K. Scott, G.R. Marseglia, L. Magni, R.D. Braatz, and D.M. Raimondo. A hybrid stochasticdeterministic input design method for active fault diagnosis. In Proc. of the 52nd IEEE Conference on Decision and Control, 2013 [4] D.M. Raimondo, G.R. Marseglia, R.D. Braatz, J.K. Scott. Fault-Tolerant Model Predictive Control with Active Fault Isolation, Proc. of the 2 nd International Conference on Control and Fault-Tolerant Systems, 2013 [5] J. K. Scott, R. Findeisen, R. D. Braatz, D. M. Raimondo, Input Design for Guaranteed Fault Diagnosis Using Zonotopes, Automatica, provisionally accepted [6] J.A. Paulson, D.M. Raimondo, R. Findeisen, R.D. Braatz, S. Streif, Active Fault Diagnosis for Uncertain onlinear Systems, ECC 2014, submitted [7] G.R. Marseglia, J.K. Scott, L. Magni, R.D. Braatz, D.M. Raimondo, A Hybrid Stochastic- Deterministic Approach For Active Fault Diagnosis Using Scenario Optimization, IFAC WC 2014, submitted 66
Robust Nonlinear Model Predictive Control with Constraint Satisfaction: A Relaxation-based Approach
Proceedings of the 9th World Congress he International Federation of Automatic Control Robust Nonlinear Model Predictive Control with Constraint Satisfaction: A Relaxation-based Approach Stefan Streif
More informationEE C128 / ME C134 Feedback Control Systems
EE C128 / ME C134 Feedback Control Systems Lecture Additional Material Introduction to Model Predictive Control Maximilian Balandat Department of Electrical Engineering & Computer Science University of
More informationOnline Model Predictive Torque Control for Permanent Magnet Synchronous Motors
Online Model Predictive Torque Control for Permanent Magnet Synchronous Motors Gionata Cimini, Daniele Bernardini, Alberto Bemporad and Stephen Levijoki ODYS Srl General Motors Company 2015 IEEE International
More informationAuxiliary signal design for failure detection in uncertain systems
Auxiliary signal design for failure detection in uncertain systems R. Nikoukhah, S. L. Campbell and F. Delebecque Abstract An auxiliary signal is an input signal that enhances the identifiability of a
More informationLearning Model Predictive Control for Iterative Tasks: A Computationally Efficient Approach for Linear System
Learning Model Predictive Control for Iterative Tasks: A Computationally Efficient Approach for Linear System Ugo Rosolia Francesco Borrelli University of California at Berkeley, Berkeley, CA 94701, USA
More informationModel Predictive Controller of Boost Converter with RLE Load
Model Predictive Controller of Boost Converter with RLE Load N. Murali K.V.Shriram S.Muthukumar Nizwa College of Vellore Institute of Nizwa College of Technology Technology University Technology Ministry
More informationTechnical work in WP2 and WP5
Technical work in WP2 and WP5 UNIZG-FER Mato Baotić, Branimir Novoselnik, Jadranko Matuško, Mario Vašak, Andrej Jokić Aachen, October 9, 2015 This project has received funding from the European Union s
More informationD O T 1 ; O T 2 ; O T 3 ; O T i
156 6 Fault diagnosis of pumps The model parameters O T h D O T 1 ; O T 2 ; O T 3 ; O T i 4 (6.1.38) were estimated by the leastsquares method in the form of discrete squareroot filtering (DSFI). Based
More informationFurther results on Robust MPC using Linear Matrix Inequalities
Further results on Robust MPC using Linear Matrix Inequalities M. Lazar, W.P.M.H. Heemels, D. Muñoz de la Peña, T. Alamo Eindhoven Univ. of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands,
More informationMODELING AND HIGH-PERFORMANCE CONTROL OF ELECTRIC MACHINES
MODELING AND HIGH-PERFORMANCE CONTROL OF ELECTRIC MACHINES JOHN CHIASSON IEEE PRESS ü t SERIES ON POWER ENGINEERING IEEE Press Series on Power Engineering Mohamed E. El-Hawary, Series Editor The Institute
More informationAdaptive Dual Control
Adaptive Dual Control Björn Wittenmark Department of Automatic Control, Lund Institute of Technology Box 118, S-221 00 Lund, Sweden email: bjorn@control.lth.se Keywords: Dual control, stochastic control,
More informationVerification of Nonlinear Hybrid Systems with Ariadne
Verification of Nonlinear Hybrid Systems with Ariadne Luca Geretti and Tiziano Villa June 2, 2016 June 2, 2016 Verona, Italy 1 / 1 Outline June 2, 2016 Verona, Italy 2 / 1 Outline June 2, 2016 Verona,
More informationAnalysis and synthesis: a complexity perspective
Analysis and synthesis: a complexity perspective Pablo A. Parrilo ETH ZürichZ control.ee.ethz.ch/~parrilo Outline System analysis/design Formal and informal methods SOS/SDP techniques and applications
More informationActive Diagnosis of Hybrid Systems Guided by Diagnosability Properties
Active Diagnosis of Hybrid Systems Guided by Diagnosability Properties Application to autonomous satellites Louise Travé-Massuyès 5 February 29 Motivation Control and autonomy of complex dynamic systems
More informationONR MURI AIRFOILS: Animal Inspired Robust Flight with Outer and Inner Loop Strategies. Calin Belta
ONR MURI AIRFOILS: Animal Inspired Robust Flight with Outer and Inner Loop Strategies Provable safety for animal inspired agile flight Calin Belta Hybrid and Networked Systems (HyNeSs) Lab Department of
More informationVerification of Hybrid Systems with Ariadne
Verification of Hybrid Systems with Ariadne Davide Bresolin 1 Luca Geretti 2 Tiziano Villa 3 1 University of Bologna 2 University of Udine 3 University of Verona An open workshop on Formal Methods for
More informationDIAGNOSIS OF DISCRETE-TIME SINGULARLY PERTURBED SYSTEMS BASED ON SLOW SUBSYSTEM
acta mechanica et automatica, vol.8 no.4 (4), DOI.478/ama-4-3 DIAGNOSIS OF DISCRETE-TIME SINGULARLY PERTURBED SYSTEMS BASED ON SLOW SUBSYSTEM Adel TELLILI *,***, Nouceyba ABDELKRIM *,**, Bahaa JAOUADI
More informationNonlinear and robust MPC with applications in robotics
Nonlinear and robust MPC with applications in robotics Boris Houska, Mario Villanueva, Benoît Chachuat ShanghaiTech, Texas A&M, Imperial College London 1 Overview Introduction to Robust MPC Min-Max Differential
More informationIndicator Constraints in Mixed-Integer Programming
Indicator Constraints in Mixed-Integer Programming Andrea Lodi University of Bologna, Italy - andrea.lodi@unibo.it Amaya Nogales-Gómez, Universidad de Sevilla, Spain Pietro Belotti, FICO, UK Matteo Fischetti,
More informationSet-based State of Charge Estimation for Lithium-ion Batteries
214 American Control Conference (ACC June 4-6, 214. Portland, Oregon, USA Set-based State of Charge Estimation for thium-ion Batteries Matthias Rausch 1,2, Reinhardt Klein 1,3, Stefan Streif 1, Christian
More informationReachable set computation for solving fuel consumption terminal control problem using zonotopes
Reachable set computation for solving fuel consumption terminal control problem using zonotopes Andrey F. Shorikov 1 afshorikov@mail.ru Vitaly I. Kalev 2 butahlecoq@gmail.com 1 Ural Federal University
More informationSAMPLE SOLUTION TO EXAM in MAS501 Control Systems 2 Autumn 2015
FACULTY OF ENGINEERING AND SCIENCE SAMPLE SOLUTION TO EXAM in MAS501 Control Systems 2 Autumn 2015 Lecturer: Michael Ruderman Problem 1: Frequency-domain analysis and control design (15 pt) Given is a
More informationResearch Article Convex Polyhedron Method to Stability of Continuous Systems with Two Additive Time-Varying Delay Components
Applied Mathematics Volume 202, Article ID 689820, 3 pages doi:0.55/202/689820 Research Article Convex Polyhedron Method to Stability of Continuous Systems with Two Additive Time-Varying Delay Components
More informationModel Based Fault Detection and Diagnosis Using Structured Residual Approach in a Multi-Input Multi-Output System
SERBIAN JOURNAL OF ELECTRICAL ENGINEERING Vol. 4, No. 2, November 2007, 133-145 Model Based Fault Detection and Diagnosis Using Structured Residual Approach in a Multi-Input Multi-Output System A. Asokan
More informationReal-Time Feasibility of Nonlinear Predictive Control for Semi-batch Reactors
European Symposium on Computer Arded Aided Process Engineering 15 L. Puigjaner and A. Espuña (Editors) 2005 Elsevier Science B.V. All rights reserved. Real-Time Feasibility of Nonlinear Predictive Control
More informationFault Detection and Diagnosis for a Three-tank system using Structured Residual Approach
Fault Detection and Diagnosis for a Three-tank system using Structured Residual Approach A.Asokan and D.Sivakumar Department of Instrumentation Engineering, Faculty of Engineering & Technology Annamalai
More informationModel Predictive Control of Magnetic Automotive Actuators
Proceedings of the 27 American Control Conference Marriott Marquis Hotel at Times Square New York City, USA, July 11-13, 27 FrB6.1 Model Predictive Control of Magnetic Automotive Actuators Stefano Di Cairano,
More informationModel Predictive Control of Hybrid Systems by A. Bemporad Controllo di Processo e dei Sistemi di Produzione A.a.
Model Predictive Control of Hybrid Systems 2009 by A. Bemporad Controllo di Processo e dei Sistemi di Produzione A.a. 2008/09 1/52 Hybrid Control Problem hybrid process continuous inputs continuous states
More informationEfficient robust optimization for robust control with constraints Paul Goulart, Eric Kerrigan and Danny Ralph
Efficient robust optimization for robust control with constraints p. 1 Efficient robust optimization for robust control with constraints Paul Goulart, Eric Kerrigan and Danny Ralph Efficient robust optimization
More informationIMPROVED MPC DESIGN BASED ON SATURATING CONTROL LAWS
IMPROVED MPC DESIGN BASED ON SATURATING CONTROL LAWS D. Limon, J.M. Gomes da Silva Jr., T. Alamo and E.F. Camacho Dpto. de Ingenieria de Sistemas y Automática. Universidad de Sevilla Camino de los Descubrimientos
More informationSelf-Tuning Control for Synchronous Machine Stabilization
http://dx.doi.org/.5755/j.eee.2.4.2773 ELEKTRONIKA IR ELEKTROTECHNIKA, ISSN 392-25, VOL. 2, NO. 4, 25 Self-Tuning Control for Synchronous Machine Stabilization Jozef Ritonja Faculty of Electrical Engineering
More informationParis'09 ECCI Eduardo F. Camacho MPC Constraints 2. Paris'09 ECCI Eduardo F. Camacho MPC Constraints 4
Outline Constrained MPC Eduardo F. Camacho Univ. of Seville. Constraints in Process Control. Constraints and MPC 3. Formulation of Constrained MPC 4. Illustrative Examples 5. Feasibility. Constraint Management
More informationActive incipient fault detection with more than two simultaneous faults
Proceedings of the 29 IEEE International Conference on Systems, Man, and Cybernetics San Antonio, TX, USA - October 29 Active incipient fault detection with more than two simultaneous faults Martene Fair
More informationOn robustness of suboptimal min-max model predictive control *
Manuscript received June 5, 007; revised Sep., 007 On robustness of suboptimal min-max model predictive control * DE-FENG HE, HAI-BO JI, TAO ZHENG Department of Automation University of Science and Technology
More informationPiecewise-affine functions: applications in circuit theory and control
Piecewise-affine functions: applications in circuit theory and control Tomaso Poggi Basque Center of Applied Mathematics Bilbao 12/04/2013 1/46 Outline 1 Embedded systems 2 PWA functions Definition Classes
More informationFAULT-TOLERANT CONTROL OF CHEMICAL PROCESS SYSTEMS USING COMMUNICATION NETWORKS. Nael H. El-Farra, Adiwinata Gani & Panagiotis D.
FAULT-TOLERANT CONTROL OF CHEMICAL PROCESS SYSTEMS USING COMMUNICATION NETWORKS Nael H. El-Farra, Adiwinata Gani & Panagiotis D. Christofides Department of Chemical Engineering University of California,
More informationIntroduction to Control (034040) lecture no. 2
Introduction to Control (034040) lecture no. 2 Leonid Mirkin Faculty of Mechanical Engineering Technion IIT Setup: Abstract control problem to begin with y P(s) u where P is a plant u is a control signal
More informationA NUMERICAL METHOD TO SOLVE A QUADRATIC CONSTRAINED MAXIMIZATION
A NUMERICAL METHOD TO SOLVE A QUADRATIC CONSTRAINED MAXIMIZATION ALIREZA ESNA ASHARI, RAMINE NIKOUKHAH, AND STEPHEN L. CAMPBELL Abstract. The problem of maximizing a quadratic function subject to an ellipsoidal
More informationCautious Data Driven Fault Detection and Isolation applied to the Wind Turbine Benchmark
Driven Fault Detection and Isolation applied to the Wind Turbine Benchmark Prof. Michel Verhaegen Delft Center for Systems and Control Delft University of Technology the Netherlands November 28, 2011 Prof.
More informationQuantifying Cyber Security for Networked Control Systems
Quantifying Cyber Security for Networked Control Systems Henrik Sandberg ACCESS Linnaeus Centre, KTH Royal Institute of Technology Joint work with: André Teixeira, György Dán, Karl H. Johansson (KTH) Kin
More informationModel based estimation of the Eddy currents for the ITER tokamak *
Model based estimation of the Eddy currents for the ITER tokamak * Alfredo Pironti 1 Consorzio CREATE - University of Naples Federico II Via Claudio 21, 80125 Napoli, Italy E-mail: pironti@unina.it Roberto
More informationComparison of four state observer design algorithms for MIMO system
Archives of Control Sciences Volume 23(LIX), 2013 No. 2, pages 131 144 Comparison of four state observer design algorithms for MIMO system VINODH KUMAR. E, JOVITHA JEROME and S. AYYAPPAN A state observer
More informationPredictive Cascade Control of DC Motor
Volume 49, Number, 008 89 Predictive Cascade Control of DC Motor Alexandru MORAR Abstract: The paper deals with the predictive cascade control of an electrical drive intended for positioning applications.
More informationInternational Journal of Advance Research in Computer Science and Management Studies
Volume 2, Issue 9, September 2014 ISSN: 2321 7782 (Online) International Journal of Advance Research in Computer Science and Management Studies Research Article / Survey Paper / Case Study Available online
More informationModel-based Fault Diagnosis Techniques Design Schemes, Algorithms, and Tools
Steven X. Ding Model-based Fault Diagnosis Techniques Design Schemes, Algorithms, and Tools Springer Notation XIX Part I Introduction, basic concepts and preliminaries 1 Introduction 3 1.1 Basic concepts
More informationTutorial PCET Polynomial Chaos Expansion Toolbox. Stefan Streif Felix Petzke Ali Mesbah
Tutorial PCET Polynomial Chaos Expansion Toolbox Stefan Streif Felix Petzke Ali Mesbah PCET Overview What s PCET? MATLAB based toolbox for uncertainty quantification using the polynomial chaos expansion
More informationAdaptive fuzzy observer and robust controller for a 2-DOF robot arm
Adaptive fuzzy observer and robust controller for a -DOF robot arm S. Bindiganavile Nagesh, Zs. Lendek, A.A. Khalate, R. Babuška Delft University of Technology, Mekelweg, 8 CD Delft, The Netherlands (email:
More informationENGG4420 LECTURE 7. CHAPTER 1 BY RADU MURESAN Page 1. September :29 PM
CHAPTER 1 BY RADU MURESAN Page 1 ENGG4420 LECTURE 7 September 21 10 2:29 PM MODELS OF ELECTRIC CIRCUITS Electric circuits contain sources of electric voltage and current and other electronic elements such
More informationPrediktivno upravljanje primjenom matematičkog programiranja
Prediktivno upravljanje primjenom matematičkog programiranja Doc. dr. sc. Mato Baotić Fakultet elektrotehnike i računarstva Sveučilište u Zagrebu www.fer.hr/mato.baotic Outline Application Examples PredictiveControl
More informationECE7850 Lecture 9. Model Predictive Control: Computational Aspects
ECE785 ECE785 Lecture 9 Model Predictive Control: Computational Aspects Model Predictive Control for Constrained Linear Systems Online Solution to Linear MPC Multiparametric Programming Explicit Linear
More informationVerification of analog and mixed-signal circuits using hybrid systems techniques
FMCAD, November 2004, Austin Verification of analog and mixed-signal circuits using hybrid systems techniques Thao Dang, Alexandre Donze, Oded Maler VERIMAG Grenoble, France Plan 1. Introduction 2. Verification
More informationNonlinear Reference Tracking with Model Predictive Control: An Intuitive Approach
onlinear Reference Tracking with Model Predictive Control: An Intuitive Approach Johannes Köhler, Matthias Müller, Frank Allgöwer Abstract In this paper, we study the system theoretic properties of a reference
More informationOptimization of Model-Reference Variable-Structure Controller Parameters for Direct-Current Motor
Journal of Computations & Modelling, vol., no.3, 1, 67-88 ISSN: 179-765 (print), 179-885 (online) Scienpress Ltd, 1 Optimization of Model-Reference Variable-Structure Controller Parameters for Direct-Current
More informationDynamic Model Predictive Control
Dynamic Model Predictive Control Karl Mårtensson, Andreas Wernrud, Department of Automatic Control, Faculty of Engineering, Lund University, Box 118, SE 221 Lund, Sweden. E-mail: {karl, andreas}@control.lth.se
More informationModeling and Model Predictive Control of Nonlinear Hydraulic System
Modeling and Model Predictive Control of Nonlinear Hydraulic System Petr Chalupa, Jakub Novák Department of Process Control, Faculty of Applied Informatics, Tomas Bata University in Zlin, nám. T. G. Masaryka
More informationApproximate dynamic programming for stochastic reachability
Approximate dynamic programming for stochastic reachability Nikolaos Kariotoglou, Sean Summers, Tyler Summers, Maryam Kamgarpour and John Lygeros Abstract In this work we illustrate how approximate dynamic
More informationExercise 5 - Hydraulic Turbines and Electromagnetic Systems
Exercise 5 - Hydraulic Turbines and Electromagnetic Systems 5.1 Hydraulic Turbines Whole courses are dedicated to the analysis of gas turbines. For the aim of modeling hydraulic systems, we analyze here
More informationConvex Optimization M2
Convex Optimization M2 Lecture 3 A. d Aspremont. Convex Optimization M2. 1/49 Duality A. d Aspremont. Convex Optimization M2. 2/49 DMs DM par email: dm.daspremont@gmail.com A. d Aspremont. Convex Optimization
More informationParameter iden+fica+on with hybrid systems in a bounded- error framework
Parameter iden+fica+on with hybrid systems in a bounded- error framework Moussa MAIGA, Nacim RAMDANI, & Louise TRAVE- MASSUYES Université d Orléans, Bourges, and LAAS CNRS Toulouse, France.!! SWIM 2015,
More informationStable Hierarchical Model Predictive Control Using an Inner Loop Reference Model
Stable Hierarchical Model Predictive Control Using an Inner Loop Reference Model Chris Vermillion Amor Menezes Ilya Kolmanovsky Altaeros Energies, Cambridge, MA 02140 (e-mail: chris.vermillion@altaerosenergies.com)
More informationIE1206 Embedded Electronics
IE1206 Embedded Electronics Le1 Le3 Le4 Le2 Ex1 Ex2 PIC-block Documentation, Seriecom Pulse sensors I, U, R, P, series and parallel KC1 LAB1 Pulse sensors, Menu program Start of programing task Kirchhoffs
More informationSet- membership es-ma-on of hybrid dynamical systems.
Set- membership es-ma-on of hybrid dynamical systems. Towards model- based FDI for hybrid systems Prof. Nacim RAMDANI Université d Orléans, Bourges. France. nacim.ramdani@univ- orleans.fr!! ECC14 Pre-
More informationR10 JNTUWORLD B 1 M 1 K 2 M 2. f(t) Figure 1
Code No: R06 R0 SET - II B. Tech II Semester Regular Examinations April/May 03 CONTROL SYSTEMS (Com. to EEE, ECE, EIE, ECC, AE) Time: 3 hours Max. Marks: 75 Answer any FIVE Questions All Questions carry
More informationWhy fault tolerant system?
Why fault tolerant system? Non Fault-Tolerant System Component 1 Component 2 Component N The reliability block diagram of a series systemeach element of the system must operate correctly for the system
More informationModeling and Analysis of Dynamic Systems
Modeling and Analysis of Dynamic Systems by Dr. Guillaume Ducard Fall 2016 Institute for Dynamic Systems and Control ETH Zurich, Switzerland 1/22 Outline 1 Lecture 5: Hydraulic Systems Pelton Turbine:
More informationLyapunov Stability of Linear Predictor Feedback for Distributed Input Delays
IEEE TRANSACTIONS ON AUTOMATIC CONTROL VOL. 56 NO. 3 MARCH 2011 655 Lyapunov Stability of Linear Predictor Feedback for Distributed Input Delays Nikolaos Bekiaris-Liberis Miroslav Krstic In this case system
More informationPERSPECTIVES ON STOCHASTIC PREDICTIVE CONTROL WITH AUTONOMOUS MODEL ADAPTATION FOR MODEL STRUCTURE UNCERTAINTY
PERSPECTIVES ON STOCHASTIC PREDICTIVE CONTROL WITH AUTONOMOUS MODEL ADAPTATION FOR MODEL STRUCTURE UNCERTAINTY Tor Aksel N. Heirung and Ali Mesbah Department of Chemical and Biomolecular Engineering, University
More informationProper Security Criteria Determination in a Power System with High Penetration of Renewable Resources
Proper Security Criteria Determination in a Power System with High Penetration of Renewable Resources Mojgan Hedayati, Kory Hedman, and Junshan Zhang School of Electrical, Computer, and Energy Engineering
More informationApproximate active fault detection and control
Approximate active fault detection and control Jan Škach Ivo Punčochář Miroslav Šimandl Department of Cybernetics Faculty of Applied Sciences University of West Bohemia Pilsen, Czech Republic 11th European
More informationMathematical Modeling and Dynamic Simulation of a Class of Drive Systems with Permanent Magnet Synchronous Motors
Applied and Computational Mechanics 3 (2009) 331 338 Mathematical Modeling and Dynamic Simulation of a Class of Drive Systems with Permanent Magnet Synchronous Motors M. Mikhov a, a Faculty of Automatics,
More informationINC 341 Feedback Control Systems: Lecture 3 Transfer Function of Dynamic Systems II
INC 341 Feedback Control Systems: Lecture 3 Transfer Function of Dynamic Systems II Asst. Prof. Dr.-Ing. Sudchai Boonto Department of Control Systems and Instrumentation Engineering King Mongkut s University
More informationA Hierarchy of Suboptimal Policies for the Multi-period, Multi-echelon, Robust Inventory Problem
A Hierarchy of Suboptimal Policies for the Multi-period, Multi-echelon, Robust Inventory Problem Dimitris J. Bertsimas Dan A. Iancu Pablo A. Parrilo Sloan School of Management and Operations Research Center,
More informationPfadverfolgung Von Normalformen zu prädiktiven Reglern
Pfadverfolgung Von Normalformen zu prädiktiven Reglern Timm Faulwasser Laboratoire d Automatique, Ecole Polytechnique Fédérale de Lausanne Institut für Angewandte Informatik, Karlsruher Institut für Technologie
More informationA Physically-Based Fault Detection and Isolation Method and Its Uses in Robot Manipulators
des FA 4.13 Steuerung und Regelung von Robotern A Physically-Based Fault Detection and Isolation Method and Its Uses in Robot Manipulators Alessandro De Luca Dipartimento di Informatica e Sistemistica
More informationA Control of an Electromagnetic Actuator Using Model Predictive Control
Proceedings of the 3 International Conference on Applied Mathematics and Computational Methods in Engineering A Control of an Electromagnetic Actuator Using Model Predictive Control Paolo Mercorelli Abstract
More informationThe ϵ-capacity of a gain matrix and tolerable disturbances: Discrete-time perturbed linear systems
IOSR Journal of Mathematics (IOSR-JM) e-issn: 2278-5728, p-issn: 2319-765X. Volume 11, Issue 3 Ver. IV (May - Jun. 2015), PP 52-62 www.iosrjournals.org The ϵ-capacity of a gain matrix and tolerable disturbances:
More informationSafety analysis and standards Analyse de sécurité et normes Sicherheitsanalyse und Normen
Industrial Automation Automation Industrielle Industrielle Automation 9.6 Safety analysis and standards Analyse de sécurité et normes Sicherheitsanalyse und Normen Prof Dr. Hubert Kirrmann & Dr. B. Eschermann
More informationIE1206 Embedded Electronics Le2
Le1 Le3 Le4 Le6 Le8 IE1206 Embedded Electronics Le2 Ex1 Ex2 Ex4 Ex5 PIC-block Documentation, Seriecom Pulse sensors I, U, R, P, serial and parallel KC1 LAB1 Pulse sensors, Menu program Kirchhoffs laws
More informationOptimization Problems with Probabilistic Constraints
Optimization Problems with Probabilistic Constraints R. Henrion Weierstrass Institute Berlin 10 th International Conference on Stochastic Programming University of Arizona, Tucson Recommended Reading A.
More informationDecentralized and distributed control
Decentralized and distributed control Centralized control for constrained discrete-time systems M. Farina 1 G. Ferrari Trecate 2 1 Dipartimento di Elettronica, Informazione e Bioingegneria (DEIB) Politecnico
More informationAchieving Fault-tolerance and Safety of Discrete-event Systems through Learning
2016 American Control Conference (ACC) Boston Marriott Copley Place July 6-8, 2016. Boston, MA, USA Achieving Fault-tolerance and Safety of Discrete-event Systems through Learning Jin Dai, Ali Karimoddini,
More informationModel Predictive Compressor Surge Control
Model Predictive Compressor Surge Control P.J.H. Zillinger Molenaar DCT 27. Master s thesis Coach(es): Supervisor: Ir. J. van Helvoirt Prof. Dr. Ir. M. Steinbuch Technische Universiteit Eindhoven Department
More informationCOMPUTATIONAL DELAY IN NONLINEAR MODEL PREDICTIVE CONTROL. Rolf Findeisen Frank Allgöwer
COMPUTATIONAL DELAY IN NONLINEAR MODEL PREDICTIVE CONTROL Rolf Findeisen Frank Allgöwer Institute for Systems Theory in Engineering, University of Stuttgart, 70550 Stuttgart, Germany, findeise,allgower
More informationFault Detection and Isolation of the Wind Turbine Benchmark: an Estimation-based Approach
Milano (Italy) August - September, 11 Fault Detection and Isolation of the Wind Turbine Benchmark: an Estimation-based Approach Xiaodong Zhang, Qi Zhang Songling Zhao Riccardo Ferrari Marios M. Polycarpou,andThomas
More informationHybrid discrete-time modelling and explicit model predictive control for brushed DC motor speed control 1
Acta Technica 61, No. 4A/2016, 269 280 c 2017 Institute of Thermomechanics CAS, v.v.i. Hybrid discrete-time modelling and explicit model predictive control for brushed DC motor speed control 1 Zhaozhun
More informationAn Introduction to Electrical Machines. P. Di Barba, University of Pavia, Italy
An Introduction to Electrical Machines P. Di Barba, University of Pavia, Italy Academic year 0-0 Contents Transformer. An overview of the device. Principle of operation of a single-phase transformer 3.
More informationGAIN SCHEDULING CONTROL WITH MULTI-LOOP PID FOR 2- DOF ARM ROBOT TRAJECTORY CONTROL
GAIN SCHEDULING CONTROL WITH MULTI-LOOP PID FOR 2- DOF ARM ROBOT TRAJECTORY CONTROL 1 KHALED M. HELAL, 2 MOSTAFA R.A. ATIA, 3 MOHAMED I. ABU EL-SEBAH 1, 2 Mechanical Engineering Department ARAB ACADEMY
More informationH-INFINITY CONTROLLER DESIGN FOR A DC MOTOR MODEL WITH UNCERTAIN PARAMETERS
Engineering MECHANICS, Vol. 18, 211, No. 5/6, p. 271 279 271 H-INFINITY CONTROLLER DESIGN FOR A DC MOTOR MODEL WITH UNCERTAIN PARAMETERS Lukáš Březina*, Tomáš Březina** The proposed article deals with
More informationsc Control Systems Design Q.1, Sem.1, Ac. Yr. 2010/11
sc46 - Control Systems Design Q Sem Ac Yr / Mock Exam originally given November 5 9 Notes: Please be reminded that only an A4 paper with formulas may be used during the exam no other material is to be
More informationLecture Note 5: Semidefinite Programming for Stability Analysis
ECE7850: Hybrid Systems:Theory and Applications Lecture Note 5: Semidefinite Programming for Stability Analysis Wei Zhang Assistant Professor Department of Electrical and Computer Engineering Ohio State
More informationAn Improved Nonlinear Speed Controller for Series DC Motors
Proceedings of the 17th World Congress The International Federation of Automatic Control Seoul, Korea, July 6-11, 8 An Improved Nonlinear Speed Controller for Series DC Motors Dongbo Zhao Ning Zhang Department
More informationOn the Inherent Robustness of Suboptimal Model Predictive Control
On the Inherent Robustness of Suboptimal Model Predictive Control James B. Rawlings, Gabriele Pannocchia, Stephen J. Wright, and Cuyler N. Bates Department of Chemical & Biological Engineering Computer
More informationCONSTRAINED MODEL PREDICTIVE CONTROL ON CONVEX POLYHEDRON STOCHASTIC LINEAR PARAMETER VARYING SYSTEMS. Received October 2012; revised February 2013
International Journal of Innovative Computing, Information and Control ICIC International c 2013 ISSN 1349-4198 Volume 9, Number 10, October 2013 pp 4193 4204 CONSTRAINED MODEL PREDICTIVE CONTROL ON CONVEX
More informationMassachusetts Institute of Technology Department of Electrical Engineering and Computer Science Electric Machines
Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science 6.685 Electric Machines Problem Set 10 Issued November 11, 2013 Due November 20, 2013 Problem 1: Permanent
More informationIdentification of a Chemical Process for Fault Detection Application
Identification of a Chemical Process for Fault Detection Application Silvio Simani Abstract The paper presents the application results concerning the fault detection of a dynamic process using linear system
More informationAFAULT diagnosis procedure is typically divided into three
576 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 47, NO. 4, APRIL 2002 A Robust Detection and Isolation Scheme for Abrupt and Incipient Faults in Nonlinear Systems Xiaodong Zhang, Marios M. Polycarpou,
More informationTesting System Conformance for Cyber-Physical Systems
Testing System Conformance for Cyber-Physical Systems Testing systems by walking the dog Rupak Majumdar Max Planck Institute for Software Systems Joint work with Vinayak Prabhu (MPI-SWS) and Jyo Deshmukh
More informationEE Branch GATE Paper 2010
Q.1 Q.25 carry one mark each 1. The value of the quantity P, where, is equal to 0 1 e 1/e 2. Divergence of the three-dimensional radial vector field is 3 1/r 3. The period of the signal x(t) = 8 is 0.4
More informationIntroduction to Model Predictive Control. Dipartimento di Elettronica e Informazione
Introduction to Model Predictive Control Riccardo Scattolini Riccardo Scattolini Dipartimento di Elettronica e Informazione Finite horizon optimal control 2 Consider the system At time k we want to compute
More informationRisk Analysis of Highly-integrated Systems
Risk Analysis of Highly-integrated Systems RA II: Methods (FTA, ETA) Fault Tree Analysis (FTA) Problem description It is not possible to analyse complicated, highly-reliable or novel systems as black box
More information