Sciweavers

8 search results - page 1 / 2
» Diagnosis of Physical Systems with Hybrid Models Using Param...
Sort
View
HYBRID
2001
Springer
13 years 8 months ago
Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality
Efficient algorithms exist for fault detection and isolation of physical systems based on functional redundancy. In a qualitative approach, this redundancy can be captured by a tem...
Pieter J. Mosterman
FORMATS
2010
Springer
13 years 2 months ago
Diagnosis Using Unfoldings of Parametric Time Petri Nets
This paper considers the model of Time Petri Nets (TPNs) extended with time parameters and its use to perform on-line diagnosis of distributed systems. We propose to base the metho...
Bartosz Grabiec, Louis-Marie Traonouez, Claude Jar...
HYBRID
2003
Springer
13 years 9 months ago
Estimation of Distributed Hybrid Systems Using Particle Filtering Methods
Abstract. Networked embedded systems are composed of a large number of components that interact with the physical world via a set of sensors and actuators, have their own computati...
Xenofon D. Koutsoukos, James Kurien, Feng Zhao
RTCSA
1997
IEEE
13 years 8 months ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha
TSMC
1998
152views more  TSMC 1998»
13 years 4 months ago
Discrete event representation of qualitative models using Petri nets
—The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The ...
Alessandra Fanni, Alessandro Giua