 |
|
Bujorianu, M.C. and Bujorianu, L.M.
(2008)
Formal Engineering Hybrid Systems: Semantic Underpinnings.
Technical Report TR-CTIT-08-28,
Centre for Telematics and Information Technology University of Twente, Enschede.
ISSN 1381-3625
Full text available as:  AbstractIn 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: | Internal Report (Technical Report) |
|---|
| Research Group: | EWI-FMT: Formal Methods and Tools |
|---|
| Research Program: | CTIT-DSN: Dependable Systems and Networks |
|---|
| Research Project: | AiSHA: Abstraction in Stochastic and Hybrid process Algebra |
|---|
| ID Code: | 12119 |
|---|
| Deposited On: | 18 March 2008 |
|---|
| More Information: | statisticsmetis |
|---|
Export this item as: To correct this item please ask your editor Repository Staff Only: edit this item
|
|
|
Nederlands
Contact
Sitemap
Search
Organisation