2 citations · 3 across the 5 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2020
Encoding sinusoidal functions in hybrid automata formalism
Nikolaos Kekatos
Hybrid systems can express a plethora of physical phenomena and systems as they can combine continuous and discrete dynamics. There exist several tools that enable the reachability…
cs.FL2020
Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFET
Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Nikolaos Kekatos
The analysis and verification of hybrid automata (HA) models against rich formal properties can be a challenging task. Existing methods and tools can mainly reason whether a given…