Displaying similar documents to “A comparative analysis of recent identification approaches for discrete-event systems.”

Nonlinear system identification using heterogeneous multiple models

Rodolfo Orjuela, Benoît Marx, José Ragot, Didier Maquin (2013)

International Journal of Applied Mathematics and Computer Science


Multiple models are recognised by their abilities to accurately describe nonlinear dynamic behaviours of a wide variety of nonlinear systems with a tractable model in control engineering problems. Multiple models are built by the interpolation of a set of submodels according to a particular aggregation mechanism, with the heterogeneous multiple model being of particular interest. This multiple model is characterized by the use of heterogeneous submodels in the sense that their state...

Geometrical characterization of observability in Interpreted Petri Nets

Israel Rivera-Rangel, Antonio Ramírez-Treviño, Luis I. Aguirre-Salas, Javier Ruiz (2005)



This work is concerned with observability in Discrete Event Systems (DES) modeled by Interpreted Petri Nets (IPN). Three major contributions are presented. First, a novel geometric characterization of observability based on input-output equivalence relations on the marking sequences sets is presented. Later, to show that this characterization is well posed, it is applied to linear continuous systems, leading to classical characterizations of observability for continuous systems. Finally,...

Adaptive modeling of reliability properties for control and supervision purposes

Kai-Uwe Dettmann, Dirk Söffker (2011)

International Journal of Applied Mathematics and Computer Science


Modeling of reliability characteristics typically assumes that components and systems fail if a certain individual damage level is exceeded. Every (mechanical) system damage increases irreversibly due to employed loading and (mechanical) stress, respectively. The main issue of damage estimation is adequate determination of the actual state-of-damage. Several mathematical modeling approaches are known in the literature, focusing on the task of how loading effects damage progression (e.g.,...

Approximate Model Checking of Real-Time Systems for Linear Duration Invariants

Choe, Changil, O., Hyong-Chol, Han, Song (2013)

Serdica Journal of Computing


Real-time systems are usually modelled with timed automata and real-time requirements relating to the state durations of the system are often specifiable using Linear Duration Invariants, which is a decidable subclass of Duration Calculus formulas. Various algorithms have been developed to check timed automata or real-time automata for linear duration invariants, but each needs complicated preprocessing and exponential calculation. To the best of our knowledge, these algorithms have...