1 citations · 1 across the 1 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2021
Certifying the LTL Formula p Until q in Hybrid Systems
Hyejin Han, Mohamed Maghenem, Ricardo G. Sanfelice
In this paper, we propose sufficient conditions to guarantee that a linear temporal logic (LTL) formula of the form p Until q, denoted by , is satisfied for a hybr…
eess.SY2018★ 1 cited
Linear Temporal Logic for Hybrid Dynamical Systems: Characterizations and Sufficient Conditions
Hyejin Han, Ricardo G. Sanfelice
This paper introduces operators, semantics, characterizations, and solution-independent conditions to guarantee temporal logic specifications for hybrid dynamical systems. Hybrid d…