Formal Engineering Hybrid Systems: Semantic Underpinnings

Share/Save/Bookmark

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

[img]
Preview
PDF
612Kb
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
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:http://purl.utwente.nl/publications/64687
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 250913