conftrace_

switched system

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

mobile sensor network (1) higher order laplacian (1) linear temporal logic over finite trace (1) markov jump system (1) nonlinear disturbance (1) robust value iteration (1) homology group (1) coverage control (1) ambiguity set (1) controller design (1)

Papers

Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances L4DC 2024 Clustering-based Mode Reduction for Markov Jump Systems L4DC 2022 Dynamic Coverage Verification in Mobile Sensor Networks Via Switched Higher Order Laplacians RSS 2007