#### Filter Results:

- Full text PDF available (101)

#### Publication Year

1994

2017

- This year (1)
- Last 5 years (29)
- Last 10 years (56)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Pieter J. Mosterman, Gautam Biswas
- IEEE Trans. Systems, Man, and Cybernetics, Part A
- 1999

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. This paper develops monitoring, prediction, and fault isolation methods for abrupt faults in complex dynamic… (More)

- Pieter J. Mosterman, Leny Mosterman Wolbers, +8 authors Eric Jan Manders
- 1997

ion Physical reality typically embodies numerous phenomena a lot of which may be secondary to the gross behavior of interest for the problem being addressed To prevent unnecessary complexity in tasks such as design analysis and control it is desirable to only capture those aspects of the system that are of immediate interest to the behaviors in question… (More)

- Pieter J. Mosterman, Hans Vangheluwe
- Simulation
- 2004

Modeling and simulation are quickly becoming the primary enablers for complex system design.They allow the representation of intricate knowledge at various levels of abstraction and allow automated analysis as well as synthesis. The heterogeneity of the design process, as much as of the system itself, however, requires a manifold of formalisms tailored to… (More)

Modelling and simulation are becoming increasingly important enablers in the analysis and design of complex systems. To tackle problems of ever increasing complexity, modelling and simulation research is shifting from simulation techniques to modelling methodology and technology. In this article, the emerging field of Computer Automated Multi-Paradigm… (More)

“This book is exactly what is needed at the exact right time in this fastgrowing area. From its beginnings over 10 years ago of deriving tests from UML statecharts, model-based testing has matured into a topic with both breadth and depth. Testing embedded systems is a natural application of MBT, and this book hits the nail exactly on the head. Numerous… (More)

Physical systems are by nature continuous but often display nonlinear behaviors that makes them hard to analyze Typically these nonlinearities occur at a time scale that is much smaller than the time scale at which gross system behavior needs to be described In other situations nonlinear e ects are small and of a parasitic nature To achieve e ciency and… (More)

To model complex mixed continuous/discrete, hybrid, systems, the continuous part can be described by di erential and algebraic equations using an object-oriented modeling language such as Modelica. It is shown how a discrete formalism such as Petri nets can be incorporated by describing all components by strictly local equations. This allows a unifying… (More)

- Pieter J. Mosterman
- Seventh IEEE International Symposium onObject…
- 2004

The design of embedded systems is often based on the development of a detailed formal system specification. Considerable effort is spent to ensure the correctness of this specification. However, the actual implementation of the specification and later maintenance is usually done using traditional programming and more often diverges from the specification.… (More)

Fault detection and isolation in dynamic physical systems based on analysis of transient system behavior involves monitoring for deviations and linking observed deviations to changes in system parameters. Components linked to the changed parameter values may be faulty. Functional redundancy is exploited in choosing measurements to uniquely isolate all… (More)

Bond graphs are a powerful formalism for modeling the continuous dynamics of physical systems To model fast continuous changes as discontinuities hybrid bond graphs introduce an ideal switching element the con trolled junction that may inhibit power transfer by enforcing its common variable to be zero When bond graph storage components become dependent upon… (More)