We present a near linear time algorithm for constructing hierarchical nets in finite metric spaces with constant doubling dimension. This data-structure is then applied to obtain...
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
In this paper, we consider the problem of observer design for dynamical systems with scalar output by linearization of the error dynamics via coordinate change, output injection, ...
Witold Respondek, Alexander Yu. Pogromsky, Henk Ni...
We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular expressions arbitrarily as sub-expressions. Every LT...
A major portion of highway construction work is comprised of linear activities. A linear activity is one that progresses along a path (non-stationary), as it does it is complete a...