16 citations · 40 across the 20 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
eess.SY2020★ 3 cited
Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications
Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut
We propose a symbolic self-triggered controller synthesis procedure for non-deterministic continuous-time nonlinear systems without stability assumptions. The goal is to compute a…
cs.LO2020
Fixed Points Theorems for Non-Transitive Relations
Jérémy Dubut, Akihisa Yamada
In this paper, we develop an Isabelle/HOL library of order-theoretic fixed-point theorems. We keep our formalization as general as possible: we reprove several well-known results a…