49 citations · 52 across the 4 of their papers we have counts for
6 papers
Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems
Filip Klaesson, Petter Nilsson, Aaron D. Ames +1
Motivated by exploration of communication-constrained underground environments using robot teams, we study the problem of planning for intermittent connectivity in multi-agent syst…
Multirobot Coordination with Counting Temporal Logics
Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay
In many multirobot applications, planning trajectories in a way to guarantee that the collective behavior of the robots satisfies a certain high-level specification is crucial. Mot…
Using control synthesis to generate corner cases: A case study on autonomous driving
Glen Chou, Yunus E. Sahin, Liren Yang +3
This paper employs correct-by-construction control synthesis, in particular controlled invariant set computations, for falsification. Our hypothesis is that if it is possible to co…
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings
Oscar Lindvall Bulancea, Petter Nilsson, Necmiye Ozay
This paper presents a control synthesis algorithm for dynamical systems to satisfy specifications given in a fragment of linear temporal logic. It is based on an abstraction-refine…
Control Synthesis for Permutation-Symmetric High-Dimensional Systems With Counting Constraints
Petter Nilsson, Necmiye Ozay
General purpose correct-by-construction synthesis methods are limited to systems with low dimensionality or simple specifications. In this work we consider highly symmetrical count…
Synthesis of separable controlled invariant sets for modular local control design
Petter Nilsson, Necmiye Ozay
Many correct-by-construction control synthesis methods suffer from the curse of dimensionality. Motivated by this challenge, we seek to reduce a correct-by-construction control syn…