Zobrazeno 1 - 10
of 34
pro vyhledávání: '"Sibai, Hussein"'
Autor:
Yang, Yuxuan, Sibai, Hussein
End-to-end vision-based autonomous driving has achieved impressive success, but safety remains a major concern. The safe control problem has been addressed in low-dimensional settings using safety filters, e.g., those based on control barrier functio
Externí odkaz:
http://arxiv.org/abs/2410.22585
Autor:
Huriot, Sacha, Sibai, Hussein
We address the challenge of safe control in decentralized multi-agent robotic settings, where agents use uncertain black-box models to predict other agents' trajectories. We use the recently proposed conformal decision theory to adapt the restrictive
Externí odkaz:
http://arxiv.org/abs/2409.18862
We propose an efficient symbolic control synthesis algorithm for equivariant continuous-time dynamical systems to satisfy reach-avoid specifications. The algorithm exploits dynamical symmetries to construct lean abstractions to avoid redundant comput
Externí odkaz:
http://arxiv.org/abs/2403.11816
Autor:
Sibai, Hussein, Mallada, Enrique
In this paper, we introduce the notion of recurrence entropy in the context of nonlinear control systems. A set is said to be ($\tau$-)recurrent if every trajectory that starts in the set returns to it (within at most $\tau$ units of time). Recurrenc
Externí odkaz:
http://arxiv.org/abs/2311.07425
Autor:
Mallozzi, Piergiuseppe, Sibai, Hussein, Incer, Inigo, Seshia, Sanjit A., Sangiovanni-Vincentelli, Alberto
We propose a context-sensitive grammar for the systematic exploration of the design space of the topology of 3D robots, particularly unmanned aerial vehicles. It defines production rules for adding components to an incomplete design topology modeled
Externí odkaz:
http://arxiv.org/abs/2302.13980
Function approximation has enabled remarkable advances in applying reinforcement learning (RL) techniques in environments with high-dimensional inputs, such as images, in an end-to-end fashion, mapping such inputs directly to low-level control. Never
Externí odkaz:
http://arxiv.org/abs/2212.14115
We presentSceneChecker, a tool for verifying scenarios involving vehicles executing complex plans in large cluttered workspaces. SceneChecker converts the scenario verification problem to a standard hybrid system verification problem, and solves it e
Externí odkaz:
http://arxiv.org/abs/2011.10713
Autor:
Sibai, Hussein, Mitra, Sayan
We extend the notion of estimation entropy of autonomous dynamical systems proposed by Liberzon and Mitra [1] to nonlinear dynamical systems with uncertain inputs with bounded variation. We call this new notion the {$\epsilon$}-estimation entropy of
Externí odkaz:
http://arxiv.org/abs/2011.10496
The key concept for safe and efficient traffic management for Unmanned Aircraft Systems (UAS) is the notion of operation volume (OV). An OV is a 4-dimensional block of airspace and time, which can express an aircraft's intent, and can be used for pla
Externí odkaz:
http://arxiv.org/abs/2009.04655
Autor:
Sibai, Hussein, Mitra, Sayan
A symmetry of a dynamical system is a map that transforms one trajectory to another trajectory. We introduce a new type of abstraction for hybrid automata based on symmetries. The abstraction combines different modes in a concrete automaton A, whose
Externí odkaz:
http://arxiv.org/abs/2006.09485