Properties of behavioral models for a class of hybrid dynamical systems
- 24 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
A class of models developed for online monitoring of complex processes which exhibit both continuous and discrete dynamics is presented. The authors describe the basic elements of the hybrid system modeling formalism and the trajectory encoding method for maintaining an online representation of the set of valued system trajectories that are consistent with the observations from the process. It is shown analytically that the class of models and associated observation relations defined satisfy two properties essential for a modeling formalism to be used in online monitoring, i.e. causality and time monotonicity. A brief description is presented of current research into extensions of the trajectory encoding method to monitor systems with divergent dynamic evolutions.Keywords
This publication has 7 references indexed in Scilit:
- A modeling strategy with event structures for hybrid systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Hybrid dynamical systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Modeling and analysis of hybrid systems: examplesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An intelligent reactive monitoring and scheduling systemIEEE Control Systems, 1992
- On the periodicity of symbolic observations of piecewise smooth discrete-time systemsIEEE Transactions on Automatic Control, 1990
- Hybrid dynamical systems theory and the Signal languageIEEE Transactions on Automatic Control, 1990
- Abstract Systems TheoryPublished by Springer Science and Business Media LLC ,1989