4 papers
Event Calculus Meets Hybrid ASP
OndÅej VaÅ¡ÃÄek, JoaquÃn Arias, Jan Fiedor +5
Event Calculus (EC) implemented in answer set programming (ASP) has proven suitable for specifying requirements on safety-critical systems thanks to its elegant representation of b…
On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming
OndÅej VaÅ¡ÃÄek, Joaquin Arias, Jan Fiedor +5
It has been argued that Event Calculus (EC) is suitable for modeling high-level specifications of safety-critical cyber-physical systems. The primary advantage lies in the rather s…
Early Validation of High-level Requirements on Cyber-Physical Systems
OndÅej VaÅ¡ÃÄek
The overarching, broad topic of my research are advancements in the area of safety-critical, cyber-physical systems (CPS) development with emphasis on validation and verification.…
Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming
OndÅej VaÅ¡ÃÄek, Joaquin Arias, Jan Fiedor +6
This paper proposes a new methodology for early validation of high-level requirements on cyber-physical systems with the aim of improving their quality and, thus, lowering chances…