Generic negative scenarios for the specification of collaborative cyber-physical systems
Collaborative cyber-physical systems face a plethora of different albeit often similar set-ups
they might find themselves in during runtime. While it is necessary to consider each possible …
they might find themselves in during runtime. While it is necessary to consider each possible …
[PDF][PDF] A Scenario-based MDE Process for Developing Reactive Systems: A Cleaning Robot Example.
This paper presents the SCENARIOTOOLS solution for developing a cleaning robot system,
an instance of the rover problem of the MDE Tools Challenge 2017. We present an MDE …
an instance of the rover problem of the MDE Tools Challenge 2017. We present an MDE …
Patience Control: A Modular and Dynamic Construction of Composite Controllers
A Sadon, S Arogeti, G Weiss - 2020 7th International …, 2020 - ieeexplore.ieee.org
The problem of designing controllers for achieving composite goals is well studied in the
literature and is considered an open problem. In this paper we propose a controller …
literature and is considered an open problem. In this paper we propose a controller …