Development of a System Controlling Cars on a Bridge using Machine Inclusion
Development of a System Controlling Cars on a Bridge using Machine Inclusion
This dataset is associated with the following paper: Thai Son Hoang, Dana Dghaym, Colin Snook, and Michael Butler. A Composition Mechanism for Refinement-Based Methods. In Zhenjiang Hu and Guangdong Bai, editors, *ICECCS'17: International Conference on Engineering of Complex Computer Systems, Fukuoka, Japan, November 5--8, Proceedings*, IEEE, 2017. Details about the dataset can be found in the README.md file.
University of Southampton
Hoang, Thai Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f
Dghaym, Dana
b7b69fe2-c9ff-43ad-a6ba-8b41d6fd19fc
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Hoang, Thai Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f
Dghaym, Dana
b7b69fe2-c9ff-43ad-a6ba-8b41d6fd19fc
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Hoang, Thai Son, Dghaym, Dana, Snook, Colin and Butler, Michael
(2017)
Development of a System Controlling Cars on a Bridge using Machine Inclusion.
University of Southampton
doi:10.5258/SOTON/D0237
[Dataset]
Abstract
This dataset is associated with the following paper: Thai Son Hoang, Dana Dghaym, Colin Snook, and Michael Butler. A Composition Mechanism for Refinement-Based Methods. In Zhenjiang Hu and Guangdong Bai, editors, *ICECCS'17: International Conference on Engineering of Complex Computer Systems, Fukuoka, Japan, November 5--8, Proceedings*, IEEE, 2017. Details about the dataset can be found in the README.md file.
Archive
Sensor_170701.zip
- Model
Archive
TrafficLight_170701.zip
- Model
Archive
Car_170701.zip
- Model
Archive
MachineInclusion_Deterministic_170701.zip
- Model
Show all 5 downloads.
More information
Published date: 10 September 2017
Organisations:
Electronics & Computer Science, Electronic & Software Systems, Faculty of Physical Sciences and Engineering
Identifiers
Local EPrints ID: 413962
URI: http://eprints.soton.ac.uk/id/eprint/413962
PURE UUID: 327f29e7-b6c9-4944-b235-1bf8f2df8a90
Catalogue record
Date deposited: 11 Sep 2017 16:33
Last modified: 06 Nov 2023 02:50
Export record
Altmetrics
Contributors
Creator:
Thai Son Hoang
Creator:
Dana Dghaym
Creator:
Colin Snook
Creator:
Michael Butler
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics