loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Manuela L. Bujorianu and Marius C. Bujorianu

Affiliation: University of Manchester, United Kingdom

ISBN: 978-989-674-001-6

Keyword(s): Cyber-physical systems, Adaptive bisimulation, Co-evolution, Stochastic model checking, Qualitative model reduction, Nanoscience.

Related Ontology Subjects/Areas/Topics: Hybrid Dynamical Systems ; Informatics in Control, Automation and Robotics ; Modeling, Simulation and Architectures ; Robotics and Automation ; Signal Processing, Sensors, Systems Modeling and Control

Abstract: The problem of abstracting computational relevant properties from sophisticated mathematical models of physical environments has become crucial for cyber-physical systems. We approach this problem using Hilbertean formal methods, a semantic framework that offers intermediate levels of abstractions between the physical world described in terms of differential equations and the formal methods associated with theories of computation. Although, Hilbertean formal methods consider both deterministic and stochastic physical environments, in this paper, we focus on the stochastic case. The abstraction method can be used for verification, but also to improve the controller design and to investigate complex interactions between computation and physics. We define also a computational equivalence relation called adaptive model reduction, because it considers the co-evolution between a computation device environment and its physical environment during abstraction.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 34.239.160.113

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Bujorianu M.; Bujorianu M. and (2009). CO-EVOLUTION PRESERVING ABSTRACT MODEL REDUCTION FOR UNCERTAIN CYBER-PHYSICAL SYSTEMS - Towards a Framework for Nanoscience.In Proceedings of the 6th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO, ISBN 978-989-674-001-6, pages 39-46. DOI: 10.5220/0002217800390046

@conference{icinco09,
author={Manuela L. Bujorianu and Marius C. Bujorianu},
title={CO-EVOLUTION PRESERVING ABSTRACT MODEL REDUCTION FOR UNCERTAIN CYBER-PHYSICAL SYSTEMS - Towards a Framework for Nanoscience},
booktitle={Proceedings of the 6th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,},
year={2009},
pages={39-46},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002217800390046},
isbn={978-989-674-001-6},
}

TY - CONF

JO - Proceedings of the 6th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,
TI - CO-EVOLUTION PRESERVING ABSTRACT MODEL REDUCTION FOR UNCERTAIN CYBER-PHYSICAL SYSTEMS - Towards a Framework for Nanoscience
SN - 978-989-674-001-6
AU - Bujorianu, M.
AU - Bujorianu, M.
PY - 2009
SP - 39
EP - 46
DO - 10.5220/0002217800390046

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.