Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis & Sergio Yovine (1995):
The algorithmic analysis of hybrid systems.
Theoretical computer science 138(1),
pp. 3–34,
doi:10.1016/0304-3975(94)00202-T.
Adina Aniculaesei, Daniel Arnsberger, Falk Howar & Andreas Rausch (2016):
Towards the verification of safety-critical autonomous systems in dynamic environments.
arXiv preprint arXiv:1612.04977,
doi:10.4204/EPTCS.232.10.
Ryota Arai & H Schlingloff (2017):
Model-based performance prediction by statistical model checking an industrial case study of autonomous transport robots.
In: Proc. 25th CS&P 2017-Concurrency, Specification and Programming..
Gerd Behrmann, Alexandre David & Kim G Larsen (2004):
A tutorial on Uppaal.
In: Formal methods for the design of real-time systems.
Springer,
pp. 200–236,
doi:10.1007/s100090050010.
Taha Chettibi, Moussa Haddad, HE Lehtihet & Wisama Khalil (2006):
Suboptimal trajectory generation for industrial robots using trapezoidal velocity profiles.
In: 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems.
IEEE,
pp. 729–735,
doi:10.1109/IROS.2006.282621.
Alexandre David, Kim G Larsen, Axel Legay, Marius Mikučionis & Danny Bøgsted Poulsen (2015):
Uppaal SMC tutorial.
International Journal on Software Tools for Technology Transfer 17(4),
pp. 397–415,
doi:10.1007/s10009-014-0361-y.
Mohammed Foughali (2017):
Toward a correct-and-scalable verification of concurrent robotic systems: insights on formalisms and tools.
In: 2017 17th International Conference on Application of Concurrency to System Design (ACSD).
IEEE,
pp. 29–38,
doi:10.1109/ACSD.2017.10.
Mohammed Foughali, Félix Ingrand & Cristina Seceleanu (2019):
Statistical model checking of complex robotic systems.
In: International Symposium on Model Checking Software.
Springer,
pp. 114–134,
doi:10.1016/S1571-0661(05)80435-9.
Carlo A Furia, Dino Mandrioli, Angelo Morzenti & Matteo Rossi (2012):
Modeling time in computing.
Springer Science & Business Media,
doi:10.1007/978-3-642-32332-4.
Yuri Gordienko, Sergii Stirenko, Yuriy Kochura, Oleg Alienin, Michail Novotarskiy & Nikita Gordienko (2017):
Deep learning for fatigue estimation on the basis of multimodal human-machine interactions.
arXiv preprint arXiv:1801.06048.
Raju Halder, José Proença, Nuno Macedo & André Santos (2017):
Formal verification of ROS-based robotic applications using timed-automata.
In: 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE).
IEEE,
pp. 44–50,
doi:10.1109/FormaliSE.2017.9.
ISO 13482 (2014):
Robots and robotic devices - Safety requirements for personal care robots.
International Organization for Standardization.
Mohamad Y Jaber, ZS Givi & W Patrick Neumann (2013):
Incorporating human fatigue and recovery into the learning–forgetting process.
Applied Mathematical Modelling 37(12-13),
pp. 7287–7299,
doi:10.1016/j.apm.2013.02.028.
Theo Jacobs & Gurvinder Singh Virk (2014):
ISO 13482 - The new safety standard for personal care robots.
In: ISR/Robotik 2014; 41st International Symposium on Robotics.
VDE,
pp. 1–6.
Stephan Konz (2000):
Work/rest: Part ii-the scientific basis (knowledge base) for the guide 1.
Ergonomics Guidelines and Problem Solving 1(401),
pp. 38.
Xinxin Li, Rui Wang, Yu Jiang, Yong Guan, Xiaojuan Li & Xiaoyu Song (2017):
Formal modeling and automatic code synthesis for robot system.
In: 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS).
IEEE,
pp. 146–149,
doi:10.1109/ICECCS.2017.17.
Levente Molnar & Sandor M Veres (2011):
Hybrid automata dicretising agents for formal modelling of robots.
IFAC Proceedings Volumes 44(1),
pp. 49–54,
doi:10.3182/20110828-6-IT-1002.03022.
Olivier Tremblay, Louis-A Dessaint & Abdel-Illah Dekkiche (2007):
A generic battery model for the dynamic simulation of hybrid electric vehicles.
In: 2007 IEEE Vehicle Power and Propulsion Conference.
Ieee,
pp. 284–289,
doi:10.1109/VPPC.2007.4544139.
GS Virk, S Moon & R Gelin (2008):
ISO standards for service robots.
In: Advances In Mobile Robotics.
World Scientific,
pp. 133–138,
doi:10.1142/9789812835772_0016.
Rui Wang, Yong Guan, Houbing Song, Xinxin Li, Xiaojuan Li, Zhiping Shi & Xiaoyu Song (2018):
A formal model-based design method for robotic systems.
IEEE Systems Journal 13(1),
pp. 1096–1107,
doi:10.1109/JSYST.2018.2867285.
Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay & Kerstin Dautenhahn (2014):
Formal verification of an autonomous personal robotic assistant.
In: 2014 AAAI Spring Symposium Series.
Yuchen Zhou, Dipankar Maity & John S Baras (2016):
Timed automata approach for motion planning using metric interval temporal logic.
In: 2016 European Control Conference (ECC).
IEEE,
pp. 690–695,
doi:10.1109/ECC.2016.7810369.
eptcs@eptcs.org