The Open UniversitySkip to content
 

A phenomenal basis for hybrid modelling

Hall, Jon G; Rapanotti, Lucia and Markov, Georgi (2017). A phenomenal basis for hybrid modelling. In: Proceedings of 5th IEEE International Workshop on Formal Methods Integration (IEEE FMi 2017), August 4-6, 2017.

Full text available as:
[img]
Preview
PDF (Accepted Manuscript) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (364kB) | Preview
Google Scholar: Look up in Google Scholar

Abstract

This work in progress extends the new mechanical philosophy from science to engineering. Engineering is the practice of organising the design and construction of artifices that satisfy needs in real-world contexts. This work shows how artifices can be described in terms of their mechanisms and composed through their observable phenomena.

Typically, the engineering of real system requires descrip- tions in many different languages: software components will be described in code; sensors and actuators in terms of their physical and electronic characteristics; plant in terms of differ- ential equations, perhaps. Another aspect of this work, then, to construct a formal framework so that diverse description languages can be used to characterise sub-mechanisms.

The work is situated in Problem Oriented Engineering, a design theoretic framework engineering defined by the first two authors.

Item Type: Conference or Workshop Item
Academic Unit/School: Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications
Faculty of Science, Technology, Engineering and Mathematics (STEM)
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 50234
Depositing User: Jon Hall
Date Deposited: 19 Jul 2017 13:38
Last Modified: 11 Nov 2017 06:06
URI: http://oro.open.ac.uk/id/eprint/50234
Share this page:

Download history for this item

These details should be considered as only a guide to the number of downloads performed manually. Algorithmic methods have been applied in an attempt to remove automated downloads from the displayed statistics but no guarantee can be made as to the accuracy of the figures.

Actions (login may be required)

Policies | Disclaimer

© The Open University   contact the OU