activity
20162026
most citedSymbolic Controller Synthesis for Büchi Specifications on Stochastic Systems

28 citations · 73 across the 18 of their papers we have counts for

collaborators
Showing 2018Show all

2 papers · 1 filter

eess.SY2018

Lazy Abstraction-Based Controller Synthesis

Kyle Hsu, Rupak Majumdar, Kaushik Mallik +1

We present lazy abstraction-based controller synthesis (ABCS) for continuous-time nonlinear dynamical systems against reach-avoid and safety specifications. State-of-the-art multi-…

eess.SY2018

Lazy Abstraction-Based Control for Safety Specifications

Kyle Hsu, Rupak Majumdar, Kaushik Mallik +1

We present a lazy version of multi-layered abstraction-based controller synthesis (ABCS) for continuous-time nonlinear dynamical systems against safety specifications. State-of-the…