CO-EVOLUTION PRESERVING ABSTRACT MODEL REDUCTION FOR UNCERTAIN CYBER-PHYSICAL SYSTEMS - Towards a Framework for Nanoscience

Manuela L. Bujorianu, Marius C. Bujorianu

2009

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.

Paper Citation

in Harvard Style

Bujorianu M. and Bujorianu M. (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

in Bibtex Style

@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},
}

in EndNote Style

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