— Switched dynamical systems are known to exhibit border collision, in which a particular operation is terminated and a new operation is assumed as one or more parameters are var...
Yue Ma, Hiroshi Kawakami, Chi K. Michael Tse, Taku...
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
d Abstract) Anah´ı Gajardo† GI2MA, Departamento de Ingenier´ıa Matem´atica, Universidad de Concepci´on, Casilla 160-C, correo 3, Concepci´on, Chile The Langton’s ant is ...
Abstract— This work provides a framework for the observability analysis of linear networked dynamic systems (NDS). A distinction is made between NDS that have homogeneous agent d...
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...