References

  1. (2020). iRobot Corporation: Roomba. Available at https://store.irobot.com/default/parts-and-accessories/roomba-accessories/.
  2. R. G. Bennetts (1975): On the Analysis of Fault Trees. IEEE Transactions on Reliability R-24(3), pp. 175–185, doi:10.1109/TR.1975.5215143.
  3. A. W. Biermann & J. A. Feldman (1972): On the Synthesis of Finite-State Machines from Samples of Their Behavior. IEEE Transactions on Computers C-21(6), pp. 592–597, doi:10.1109/TC.1972.5009015.
  4. B. Bohrer, Y. K. Tan, S. Mitsch, A. Sogokon & A. Platzer (2019): A Formal Safety Net for Waypoint-Following in Ground Robots. IEEE Robotics and Automation Letters 4(3), pp. 2910–2917, doi:10.1109/LRA.2019.2923099.
  5. P. Castagliola & K. Vannman (2007): The efficiency of the EWMA capability chart. In: 2007 IEEE International Conference on Industrial Engineering and Engineering Management, pp. 1389–1393, doi:10.1109/IEEM.2007.4419420.
  6. T. S. Chow (1978): Testing Software Design Modeled by Finite-State Machines. IEEE Transactions on Software Engineering SE-4(3), pp. 178–187, doi:10.1109/TSE.1978.231496.
  7. L. Delligatti (2013): SysML Distilled: A Brief Guide to the Systems Modeling Language, 1st edition. Addison-Wesley Professional.
  8. S. Devadas, Hi-Keung Ma, A. R. Newton & A. Sangiovanni-Vincentelli (1988): MUSTANG: state assignment of finite state machines targeting multilevel logic implementations. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 7(12), pp. 1290–1300, doi:10.1109/43.16807.
  9. S. Dhouib, S. Kchir, S. Stinckwich, T. Ziadi & M. Ziane (2012): RobotML, a Domain-Specific Language to Design Simulate and Deploy Robotic Applications. In: Third international conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR’12), pp. 149–160, doi:10.1007/978-3-642-34327-8_16.
  10. A. C. Dias Neto, R. Subramanyan, M. Vieira & G. H. Travassos (2007): A Survey on Model-based Testing Approaches: A Systematic Review. In: Proceedings of the 1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies: Held in Conjunction with the 22Nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007, WEASELTech '07. ACM, New York, NY, USA, pp. 31–36, doi:10.1145/1353673.1353681.
  11. A. Mark Doggett (2005): Root Cause Analysis: A Framework for Tool Selection. Quality Management Journal 12(4), pp. 34–45, doi:10.1080/10686967.2005.11919269.
  12. J. L. Fernandez, R. Sanz, E. Paz & C. Alonso (2008): Using hierarchical binary Petri nets to build robust mobile robot applications: RoboGraph. In: 2008 IEEE International Conference on Robotics and Automation, pp. 1372–1377, doi:10.1109/ROBOT.2008.4543394.
  13. P. Freedman (1991): Time, Petri nets, and robotics. IEEE Transactions on Robotics and Automation 7(4), pp. 417–433, doi:10.1109/70.86074.
  14. N. Gobillot, C. Lesire & D. Doose (2014): A Modeling Framework for Software Architecture Specification and Validation, pp. 303–314, doi:10.1007/978-3-319-11900-7_26.
  15. M. Hause (2006): The SysML modelling language. In: Fifteenth European Systems Engineering Conference 9, pp. 1–12.
  16. B. Hayes & J. A. Shah (2017): Improving Robot Controller Transparency Through Autonomous Policy Explanation. In: 2017 12th ACM/IEEE International Conference on Human-Robot Interaction (HRI, pp. 303–312, doi:10.1145/2909824.3020233.
  17. iRobot (2005): iRobot Roomba Serial Command Interface (SCI) Specification. iRobot Corporation. Available at https://web.archive.org/web/20131202230831/http://www.irobot.com/images/consumer/hacker/Roomba_SCI_Spec_Manual.pdf.
  18. Y. Jarraya, A. Soeanu, M. Debbabi & F. Hassaine (2007): Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams. In: 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07), pp. 515–522, doi:10.1109/ECBS.2007.22.
  19. S. Kotz & N. L. Johnson (2002): Process Capability Indices—A Review, 1992–2000. Journal of Quality Technology 34(1), pp. 2–19, doi:10.1080/00224065.2002.11980119.
  20. H. Kress-Gazit, M. Lahijanian & V. Raman (2018): Synthesis for Robots: Guarantees and Feedback for Robot Behavior. Annual Review of Control, Robotics, and Autonomous Systems 1(1), pp. 211–236, doi:10.1146/annurev-control-060117-104838.
  21. H. Kress-Gazit & H. Torfah (2018): The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems. In: Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018., pp. 50–64, doi:10.4204/EPTCS.286.5.
  22. R. Laleau, F. Semmak, A. Matoussi, D. Petit, H. Ahmed & B. Tatibouët (2010): A first attempt to combine SysML requirements diagrams and B. ISSE 6, pp. 47–54, doi:10.1007/s11334-009-0119-y.
  23. G. L. Landgren & S. W. Anderson (1973): Simultaneous Power Interchange Capability Analysis. IEEE Transactions on Power Apparatus and Systems PAS-92(6), pp. 1973–1986, doi:10.1109/TPAS.1973.293577.
  24. G. L. Landgren, H. L. Terhune & R. K. Angel (1972): Transmission Interchange Capability - Analysis by Computer. IEEE Transactions on Power Apparatus and Systems PAS-91(6), pp. 2405–2414, doi:10.1109/TPAS.1972.293398.
  25. D. Lee & M. Yannakakis (1996): Principles and methods of testing finite state machines-a survey. Proceedings of the IEEE 84(8), pp. 1090–1123, doi:10.1109/5.533956.
  26. M. Luckcuck, M. Farrell, L. A. Dennis, C. Dixon & M. Fisher (2019): Formal Specification and Verification of Autonomous Robotic Systems: A Survey. ACM Comput. Surv. 52(5), doi:10.1145/3342355.
  27. D. M. Lyons & M. A. Arbib (1989): A formal model of computation for sensory-based robotics. IEEE Transactions on Robotics and Automation 5(3), pp. 280–293, doi:10.1109/70.34764.
  28. A. H. Miyazawa, P. F. De Oliveira Salazar Ribeiro, W. Li, A. L. C. Cavalcanti, J. I. Timmis & J. C. P. Woodcock (2019): RoboChart: modelling and verification of the functional behaviour of robotic applications. Software and Systems Modeling, doi:10.1007/s10270-018-00710-z.
  29. T. Murata (1989): Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), pp. 541–580, doi:10.1109/5.24143.
  30. A. Nordmann, N. Hochgeschwender & S. Wrede (2014): A Survey on Domain-Specific Languages in Robotics 8810, doi:10.1007/978-3-319-11900-7_17.
  31. S. Ouchani, O. Aït Mohamed & M. Debbabi (2014): A formal verification framework for SysML activity diagrams. Expert Systems with Applications 41(6), pp. 2713 – 2728, doi:10.1016/j.eswa.2013.10.064. Available at http://www.sciencedirect.com/science/article/pii/S0957417413008968.
  32. J. L. Peterson (1977): Petri Nets. ACM Comput. Surv. 9(3), pp. 223–252, doi:10.1145/356698.356702.
  33. A. Petrenko (2001): Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography, pp. 196–205. Springer Berlin Heidelberg, Berlin, Heidelberg.
  34. V. Raman & H. Kress-Gazit (2013): Explaining Impossible High-Level Robot Behaviors. IEEE Transactions on Robotics 29(1), pp. 94–104, doi:10.1109/TRO.2012.2214558.
  35. A. Rauzy (1993): New algorithms for fault trees analysis. Reliability Engineering and System Safety 40(3), pp. 203 – 211, doi:10.1016/0951-8320(93)90060-C.
  36. S. A. Redfield, E. I. Leonard & J. Lennon (2019): Task Specification and Behavior verification for UUV Behavior Design. Autonomous Underwater Vehicles Design and practice.
  37. J. Rooney & L.N. Hauvel (2004): Root Cause Analysis For Beginners. Quality Progress 37, pp. 45–53.
  38. R. Steiner S. Friedenthal, A. Moore (2006): OMG Systems Modeling Language (OMG SysML) Tutorial. INCOSE, Object Management Group. Available at https://utilities.omg.org/news/meetings/workshops/SBC_2007_Presentations/00-T1_Friedenthal.pdf.
  39. C. Schlegel, A. Steck, D. Brugali & A. Knoll (2010): Design Abstraction and Processes in Robotics: From Code-Driven to Model-Driven Engineering, pp. 324–335, doi:10.1007/978-3-642-17319-6_31.
  40. D. Wang, H. Ting, C. Chao & T. Koo (2013): Process capability analysis on autoregressive process. In: 2013 10th International Conference on Service Systems and Service Management, pp. 78–80, doi:10.1109/ICSSSM.2013.6602525.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org