We present a model-based monitoring method for dynamic systems that exhibit both discrete and continuous behaviors. MIMIC [Dvorak and Kuipers, 1991] uses qualitative and semiquantitative models to monitor dynamic systems even with incomplete knowledge. Recent advances have improved the quality of semi-quantitative behavior predictions, used observations to refine static envelopes around monoton...

Identification of operating mode is a key step in the fault diagnosis of the hybrid systems. The novelty of this paper is the definition of a hybrid observer where discrete event is identified and then continuous model of a sub-system is selected for the design of observer using sliding mode technique. The observer output is finally used for mode identification and fault diagnosis. The proposed...

Saxén, John-Eric: Identification of Switching Systems – An On-line Algorithm. Master’s Thesis, Department of Information Technologies, Åbo Akademi University, 2010. 80 pages. This thesis focuses on the identification of special types of systems, hybrid systems with switching character, which present a new challenge for the research circulating around system identification. A switching identific...

In this paper, we consider the problem of identifying a linear map from measurements which are subject to intermittent and arbitarily large errors. This is a fundamental problem in many estimation-related applications such as fault detection, state estimation in lossy networks, hybrid system identification, robust estimation, etc. The problem is hard because it exhibits some intrinsic combinato...

The class of Basis Function Piecewise-affine (BPWA) functions is an ideal model structure for nonlinear and hybrid system identification. This paper proposes a parameter space decomposition theorem for BPWA functions. It is proved that any BPWA function has a decomposed parametric representation, in which the algebraic and geometrical parameters can be identified separately. Under the assumptio...

In real scenarios, robust language identification (LID) is usually hindered by factors such as background noise, channel, and speech duration mismatches. To address these issues, this study focuses on the advancements of diverse acoustic features, back-ends, and their influence on LID system fusion. There is little research about the selection of complementary features for a multiple system fus...

While the goal of robotic bipedal walking to date has been the development of anthropomorphic gait, the community as a whole has been unable to agree upon an appropriate model to generate such gait. In this paper, we describe a method to segment human walking data in order to generate a robotic model capable of human-like walking. Generating the model requires the determination of the sequence ...

A system identification (SI) problem of high-rise buildings is investigated under restricted data environments. The shear and bending stiffnesses of a shear-bending model (SB model) representing the high-rise buildings are identified via the smart combination of the subspace and inverse-mode methods. Since the shear and bending stiffnesses of the SB model can be identified in the inverse-mode m...

In the present study, a model of a large Lithium Polymer (Li-Po) battery for use in the simulation of Hybrid Electric Vehicles (HEVs) is developed. To attain this goal, an Equivalent Circuit (EC) consisting of a series resistor and two RC parallel networks is considered. The accuracy and the response time of the model for use in an HEV simulator are studied. The battery parameters identifica...

Operational semantics of hybrid systems p. 25 SOS methods for semi-algebraic games and optimization p. 54 The discrete time behavior of lazy linear hybrid automata p. 55 Perturbed timed automata p. 70 A homology theory for hybrid systems : hybrid homology p. 86 Observability of switched linear systems in continuous time p. 103 Controller synthesis on non-uniform and uncertain discrete-time doma...