8 citations · 13 across the 5 of their papers we have counts for
5 papers
On the Time and Frequency Domain Representations of Signals for CPS Specification
Claudio Mandrioli, Drishti Yadav, Domenico Bianculli
Specification languages are instrumental to the Verification \& Validation of Cyber-Physical Systems (CPSs). Most state-of-the-art specification languages use the time-domain repre…
Comparing Controller Synthesis Methods with Deadline-Miss Awareness
Melanie Gallant, Marc Seidel, Paolo Pazzaglia +5
This paper presents a comparative study of real-time controller design methods for dynamical control systems subject to deadline overruns. Numerous techniques have been proposed to…
Diagnosing Violations of State-based Specifications in iCFTL
Cristina Stratan, Claudio Mandrioli, Domenico Bianculli
As modern software systems grow in complexity and operate in dynamic environments, the need for runtime analysis techniques becomes a more critical part of the verification and val…
Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming
Claudio Mandrioli, Seung Yeob Shin, Domenico Bianculli +1
Cyber-Physical Systems (CPSs) software is used to enforce desired behaviours on physical systems. To test the interaction between the CPS software and the system's physics, enginee…
Stress Testing Control Loops in Cyber-Physical Systems
Claudio Mandrioli, Seung Yeob Shin, Martina Maggio +2
Cyber-Physical Systems (CPSs) are often safety-critical and deployed in uncertain environments. Identifying scenarios where CPSs do not comply with requirements is fundamental but…