Computer Automated Multi-Paradigm Modeling
Over the last decades
engineered systems have reached a tremendous level of complexity, involving
expertise from many disciplines and entailing a variety of implementation
technologies (e.g., embedded software, microelectromechanical systems, analog
circuits, and digital circuits). The heterogeneous nature of these systems
invariably combines with an architecture of different concurrent components that
interact through continuous signals or discrete message passing. The
corresponding increased level of complexity has led to the use of more formal
approaches to system design through realization.
Efficient and effective approaches apply dedicated modeling formalisms to
different aspects of the system. Consequently, the complete system specification
process combines several modeling, design, implementation, and realization
paradigms (e.g., differential equation modeling, continuous time signal
processing, and discrete event controllers) and decomposition of the entire
specification task allows teams of experts to concurrently work on their domain
of expertise. In the area of computer aided control system design this includes,
e.g., control system design, simulation, optimization, modeling, and
verification.
Each of these paradigms have different modeling languages (textual and/or
graphical) and rely on different computational models.
- This special session at the IEEE International Symposium on Computer-Aided
Control Systems Design 2000 addresses some of the multi-paradigm issues in two
parts:
- This special session at the IEEE International Conference on Control
Applications 2001 addresses some of the methodological issues in and
applications of domain
specific modeling.
- This special session at the IEEE International Symposium on Computer-Aided
Control Systems Design 2004 discusses specific CAMPaM applications
in automotive, transportation, aerospace, and process industry.
Many
of the references in the combined papers are in the form of URLs. These are
compiled in one list
of references.
In addition to these sessions, two special issues of international journals
on the topic of Computer Automated Multi-Paradigm Modeling are organized:
If you are interested in this field or any of the topics in particular
found on this and linked pages, feel free to contact us. Thanks so much for your
interest!
Pieter J. Mosterman and Hans Vangheluwe