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
3–34
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
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
Proc. 25th CS&P 2017-Concurrency, Specification and Programming.
Gerd Behrmann
Alexandre David
Kim G Larsen
2004
A tutorial on Uppaal
Formal methods for the design of real-time systems
Springer
200–236
10.1007/s100090050010
Taha Chettibi
Moussa Haddad
HE Lehtihet
Wisama Khalil
2006
Suboptimal trajectory generation for industrial robots using trapezoidal velocity profiles
2006 IEEE/RSJ International Conference on Intelligent Robots and Systems
IEEE
729–735
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
397–415
10.1007/s10009-014-0361-y
Mohammed Foughali
2017
Toward a correct-and-scalable verification of concurrent robotic systems: insights on formalisms and tools
2017 17th International Conference on Application of Concurrency to System Design (ACSD)
IEEE
29–38
10.1109/ACSD.2017.10
Mohammed Foughali
Félix Ingrand
Cristina Seceleanu
2019
Statistical model checking of complex robotic systems
International Symposium on Model Checking Software
Springer
114–134
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
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
2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE)
IEEE
44–50
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
7287–7299
10.1016/j.apm.2013.02.028
Theo Jacobs
Gurvinder Singh Virk
2014
ISO 13482 - The new safety standard for personal care robots
ISR/Robotik 2014; 41st International Symposium on Robotics
VDE
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
38
Xinxin Li
Rui Wang
Yu Jiang
Yong Guan
Xiaojuan Li
Xiaoyu Song
2017
Formal modeling and automatic code synthesis for robot system
2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS)
IEEE
146–149
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
49–54
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
2007 IEEE Vehicle Power and Propulsion Conference
Ieee
284–289
10.1109/VPPC.2007.4544139
GS Virk
S Moon
R Gelin
2008
ISO standards for service robots
Advances In Mobile Robotics
World Scientific
133–138
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
1096–1107
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
2014 AAAI Spring Symposium Series
Yuchen Zhou
Dipankar Maity
John S Baras
2016
Timed automata approach for motion planning using metric interval temporal logic
2016 European Control Conference (ECC)
IEEE
690–695
10.1109/ECC.2016.7810369