Approximately symbolic models for a class of continuous-time nonlinear systems

Pian Yu, Dimos V. Dimarogonas

Discrete abstractions have become a standard approach to assist control synthesis under complex specifications. Most techniques for the construction of discrete abstractions are ba…