• Publications
  • Influence
Diagnosis of continuous valued systems in transient operating regions
TLDR
Monitoring, prediction, and fault isolation methods for abrupt faults in complex dynamic systems are developed and successfully applied to monitoring of the secondary sodium cooling loop of a fast breeder reactor.
Model-Based Testing for Embedded Systems
TLDR
Model-Based Testing for Embedded Systems is a must-read for anyone looking for more information about improved testing methods for embedded systems and gives a clear picture of what the state of the art is today.
The Effectiveness of Learning Simulations for Electronic Laboratories
This work investigates the efficacy of software simulations of electronic circuits laboratories to support beginning electrical engineering students. Experiment 1 was a formative evaluation of an
Industry 4.0 as a Cyber-Physical System study
TLDR
This work focuses on the collaborative function dimension and presents a set of concrete examples of CPS challenges based on a pick and place machine that solves a distributed version of the Towers of Hanoi puzzle.
Discrete Event and Hybrid System Simulation with SimEvents
—A new simulation product for discrete event and hybrid systems is overviewed and some examples of application areas where it can be used are brie y described.
Computer Automated Multi-Paradigm Modeling: An Introduction
TLDR
An overview of the CAMPaM field is presented and it is shown how transformations assume a central place and are explicitly modeled themselves by graph grammars.
Discrete-Event Modeling and Simulation : Theory and Applications
TLDR
The book describes different forms of simulation supported by DEVS, the use of real-time DEVS simulation, the relationship between DEVS and graph transformation, the influence of DEVS variants on simulation performance, and interoperability and composability with emphasis on DEVS standards.
Modeling Petri Nets as Local Constraint Equations for Hybrid Systems Using Modelica
TLDR
It is shown how a discrete formalism such as Petri nets can be incorporated by describing all components by strictly local equations, which allows a unifying treatment since both the continuous and the discrete part of a system are described by equations.
...
...