Bujorianu M.L., Bujorianu M.C. (2011) Interdisciplinary Modeling of Autonomous Systems Deployed in Uncertain Dynamic Environments. In: Cetto J.A., Filipe J., Ferrier JL. (eds) Informatics in Control Automation and Robotics. Lecture Notes in Electrical Engineering, vol 85. Springer, Berlin, Heidelberg
The autonomous systems that operate in physical, random and highly dynamical environments involve a large amount of computation, which depends on the number of parameters. We tackle the problem of complexity reduction for these systems based on an interdisciplinary and qualitative approach. We define concepts like qualitative model reduction and adaptive bismulation, and use them to investigate the stochastic model checking. These concepts prove to be very useful in capturing the co-evolution between system and its environment. Potential applications in renewable energies are discussed.
Autonomous systems Uncertain cyber-physical systems Adaptive bisimulation System environment co-evolution Stochastic model checking Renewable energy