Intelligent Autonomous Systems

作者: Atif Mashkoor , Paolo Arcaini , Angelo Gargantini

DOI: 10.1109/MC.2020.3023158

关键词: AutomationSystems engineeringComputer scienceIntelligent decision support system

摘要: The bourgeoning industry of intelligent autonomous systems (IASs) presents numerous opportunities for cost-efficient automation. IASs also pose many challenges, including adapting to and overcoming uncertain situations they are likely encounter.

参考文章(2)
Atif Mashkoor, Felix Kossak, Alexander Egyed, Evaluating the suitability of state‐based formal methods for industrial deployment Software - Practice and Experience. ,vol. 48, pp. 2350- 2379 ,(2018) , 10.1002/SPE.2634
Atif Mashkoor, Johannes Sametinger, Miklós Biro, Alexander Egyed, Security‐ and safety‐critical cyber‐physical systems Journal of Software: Evolution and Process. ,vol. 32, ,(2020) , 10.1002/SMR.2239