Formal Engineering Hybrid Systems: Semantic Underpinnings

M.C. Bujorianu, L.M. Bujorianu

Research output: Book/ReportReportProfessional

30 Downloads (Pure)

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.
Original languageUndefined
Place of PublicationEnschede
PublisherCentre for Telematics and Information Technology (CTIT)
Number of pages26
Publication statusPublished - 18 Mar 2008

Publication series

NameCTIT Technical Report Series
PublisherCentre 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

Bujorianu, M. C., & Bujorianu, L. M. (2008). Formal Engineering Hybrid Systems: Semantic Underpinnings. (CTIT Technical Report Series; No. TR-CTIT-08-28). Enschede: Centre for Telematics and Information Technology (CTIT).
Bujorianu, M.C. ; Bujorianu, L.M. / Formal Engineering Hybrid Systems: Semantic Underpinnings. Enschede : Centre for Telematics and Information Technology (CTIT), 2008. 26 p. (CTIT Technical Report Series; TR-CTIT-08-28).
@book{36fb19be0e134feb893f5dd62abd5bc7,
title = "Formal Engineering Hybrid Systems: Semantic Underpinnings",
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.",
keywords = "MSC-03G30, EWI-12119, IR-64687, METIS-250913",
author = "M.C. Bujorianu and L.M. Bujorianu",
year = "2008",
month = "3",
day = "18",
language = "Undefined",
series = "CTIT Technical Report Series",
publisher = "Centre for Telematics and Information Technology (CTIT)",
number = "TR-CTIT-08-28",
address = "Netherlands",

}

Bujorianu, MC & Bujorianu, LM 2008, Formal Engineering Hybrid Systems: Semantic Underpinnings. CTIT Technical Report Series, no. TR-CTIT-08-28, Centre for Telematics and Information Technology (CTIT), Enschede.

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/ReportReportProfessional

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 -

Bujorianu MC, Bujorianu LM. Formal Engineering Hybrid Systems: Semantic Underpinnings. Enschede: Centre for Telematics and Information Technology (CTIT), 2008. 26 p. (CTIT Technical Report Series; TR-CTIT-08-28).