Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi & Federico Vicentini (2017):
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications.
In: Stefano Tonetta, Erwin Schoitsch & Friedemann Bitsch: Computer Safety, Reliability, and Security - 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings,
Lecture Notes in Computer Science 10488.
Springer,
pp. 89–104,
doi:10.1007/978-3-319-66266-4_6.
Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi & Federico Vicentini (2019):
Formal model of human erroneous behavior for safety analysis in collaborative robotics.
Robotics and Computer-Integrated Manufacturing 57,
pp. 465 – 476,
doi:10.1016/j.rcim.2019.01.001.
Mehrnoosh Askarpour, Claudio Menghi, Gabriele Belli, Marcello M. Bersani & Patrizio Pelliccione (2020):
Mind the gap: Robotic Mission Planning Meets Software Engineering.
In: FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020,
pp. 55–65,
doi:10.1145/3372020.3391561.
Sandra Basnyat & Philippe Palanque (2005):
A task pattern approach to incorporate user deviation in task models.
In: Proc. 1st ADVISES Young Researchers Workshop. Liege, Belgium.
Marcello M. Bersani, Matteo Soldo, Claudio Menghi, Patrizio Pelliccione & Matteo Rossi (2020):
PuRSUE -from specification of robotic environments to synthesis of controllers.
Formal Aspects Comput. 32(2),
pp. 187–227,
doi:10.1109/TAC.2011.2176409.
Matthew L. Bolton (2015):
Model Checking Human-Human Communication Protocols Using Task Models and Miscommunication Generation.
J. Aerospace Inf. Sys. 12(7),
pp. 476–489,
doi:10.1177/1555343413490944.
Matthew L. Bolton & Ellen J. Bass (2010):
Formally verifying human–automation interaction as part of a system model: limitations and tradeoffs.
Innovations in Systems and Software Engineering 6(3),
pp. 219–231,
doi:10.1007/s11334-010-0129-9.
Matthew L. Bolton, Ellen J. Bass & Radu I. Siminiceanu (2012):
Generating Phenotypical Erroneous Human Behavior to Evaluate Human-automation Interaction Using Model Checking.
Int. J. Hum.-Comput. Stud. 70(11),
pp. 888–906,
doi:10.1016/j.ijhcs.2012.05.010.
Matthew L. Bolton, Ellen J. Bass & Radu I. Siminiceanu (2013):
Using Formal Verification to Evaluate Human-Automation Interaction: A Review.
IEEE Trans. Systems, Man, and Cybernetics: Systems 43(3),
pp. 488–503,
doi:10.1109/TSMCA.2012.2210406.
Matthew L. Bolton, Kylie Molinaro & Adam Houser (2019):
A formal method for assessing the impact of task-based erroneous human behavior on system safety.
Reliab. Eng. Syst. Saf. 188,
pp. 168–180.
Available at https://doi.org/10.1016/j.ress.2019.03.010.
Matthew L. Bolton, Radu I. Siminiceanu & Ellen J. Bass (2011):
A Systematic Approach to Model Checking Human-Automation Interaction Using Task Analytic Models..
IEEE Trans. Systems, Man, and Cybernetics, Part A 41(5),
pp. 961–976,
doi:10.1109/TSMCA.2011.2109709.
Fiemke Both & Annerieke Heuvelink (2007):
From a formal cognitive task model to an implemented ACT-R model.
In: Proceedings of the 8th International Conference on Cognitive Modeling (ICCM),
pp. 199–204.
Jan Bredereke & Axel Lankenau (2002):
A Rigorous View of Mode Confusion.
In: Proceedings of the 21st International Conference on Computer Safety, Reliability and Security,
SAFECOMP '02.
Springer-Verlag,
London, UK, UK,
pp. 19–31,
doi:10.1016/0167-6423(95)96871-J.
Jan Bredereke & Axel Lankenau (2005):
Safety-relevant mode confusions modelling and reducing them.
Reliability Engineering & System Safety 88(3),
pp. 229 – 245,
doi:10.1016/j.ress.2004.07.020.
Richard Butterworth, Ann Blandford & David Duke (2000):
Demonstrating the Cognitive Plausibility of Interactive System Specifications.
Formal Aspects of Computing 12(4),
pp. 237–259,
doi:10.1007/s001650070021.
Antonio Cerone, Peter A. Lindsay & Simon Connelly (2005):
Formal Analysis of Human-computer Interaction using Model-checking.
In: Bernhard K. Aichernig & Bernhard Beckert: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany.
IEEE Computer Society,
pp. 352–362,
doi:10.1109/SEFM.2005.19.
Available at https://ieeexplore.ieee.org/xpl/conhome/10529/proceeding.
Matthew Crosby, Ronald P. A. Petrick, Francesco Rovida & Volker Krüger (2017):
Integrating Mission and Task Planning in an Industrial Robotics Framework.
In: Laura Barbulescu, Jeremy Frank, Mausam & Stephen F. Smith: Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017.
AAAI Press,
pp. 471–479.
Available at https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15715.
Paul Curzon & Ann Blandford (2002):
From a Formal User Model to Design Rules.
In: Interactive Systems. Design, Specification, and Verification, 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002,
pp. 1–15,
doi:10.1007/3-540-36235-5_1.
Paul Curzon & Ann Blandford (2004):
Formally justifying user-centred design rules: a case study on post-completion errors.
In: International Conference on Integrated Formal Methods.
Springer,
pp. 461–480,
doi:10.1007/3-540-47884-1_12.
Paul Curzon, Rimvydas Rukš\.enas & Ann Blandford (2007):
An approach to formal verification of human–computer interaction.
Formal Aspects of Computing 19(4),
pp. 513–550,
doi:10.1007/s00165-007-0035-6.
Lavindra de Silva, Paolo Felli, David Sanderson, Jack C. Chaplin, Brian Logan & Svetan Ratchev (2019):
Synthesising process controllers from formal models of transformable assembly systems.
Robotics and Computer-Integrated Manufacturing 58,
pp. 130 – 144,
doi:10.1016/j.rcim.2019.01.014.
R. Dillmann, O. Rogalla, M. Ehrenmann, R. Zöliner & M. Bordegoni (2000):
Learning Robot Behaviour and Skills Based on Human Demonstration and Advice: The Machine Learning Paradigm.
In: John M. Hollerbach & Daniel E. Koditschek: Robotics Research.
Springer London,
London,
pp. 229–238,
doi:10.1007/978-1-4471-1555-7.
E.M. Dougherty & J.R. Fragola (1988):
Human reliability analysis.
New York, NY; John Wiley and Sons Inc..
DE Embrey (1986):
SHERPA: A systematic human error reduction and prediction approach.
In: Proceedings of the international topical meeting on advances in human factors in nuclear power systems.
F. De Felice, A. Petrillo & F. Zomparelli (2016):
A Hybrid Model for Human Error Probability Analysis.
IFAC-PapersOnLine 49(12),
pp. 1673 – 1678,
doi:10.1016/j.ifacol.2016.07.821.
8th IFAC Conference on Manufacturing Modelling, Management and Control MIM 2016.
Robert E. Fields (2001):
Analysis of erroneous actions in the design of critical systems.
University of York.
Daniel Gall & Thom W. Frühwirth (2014):
A Formal Semantics for the Cognitive Architecture ACT-R.
In: Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers,
pp. 74–91,
doi:10.1007/978-3-319-17822-6_5.
Wayne D. Gray (2000):
The Nature and Processing of Errors in Interactive Behavior.
Cognitive Science 24(2),
pp. 205–248,
doi:10.1207/s15516709cog2402_2.
Jérémie Guiochet, Mathilde Machin & Hélène Waeselynck (2017):
Safety-critical advanced robots: A survey.
Robotics and Autonomous Systems 94,
pp. 43 – 52,
doi:10.1016/j.robot.2017.04.004.
H. Rex Hartson, Antonio C. Siochi & D. Hix (1990):
The UAN: A User-oriented Representation for Direct Manipulation Interface Designs.
ACM Trans. Inf. Syst. 8(3),
pp. 181–203,
doi:10.1145/964967.801131.
K. P. Hawkins, Nam Vo, S. Bansal & A. F. Bobick (2013):
Probabilistic human action prediction and wait-sensitive planning for responsive human-robot collaboration.
In: 2013 13th IEEE-RAS International Conference on Humanoid Robots (Humanoids),
pp. 499–506,
doi:10.1109/HUMANOIDS.2013.7030020.
Erik Hollnagel (1998):
Cognitive reliability and error analysis method (CREAM).
Elsevier.
Andrew Howes & Richard M. Young (1997):
The Role of Cognitive Architecture in Modeling the User: Soar's Learning Mechanism.
Human-Computer Interaction 12(4),
pp. 311–343,
doi:10.1007/BF01099424.
Dominik Jain, Stefan Waldherr & Michael Beetz (2011):
Bayesian Logic Networks.
David J. Jilk, Christian Lebiere, Randall C. O'Reilly & John R. Anderson (2008):
SAL: an explicitly pluralistic cognitive architecture.
J. Exp. Theor. Artif. Intell. 20(3),
pp. 197–218,
doi:10.1007/10719871.
Been Kim (2015):
Interactive and interpretable machine learning models for human machine collaboration.
Massachusetts Institute of Technology.
Namhun Kim, Ling Rothrock, Jaekoo Joo & Richard A. Wysk (2010):
An affordance-based formalism for modeling human-involvement in complex systems for prospective control.
In: Proceedings of the 2010 Winter Simulation Conference, WSC 2010, Baltimore, Maryland, USA, 5-8 December 2010.
IEEE,
pp. 811–823,
doi:10.1109/WSC.2010.5679107.
Available at https://ieeexplore.ieee.org/xpl/conhome/5672636/proceeding.
Barry Kirwan (1998):
Human error identification techniques for risk assessment of high risk systems-Part 1: review and evaluation of techniques.
Applied Ergonomics 29(3),
pp. 157 – 177,
doi:10.1016/S0003-6870(98)00010-6.
Vincent Langenfeld, Bernd Westphal & Andreas Podelski (2019):
On Formal Verification of ACT-R Architectures and Models.
In: Ashok K. Goel, Colleen M. Seifert & Christian Freksa: Proceedings of the 41th Annual Meeting of the Cognitive Science Society, CogSci 2019: Creativity + Cognition + Computation, Montreal, Canada, July 24-27, 2019.
cognitivesciencesociety.org,
pp. 618–624.
Available at https://mindmodeling.org/cogsci2019/papers/0124/index.html.
Kung-Kiu Lau & Mario Ornaghi (1995):
Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs.
In: Logic Programming Synthesis and Transformation, 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings,
pp. 152–169,
doi:10.1007/3-540-60939-3_11.
Christian Lebiere, Randall C. O'Reilly, David J. Jilk, Niels Taatgen & John R. Anderson (2008):
The SAL Integrated Cognitive Architecture.
In: Biologically Inspired Cognitive Architectures, Papers from the 2008 AAAI Fall Symposium, Arlington, Virginia, USA, November 7-9, 2008,
AAAI Technical Report FS-08-04.
AAAI,
pp. 98–104.
Available at http://www.aaai.org/Library/Symposia/Fall/2008/fs08-04-027.php.
B. Li, B. R. Page, B. Moridian & N. Mahmoudian (2020):
Collaborative Mission Planning for Long-Term Operation Considering Energy Limitations.
IEEE Robotics and Automation Letters 5(3),
pp. 4751–4758,
doi:10.1109/LRA.2020.3003881.
Meng kun Li, Yong kuo Liu, Min jun Peng, Chun li Xie & Li qun Yang (2016):
The decision making method of task arrangement based on analytic hierarchy process for nuclear safety in radiation field.
Progress in Nuclear Energy 93,
pp. 318 – 326.
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon & Michael Fisher (2019):
Formal Specification and Verification of Autonomous Robotic Systems: A Survey.
ACM Comput. Surv. 52(5),
pp. 100:1–100:41,
doi:10.1007/s10458-010-9146-1.
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon & Michael Fisher (2019):
A Summary of Formal Specification and Verification of Autonomous Robotic Systems.
In: Wolfgang Ahrendt & Silvia Lizeth Tapia Tarifa: Integrated Formal Methods - 15th International Conference, IFM,
Lecture Notes in Computer Science 11918.
Springer,
pp. 538–541,
doi:10.1145/1592434.1592436.
Andrea Mannini & Angelo Maria Sabatini (2010):
Machine Learning Methods for Classifying Human Physical Activity from On-Body Accelerometers.
Sensors 10(2),
pp. 1154–1175,
doi:10.3390/s100201154.
Célia Martinie, Philippe A. Palanque, Racim Fahssi, Jean-Paul Blanquart, Camille Fayollas & Christel Seguin (2016):
Task Model-Based Systematic Analysis of Both System Failures and Human Errors.
IEEE Trans. Human-Machine Systems 46(2),
pp. 243–254,
doi:10.1109/THMS.2014.2365956.
Björn Matthias (2015):
Risk Assessment for Human-Robot Collaborative Applications.
In: Workshop IROS - Physical Human-Robot Collaboration: Safety, Control, Learning and Applications.
Claudio Menghi, Sergio Garcia, Patrizio Pelliccione & Jana Tumova (2018):
Multi-robot LTL Planning Under Uncertainty.
In: Klaus Havelund, Jan Peleska, Bill Roscoe & Erik de Vink: Formal Methods.
Springer International Publishing,
Cham,
pp. 399–417,
doi:10.1177/0278364915595278.
Christine M. Mitchell & R. A. Miller (1986):
A Discrete Control Model of Operator Function: A Methodology for Information Display Design.
IEEE Trans. Systems, Man, and Cybernetics 16(3),
pp. 343–357,
doi:10.1109/TSMC.1986.4308966.
Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis & Jim Woodcock (2019):
RoboChart: modelling and verification of the functional behaviour of robotic applications.
Software and Systems Modeling 18(5),
pp. 3097–3149,
doi:10.1145/197320.197322.
Victor Moher, Thomas G.and Dirda (1995):
Revising mental models to accommodate expectation failures in human-computer dialogues,
pp. 76–92.
Springer Vienna,
Vienna.
A. Mosleh & Y.H. Chang (2004):
Model-based human reliability analysis: prospects and requirements.
Reliability Engineering & System Safety 83(2),
pp. 241 – 253,
doi:10.1016/j.ress.2003.09.014.
Human Reliability Analysis: Data Issues and Errors of Commission.
Dan Pan & Matthew L. Bolton (2016):
Properties for formally assessing the performance level of human-human collaborative procedures with miscommunications and erroneous human behavior.
International Journal of Industrial Ergonomics,
pp. –.
Fabio Paternò, Cristiano Mancini & Silvia Meniconi (1997):
ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models.
In: Steve Howard, Judy Hammond & Gitte Lindgaard: Human-Computer Interaction, INTERACT '97, IFIP TC13 Interantional Conference on Human-Computer Interaction, 14th-18th July 1997, Sydney, Australia,
IFIP Conference Proceedings 96.
Chapman & Hall,
pp. 362–369.
Fabio Paternò & Carmen Santoro (2002):
Preventing user errors by systematic analysis of deviations from the system task model.
International Journal of Human-Computer Studies 56(2),
pp. 225–245,
doi:10.1006/ijhc.2001.0523.
Steven Pocock, Michael D. Harrison, Peter C. Wright & Paul Johnson (2001):
THEA: A Technique for Human Error Assessment Early in Design.
In: Michitaka Hirose: Human-Computer Interaction INTERACT '01: IFIP TC13 International Conference on Human-Computer Interaction, Tokyo, Japan, July 9-13, 2001.
IOS Press,
pp. 247–254.
Gayathri R. & V. Uma (2018):
Ontology based knowledge representation technique, domain modeling languages and planners for robotic path planning: A survey.
ICT Express 4(2),
pp. 69 – 74,
doi:10.1016/j.icte.2018.04.008.
SI on Artificial Intelligence and Machine Learning.
James Reason (2000):
Human error: models and management.
BMJ: British Medical Journal 320(7237),
pp. 768,
doi:10.1136/bmj.320.7237.768.
Pedro Ribeiro, Alvaro Miyazawa, Wei Li, Ana Cavalcanti & Jon Timmis (2017):
Modelling and Verification of Timed Robotic Controllers.
In: Nadia Polikarpova & Steve Schneider: Integrated Formal Methods.
Springer International Publishing,
Cham,
pp. 18–33,
doi:10.1007/BFb0020949.
FRANK E. RITTER & RICHARD M. YOUNG (2001):
Embodied models as simulated users: introduction to this special issue on using cognitive models to improve interface design.
International Journal of Human-Computer Studies 55(1),
pp. 1 – 14,
doi:10.1006/ijhc.2001.0471.
Rimvydas Ruksenas, Jonathan Back, Paul Curzon & Ann Blandford (2009):
Verification-guided modelling of salience and cognitive load.
Formal Asp. Comput. 21(6),
pp. 541–569,
doi:10.1007/s00165-008-0102-7.
Dario D. Salvucci & Frank J. Lee (2003):
Simple cognitive modeling in a complex cognitive architecture.
In: Gilbert Cockton & Panu Korhonen: Proceedings of the 2003 Conference on Human Factors in Computing Systems, CHI 2003, Ft. Lauderdale, Florida, USA, April 5-10, 2003.
ACM,
pp. 265–272,
doi:10.1145/642611.642658.
Dongmin Shin, Richard A. Wysk & Ling Rothrock (2006):
Formal model of human material-handling tasks for control of manufacturing systems.
IEEE Trans. Systems, Man, and Cybernetics, Part A 36(4),
pp. 685–696,
doi:10.1109/TSMCA.2005.853490.
Maarten Sierhuis (2001):
Modeling and simulating work practice: BRAHMS: a multiagent modeling and simulation language for work system analysis and design.
Richard Stocker, Louise Dennis, Clare Dixon & Michael Fisher (2012):
Verifying Brahms Human-Robot Teamwork Models.
In: Logics in Artificial Intelligence: 13th European Conference, JELIA,
doi:10.1023/A:1022920129859.
Alan D Swain & Henry E Guttmann (1983):
Handbook of human-reliability analysis with emphasis on nuclear power plant applications. Final report.
Technical Report.
Sandia National Labs., Albuquerque, NM (USA).
Moritz Tenorth, Fernando De la Torre & Michael Beetz (2013):
Learning probability distributions over partially-ordered human everyday activities.
In: 2013 IEEE International Conference on Robotics and Automation, Karlsruhe, Germany, May 6-10, 2013.
IEEE,
pp. 4539–4544,
doi:10.1109/ICRA.2013.6631222.
Available at https://ieeexplore.ieee.org/xpl/conhome/6615630/proceeding.
Fernando de la Torre, Jessica K. Hodgins, Javier Montano & Sergio Valcarcel (2009):
Detailed Human Data Acquisition of Kitchen Activities: the CMU-Multimodal Activity Database (CMU-MMAC).
In: CHI 2009 Workshop. Developing Shared Home Behavior Datasets to Advance HCI and Ubiquitous Computing Research.
Federico Vicentini, Mehrnoosh Askarpour, Matteo Rossi & Dino Mandrioli (2020):
Safety Assessment of Collaborative Robotics Through Automated Formal Verification.
IEEE Trans. Robotics 36(1),
pp. 42–61,
doi:10.1109/TRO.2019.2937471.
M.L. Visinsky, J.R. Cavallaro & I.D. Walker (1994):
Robotic fault detection and fault tolerance: A survey.
Reliability Engineering & System Safety 46(2),
pp. 139 – 158,
doi:10.1016/0951-8320(94)90132-5.
Bernd Werther & Eckehard Schnieder (2005):
Formal Cognitive Resource Model: Modeling of human behavior in complex work environments.
In: 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2005), 28-30 November 2005, Vienna, Austria.
IEEE Computer Society,
pp. 606–611,
doi:10.1109/CIMCA.2005.1631535.
Available at https://ieeexplore.ieee.org/xpl/conhome/10869/proceeding.
J. C. Williams (1988):
A data-based method for assessing and reducing human error to improve operational performance.
In: Conference Record for 1988 IEEE Fourth Conference on Human Factors and Power Plants,,
pp. 436–450,
doi:10.1109/HFPP.1988.27540.
eptcs@eptcs.org