observability of piecewise- afiine hybrid systems collins and van schuppen
Post on 22-Dec-2015
215 views
TRANSCRIPT
![Page 1: Observability of Piecewise- Afiine Hybrid Systems Collins and Van Schuppen](https://reader036.vdocument.in/reader036/viewer/2022062516/56649d785503460f94a5a230/html5/thumbnails/1.jpg)
Observability of Piecewise-Afiine Hybrid Systems
Collins and Van Schuppen
![Page 2: Observability of Piecewise- Afiine Hybrid Systems Collins and Van Schuppen](https://reader036.vdocument.in/reader036/viewer/2022062516/56649d785503460f94a5a230/html5/thumbnails/2.jpg)
Overview
![Page 3: Observability of Piecewise- Afiine Hybrid Systems Collins and Van Schuppen](https://reader036.vdocument.in/reader036/viewer/2022062516/56649d785503460f94a5a230/html5/thumbnails/3.jpg)
Definition and goal
A piecewise-affine hybrid system (PAHS) can be considered as a product ofa finite state automaton and a family of finite-dimensional affine systems onpolytopes.
Discuss the observability conditions (necessary and sufficient conditions) for a restricted class of hybrid systems called jump-linear systems .The focus is on discontinuous jumps in the systems state, and switches induced by guard conditions.
The Goal:
![Page 4: Observability of Piecewise- Afiine Hybrid Systems Collins and Van Schuppen](https://reader036.vdocument.in/reader036/viewer/2022062516/56649d785503460f94a5a230/html5/thumbnails/4.jpg)
Piecewise-Affine hybrid systems - IDefinition:
![Page 5: Observability of Piecewise- Afiine Hybrid Systems Collins and Van Schuppen](https://reader036.vdocument.in/reader036/viewer/2022062516/56649d785503460f94a5a230/html5/thumbnails/5.jpg)
Piecewise-Affine hybrid systems - II
Definition (Cont’ed):
• •
•
![Page 6: Observability of Piecewise- Afiine Hybrid Systems Collins and Van Schuppen](https://reader036.vdocument.in/reader036/viewer/2022062516/56649d785503460f94a5a230/html5/thumbnails/6.jpg)
Piecewise-Affine hybrid systems - III
![Page 7: Observability of Piecewise- Afiine Hybrid Systems Collins and Van Schuppen](https://reader036.vdocument.in/reader036/viewer/2022062516/56649d785503460f94a5a230/html5/thumbnails/7.jpg)
Definition 2 - presentation
q
Xinitq(t)
Xq
x-(t)
S(q,t)(x0)
![Page 8: Observability of Piecewise- Afiine Hybrid Systems Collins and Van Schuppen](https://reader036.vdocument.in/reader036/viewer/2022062516/56649d785503460f94a5a230/html5/thumbnails/8.jpg)
The systemAssumption: (non-blocking) every trajectory can be continued for infinite time,
Assumption: (non-Zenoness) only finitely many events occur on any finite time interval.
Considered systems belong to the class of PAHS without inputs.
Where
![Page 9: Observability of Piecewise- Afiine Hybrid Systems Collins and Van Schuppen](https://reader036.vdocument.in/reader036/viewer/2022062516/56649d785503460f94a5a230/html5/thumbnails/9.jpg)
Observability
The state-output map of a deterministic system on the time interval [t0, t1) is
the functional : X × U[t0,t1) Y [t0,t1) assigning to each initial state x0 ∈ X and
each admissible input function u(t) the output function y(t) for the trajectory x(t) giving the response of the system to the input function u(t) with x(t0) = x0.
A system is (initial-state) observable if the initial state can be determined from the output function y(t) ∈ Y [t0,t1), and final-state observable if the final state can be determined from the output function.
![Page 10: Observability of Piecewise- Afiine Hybrid Systems Collins and Van Schuppen](https://reader036.vdocument.in/reader036/viewer/2022062516/56649d785503460f94a5a230/html5/thumbnails/10.jpg)
Observability of PATHAn event s detectable at a point x if it produces a measurable change in output, otherwise it is undetectable at x.
An event is detectable in a state q if it is detectable at all points in the guard set
The event-time sequence of a trajectory is the sequence (ti) of event times.
The timed event sequence of a trajectory is the sequence of pairs (ei, ti)
of events and event times.
![Page 11: Observability of Piecewise- Afiine Hybrid Systems Collins and Van Schuppen](https://reader036.vdocument.in/reader036/viewer/2022062516/56649d785503460f94a5a230/html5/thumbnails/11.jpg)
Observability for affine systems
Consider the affine system:
By derivation we get:
Observability matrix Observability vector Output derivative vector
![Page 12: Observability of Piecewise- Afiine Hybrid Systems Collins and Van Schuppen](https://reader036.vdocument.in/reader036/viewer/2022062516/56649d785503460f94a5a230/html5/thumbnails/12.jpg)
Observability for affine systems - II
The observability map
Rank( ) = ?
Discrete states
![Page 13: Observability of Piecewise- Afiine Hybrid Systems Collins and Van Schuppen](https://reader036.vdocument.in/reader036/viewer/2022062516/56649d785503460f94a5a230/html5/thumbnails/13.jpg)
Observability for affine systems – IIIDiscrete state
Determining the Continuous State
![Page 14: Observability of Piecewise- Afiine Hybrid Systems Collins and Van Schuppen](https://reader036.vdocument.in/reader036/viewer/2022062516/56649d785503460f94a5a230/html5/thumbnails/14.jpg)
Conditions for observability of PATH
![Page 15: Observability of Piecewise- Afiine Hybrid Systems Collins and Van Schuppen](https://reader036.vdocument.in/reader036/viewer/2022062516/56649d785503460f94a5a230/html5/thumbnails/15.jpg)
Single-Event observability
![Page 16: Observability of Piecewise- Afiine Hybrid Systems Collins and Van Schuppen](https://reader036.vdocument.in/reader036/viewer/2022062516/56649d785503460f94a5a230/html5/thumbnails/16.jpg)
Examples
![Page 17: Observability of Piecewise- Afiine Hybrid Systems Collins and Van Schuppen](https://reader036.vdocument.in/reader036/viewer/2022062516/56649d785503460f94a5a230/html5/thumbnails/17.jpg)
Relevant referencesBalluchi, A., Benvenuti, L., Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L.:Design of observers for hybrid systems. In Tomlin, C.J., Greenstreet, M.R., eds.:Hybrid Systems: Computation and Control. Volume 2289 of Lecture Notes in Computer Science. Springer-Verlag, Berlin Heidelberg New York (2002) 76–89
Balluchi, A., Benvenuti, L., Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L.:Observability for hybrid systems. In: Proc. 42nd IEEE Conference on Decisionand Control, Maui, Hawaii, USA (2003)
Bemporad, A., Ferrari-Trecate, G., Morari, M.: Observability and controllabilityof piecewise a.ne and hybrid systems. IEEE Trans. Automatic Control 45 (2000)1864–1876
Vidal, R., Chiuso, A., Soatto, S., Sastry, S.: Observability of linear hybrid systems.In Maler, O., Pnueli, A., eds.: Hybrid Systems: Computation and Control (Prague).Number 2623 in Lecture Notes in Computer Science, Springer (2003) 527–539
¨Ozveren, C., Willsky, A.: Observability of discrete event systems. IEEE Trans.Automatic Control 35 (1990) 797–806