EPiC series in computing · 2023 · 15 citations · 17 references
ComputingComputer ScienceSystems EngineeringCyber-physical SystemsModel-based Systems EngineeringReal-time SystemsCyber-physical Systems DesignCyber-physical Systems ModelingModel CheckingReal-time Systems DesignSpecification LanguagesTemporal LogicCyber-physical Systems SafetyReal-time Systems VerificationTemporal Logic AssertionsTemporal Logic ReasoningTemporal Logic SpecificationTemporal Logic VerificationTemporal SpecificationsTemporal Verification
This report presents the results from the 2023 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. We describe the benchmark models selected to compare the tools and the competition settings and provide background on the participating teams and tools. Finally, we present and discuss our results.
17
Specifying real-time properties with metric temporal logic
Ron Koymans · Real-Time Systems · 1990 · 1.2K citations
A Restart CMA Evolution Strategy With Increasing Population Size
Anne Auger, Nikolaus Hansen · 2005 · 937 citations
Powertrain control verification benchmark
Xiaoqing Jin, Jyotirmoy V. Deshmukh, James Kapinski et al. · 2014 · 174 citations
Engineering, Automotive Engineering, Systems Engineering +16