A crucial aspect of physical human-robot collaboration (HRC) is to maintain a safe common
workspace for human operator. However, close proximity between human-robot and …

Recent developments in manufacturing technologies, also known as Industry 4.0, seek to
build Smart Factories where supply chains and production lines are equipped with a higher …

Contract-based design is an emerging paradigm for the design of complex systems, where
each component is associated with a contract, ie, a clear description of the expected …

Formal verification of cyber-physical systems (CPS) is challenging because it has to
consider real-time and concurrency aspects that are often absent in ordinary software …

Mission-time LTL (MLTL) is a bounded variant of MTL over naturals designed to generically
specify requirements for mission-based system operation common to aircraft, spacecraft …

Handling and assembling applications with small batch size and high production mix require
requires high adaptability, reconfigurability and flexibility. Thus, human-robot collaboration …

Legal properties involve reasoning about data values and time. Metric first-order temporal
logic (MFOTL) provides a rich formalism for specifying legal properties. While MFOTL has …

Whereas in classic robotic applications there is a clear segregation between robots and
operators, novel robotic and cyber-physical systems have evolved in size and functionality to …

Constraint LTL over clocks is a variant of CLTL, an extension of linear-time temporal logic
allowing atomic assertions in a concrete constraint system. Satisfiability of CLTL over clocks …

Abstract The development of Human Robot Collaborative (HRC) systems faces many
challenges. First, HRC systems should be adaptable and re-configurable to support fast …