Search Results for author: Raphael M. Jungers

Found 2 papers, 0 papers with code

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications

no code implementations2 May 2024 Wei Ren, Raphael M. Jungers, Dimos V. Dimarogonas

In particular, we only focus on the cells from the realization verification and approximate each cell thanks to properties of zonotopes.

Razumikhin and Krasovskii Approaches for Safe Stabilization

no code implementations26 Apr 2022 Wei Ren, Raphael M. Jungers, Dimos V. Dimarogonas

Based on the sliding surface functional, a feedback control law is established to investigate the stabilization and safety objectives simultaneously.

Cannot find the paper you are looking for? You can Submit a new open access paper.