Add case study 2 of Temporal logic model predictive control for discrete-time systems - Githubissues

dionysos-dev / Dionysos.jl

MIT License

40 stars 16 forks source link

Add case study 2 of Temporal logic model predictive control for discrete-time systems #191

Open blegat opened 1 year ago

blegat commented 1 year ago

See https://dl.acm.org/doi/10.1145/2461328.2461379

[ ] Add a problem in problems folder
[ ] Add an example in docs/src/examples folder

adrienbanse commented 1 year ago

@vdebauche I could be interested in implementing this