| Abstract
|
Controllers for embedded dynamic systems r … Controllers for embedded dynamic systems require models with continuous behavior evolution and discrete configuration changes. These changes may cause fast continuous transients in state variables. Time scale and parameter abstractions simplify the analysis of these transients, causing discontinuities in the state variables. The two abstraction types have a very different impact on the analysis of system behavior. We have developed a systematic modeling approach that introduces formal semantics for behavior generation. This paper discusses the implementation of this scheme in a hybrid observer designed to track embedded system behavior. The resultant observer is based on piecewise simpler continues models with mode transitions defined between them. Actual mode transitions in the system are provided by a digital controller and directly obtained from measuring physical variables. btained from measuring physical variables.
|
| Author
|
Pieter J. Mosterman +,
Gautam Biswas +
|
| Bibtype
|
techreport +
|
| Institution
|
Knowledge Systems, AI Laboratory +
|
| Key
|
KSL-99-03 +
|
| Modification dateThis property is a special property in this wiki.
|
1 May 2009 14:05:56 +
|
| Month
|
March +
|
| Note
|
Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, vol. 1569, Springer Verlag, The Netherlands, pp. 178-192, March 1999. +
|
| Number
|
KSL-99-03 +
|
| Tag
|
Computer science +
|
| Title
|
Building Hybrid Observers for Complex Dynamic Systems Using Model Abstractions +
|
| Tr id
|
KSL-99-03 +
|
| Year
|
1999 +
|
| Categories |
Technical Report,
Publication,
KSL Technical Report
|
