Informatics in Control Automation and Robotics

Volume 85 of the series Lecture Notes in Electrical Engineering pp 337-349

Interdisciplinary Modeling of Autonomous Systems Deployed in Uncertain Dynamic Environments

  • Manuela L. BujorianuAffiliated withSchool of Mathematics, University of Manchester
  • , Marius C. BujorianuAffiliated withSchool of Mathematics, University of Manchester

* Final gross prices may vary according to local VAT.

Get Access


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