Abstract
| Original language | Undefined |
|---|---|
| Place of Publication | Enschede |
| Publisher | Centre for Telematics and Information Technology (CTIT) |
| Number of pages | 26 |
| Publication status | Published - 18 Mar 2008 |
Publication series
| Name | CTIT Technical Report Series |
|---|---|
| Publisher | Centre for Telematics and Information Technology, University of Twente |
| No. | TR-CTIT-08-28 |
| ISSN (Print) | 1381-3625 |
Keywords
- MSC-03G30
- EWI-12119
- IR-64687
- METIS-250913
Cite this
}
Formal Engineering Hybrid Systems: Semantic Underpinnings. / Bujorianu, M.C.; Bujorianu, L.M.
Enschede : Centre for Telematics and Information Technology (CTIT), 2008. 26 p. (CTIT Technical Report Series; No. TR-CTIT-08-28).Research output: Book/Report › Report › Professional
TY - BOOK
T1 - Formal Engineering Hybrid Systems: Semantic Underpinnings
AU - Bujorianu, M.C.
AU - Bujorianu, L.M.
PY - 2008/3/18
Y1 - 2008/3/18
N2 - In this work we investigate some issues in applying formal methods to hybrid system development and develop a categorical framework. We study the themes of stochastic reasoning, heterogeneous formal specification and retrenchment. Hybrid systems raise a rich pallets of aspects that need to be investigated, but never the issue of how the multitude of logics, methodologies and tools can be used altogether. We attack this very difficult issue using categorical logic. When applying formal methods hybrid systems, new (formal methods) mathematics can be created. In this sense, we present new developments in categorical logic, inspired by the control engineering way of treating different aspects of systems. As stochastic reasoning has recently seized its importance in modelling and analysing hybrid systems, we present a uniform categorical formalisation of discrete, continuous and stochastic hybrid systems. A categorical, semantic framework is developed in order to help relating different aspects of hybrid system development.
AB - In this work we investigate some issues in applying formal methods to hybrid system development and develop a categorical framework. We study the themes of stochastic reasoning, heterogeneous formal specification and retrenchment. Hybrid systems raise a rich pallets of aspects that need to be investigated, but never the issue of how the multitude of logics, methodologies and tools can be used altogether. We attack this very difficult issue using categorical logic. When applying formal methods hybrid systems, new (formal methods) mathematics can be created. In this sense, we present new developments in categorical logic, inspired by the control engineering way of treating different aspects of systems. As stochastic reasoning has recently seized its importance in modelling and analysing hybrid systems, we present a uniform categorical formalisation of discrete, continuous and stochastic hybrid systems. A categorical, semantic framework is developed in order to help relating different aspects of hybrid system development.
KW - MSC-03G30
KW - EWI-12119
KW - IR-64687
KW - METIS-250913
M3 - Report
T3 - CTIT Technical Report Series
BT - Formal Engineering Hybrid Systems: Semantic Underpinnings
PB - Centre for Telematics and Information Technology (CTIT)
CY - Enschede
ER -