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.

References

  1. Accardi L., Ohya M., Watanabe N., 2006. Quantum Information and Computing World Scientific.
  2. Albeverio, S., Ma, Z.M., Rockner, M., 1993. Quasi-regular Dirichlet Forms and Markov Processes. J. of Functional Analysis 111: 118-154.
  3. Bujorianu, M.C., Bujorianu M.L., 2007a. Towards Hilbertean Formal Methods Proc. of the 7th International Conference on Application of Concurrency to System Design ACSD IEEE Press.
  4. Bujorianu, M.C., Bujorianu, M.L., 2007b. An integrated specification framework for embedded systems, Proc. of SEFM, IEEE Press.
  5. Bujorianu, M.C., Bujorianu M.L., 2008a. A Randomized Model for Communicating Embedded Systems. Proceedings of the 16th Mediterranean Conference on Control and Automation, IEEE Press.
  6. Bujorianu, M.L., Bujorianu, M.C., 2008b. Bisimulation, Logic and Mobility for Markovian Systems, In: Proc of 18th International Symposium on Mathematical Theory of Networks and Systems (MTNS08), SIAM.
  7. Bujorianu, M.L., Bujorianu, M.C., Blom H., 2008. Approximate Abstractions of Stochastic Hybrid Systems, Proc. of the 17th IFAC World Congress, Elsevier.
  8. Bujorianu, M.L., Katoen J., 2008. Symmetry reduction for stochastic hybrid systems. In: Proc. of IEEE 47th Conference on Decision and Control, IEEE press.
  9. Bujorianu, M.L., Bujorianu, M.C. 2006. A Model Checking Strategy for a Performance Measure of Fluid Stochastic Models, In: European Performance Engineering Workshop (EPEW), Springer LNCS 4054, pp. 93-107.
  10. Bujorianu, M.L., Lygeros, J., 2004. General Stochastic Hybrid Systems: Modelling and Optimal Control. Proc. 43th Conference in Decision and Control, IEEE Press: 182-187.
  11. Bujorianu, M.L. 2004. Extended Stochastic Hybrid Systems and their Reachability Problem. In Hybrid Systems: Computation and Control, Springer LNCS 2993: 234- 249.
  12. Bujorianu, M.L., Lygeros, J., Bujorianu, M.C., 2005a. Abstractions of Stochastic Hybrid System. Proc. 44th Conference in Decision and Control. IEEE Press.
  13. Bujorianu, M.L., Lygeros, J., Bujorianu, M.C., 2005b. Bisimulation for General Stochastic Hybrid Systems. In Proc. Hybrid Systems: Computation and Control, Springer LNCS 3414: 198-216.
  14. Davis, M.H.A. 1993. Markov Models and Optimization Chapman & Hall.
  15. Ethier, S.N., Kurtz, T.G., 1986. Markov Processes: Characterization and Convergence. John Wiley and Sons.
  16. Haghverdi, E., Tabuada, P., Pappas, G.J., 2005. Bisimulation Relations for Dynamical, Control and Hybrid Systems. Theor. Comput. Science, 342(2-3):229-261.
  17. Hornyak, G., Dutta, J., Tibbals H.J., Rao A.K. 2008. Introduction to Nanoscience CRC Press.
  18. Iscoe, I., McDonald, D., 1990. Induced Dirichlet Forms and Capacitary Inequalities. Ann. Prob. 18 (3): 1195- 1221.
  19. Ma, M., Rockner, M., 1990. The Theory of (NonSymmetric) Dirichlet Forms and Markov Processes Springer Verlag.
  20. Rogers, L.C.G., Pitman, J.W., 1981. Markov Functions. Ann. Prob., 9 (4): 573-582.
  21. Singh, A., Hespanha, J.P., 2005. Models for Multi-Specie Chemical Reactions Using Polynomial Stochastic Hybrid Systems. Proc. of 44th Conference in Decision and Control, IEEE Press.
  22. Tabuada P. 2006. Cyber-Physical Systems: Position Paper presented at NSF Workshop on Cyber-Physical Systems.
Download


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