Specification patterns for robotic missions
Mobile and general-purpose robots increasingly support everyday life, requiring
dependable robotics control software. Creating such software mainly amounts to …
dependable robotics control software. Creating such software mainly amounts to …
A comprehensive technological survey on the dependable self-management CPS: From self-adaptive architecture to self-management strategies
P Zhou, D Zuo, KM Hou, Z Zhang, J Dong, J Li, H Zhou - Sensors, 2019 - mdpi.com
Cyber Physical Systems (CPS) has been a popular research area in the last decade. The
dependability of CPS is still a critical issue, and few surveys have been published in this …
dependability of CPS is still a critical issue, and few surveys have been published in this …
Preliminary steps towards modeling blockchain oriented software
Even though blockchain is mostly popular for its cryptocurrency, smart contracts have
become a very prominent blockchain application. Smart contracts are like classes that can …
become a very prominent blockchain application. Smart contracts are like classes that can …
Mission specification patterns for mobile robots: Providing support for quantitative properties
With many applications across domains as diverse as logistics, healthcare, and agriculture,
service robots are in increasingly high demand. Nevertheless, the designers of these robots …
service robots are in increasingly high demand. Nevertheless, the designers of these robots …
Spatio-temporal model checking of vehicular movement in public transport systems
We present the use of a novel spatio-temporal model checker to detect problems in the data
and operation of a collective adaptive system. Data correctness is important to ensure …
and operation of a collective adaptive system. Data correctness is important to ensure …
VoxLogicA: A Spatial Model Checker for Declarative Image Analysis
Spatial and spatio-temporal model checking techniques have a wide range of application
domains, among which large scale distributed systems and signal and image analysis. We …
domains, among which large scale distributed systems and signal and image analysis. We …
Feasibility of spatial model checking for nevus segmentation
Recently developed spatial model checking techniques have a wide range of application
domains, among which large scale distributed systems as well as signal and image …
domains, among which large scale distributed systems as well as signal and image …
A toolchain for strategy synthesis with spatial properties
We present an application of strategy synthesis to enforce spatial properties. This is
achieved by implementing a toolchain that enables the tools CATLib and VoxLogicA to …
achieved by implementing a toolchain that enables the tools CATLib and VoxLogicA to …
[PDF][PDF] Geometric model checking of continuous space
Topological Spatial Model Checking is a recent paradigm where model checking techniques
are developed for the topological interpretation of Modal Logic. The Spatial Logic of Closure …
are developed for the topological interpretation of Modal Logic. The Spatial Logic of Closure …
Modelling and analysing resilient cyber-physical systems
From smart buildings to medical devices to smart nations, software systems increasingly
integrate computation, networking, and interaction with the physical environment. These …
integrate computation, networking, and interaction with the physical environment. These …