• Publications
  • Influence
Diagnosis of continuous valued systems in transient operating regions
TLDR
The complexity of present day embedded systems (continuous processes controlled by digital processors), and the increased demands on their reliability motivate the need for monitoring and fault isolation capabilities in the embedded processors. Expand
  • 314
  • 33
  • PDF
Model-Based Testing for Embedded Systems
TLDR
What the experts have to say about Model-Based Testing for Embedded Systems: "This book is exactly what is needed at the exact right time in this fast-growing area. Expand
  • 162
  • 11
  • PDF
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 anExpand
  • 115
  • 9
A Combined Qualitative/Quantitative Approach for Fault Isolation in Continuous Dynamic Systems
Abstract The TRANSCEND system for fault detection and isolation in continuous systems uses qualitative reasoning methods to analyze transients caused by abrupt faults. Qualitative transient analysisExpand
  • 69
  • 8
  • PDF
Discrete Event and Hybrid System Simulation with SimEvents
TLDR
A new simulation product for discrete event and hybrid systems is overviewed and examples of application areas where it can be used are brie y described. Expand
  • 44
  • 6
  • PDF
A theory of discontinuities in physical system models
Abstract Physical systems are by nature continuous, but often display nonlinear behaviors that make them hard to analyze. Typically, these nonlinearities occur at a time scale that is much smallerExpand
  • 165
  • 5
  • PDF
A Heterogeneous Fleet of Vehicles for Automated Humanitarian Missions
TLDR
An automated emergency response system and an experimental framework for its design and validation are presented here. Expand
  • 32
  • 5
  • PDF
Discrete-Event Modeling and Simulation : Theory and Applications
TLDR
Discrete-Event Modeling and Simulation: Theory and Applications presents the state of the art in modeling discrete event systems using the discrete-event system specification (DEVS) approach. Expand
  • 94
  • 4
Modeling Petri Nets as Local Constraint Equations for Hybrid Systems Using Modelica
TLDR
To model complex mixed continuous/discrete, hybrid, systems, the continuous part can be described by differential and algebraic equations using an object-oriented modeling language such as Modelica. Expand
  • 72
  • 4
  • PDF
Computer automated multi-paradigm modeling in control system design
TLDR
The complete control system design effort involves many stages during which partial design tasks are completed. Expand
  • 38
  • 4
  • PDF
...
1
2
3
4
5
...