Data-driven-abstraction-based-control-synthesis-NAHS

This is the code that relates to the NAHS paper "data-driven abstraction-based control synthesis" written by Kazemi, Majumdar, Salamati, Soudjani, and Wooding

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
3A3M(toy)		3A3M(toy)
L_d		L_d
Lipschitz_Constant_Estimation		Lipschitz_Constant_Estimation
PAC_3A3M(toy)_compare		PAC_3A3M(toy)_compare
Vehicle1		Vehicle1
dcdc		dcdc
README.md		README.md
beta_N.eps		beta_N.eps
beta_N.fig		beta_N.fig
eps_N.eps		eps_N.eps
eps_N.fig		eps_N.fig
eps_bias.eps		eps_bias.eps
eps_bias.fig		eps_bias.fig
plotter.m		plotter.m

Navigation Menu

Repository files navigation

Data-driven-abstraction-based-control-synthesis-NAHS

About

Releases

Packages

Contributors

Languages

Folders and files

Latest commit

History

Repository files navigation

Data-driven-abstraction-based-control-synthesis-NAHS

About

Resources

Stars

Watchers

Forks

Releases

Packages

Contributors

Languages