8 citations · 43 across the 13 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 1 cited
The Fixed-Point Theory of Strictly Contracting Functions on Generalized Ultrametric Semilattices
Eleftherios Matsikoudis, Edward A. Lee
We introduce a new class of abstract structures, which we call generalized ultrametric semilattices, and in which the meet operation of the semilattice coexists with a generalized…
cs.SE2013★ 2 cited
Numerical LTL Synthesis for Cyber-Physical Systems
Chih-Hong Cheng, Edward A. Lee
Cyber-physical systems (CPS) are systems that interact with the physical world via sensors and actuators. In such a system, the reading of a sensor represents measures of a physica…