Formal Engineering Hybrid Systems: Semantic Underpinnings


Bujorianu, M.C. and Bujorianu, L.M. (2008) Formal Engineering Hybrid Systems: Semantic Underpinnings. [Report]

Abstract: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.
Item Type:Report
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 250913