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:
- (i) a part that focuses on the modeling issues and
- (ii) a part that pertains to model interpretation.
- 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:
- The theory and methodology of computer automated multi-paradigm modeling are the subject of an ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION special issue.
- The technology of computer automated multi-paradigm modeling in the field of control system design and implementation are the subject of an IEEE TRANSACTIONS ON CONTROL SYSTEM TECHNOLOGY special issue.
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
