1. Abstraction refinement and plan revision for control synthesis under high level specifications*. Issue 1 (July 2017) Authors: Meyer, Pierre-Jean; Dimarogonas, Dimos V. Journal: IFAC-PapersOnLine Issue: Volume 50:Issue 1(2017) Page Start: 9254 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Closed-loop incremental stability for efficient symbolic control of non-linear systems. Issue 5 (2021) Authors: Tajvar, Pouria; Meyer, Pierre-Jean; Tumova, Jana Journal: IFAC-PapersOnLine Issue: Volume 54:Issue 5(2021) Page Start: 121 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Compositional abstraction refinement for control synthesis. (February 2018) Authors: Meyer, Pierre-Jean; Dimarogonas, Dimos V. Journal: Nonlinear analysis Issue: Volume 27(2018) Page Start: 437 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Continuous and discrete abstractions for planning, applied to ship docking. Issue 2 (2020) Authors: Meyer, Pierre-Jean; Yin, He; Brodtkorb, Astrid H.; Arcak, Murat; Sørensen, Asgeir J. Journal: IFAC-PapersOnLine Issue: Volume 53:Issue 2(2020) Page Start: 1831 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Continuous and discrete abstractions for planning, applied to ship docking⁎This work was supported by the Peder Sather Center for Advanced Study, a consortium of UC Berkeley and nine Norwegian academic institutions. It was also supported in part by the U.S. National Science Foundation grant ECCS-1906164, the U.S. Air Force Office of Scientific Research grant FA9550-18-1-0253, and Research Council of Norway through the Centres of Excellence funding scheme, project number 223254 AMOS, FRINATEK project 274441 UNLOCK, and MAROFF project 280655 ORCAS. Issue 2 (2020) Authors: Meyer, Pierre-Jean; Yin, He; Brodtkorb, Astrid H.; Arcak, Murat; Sørensen, Asgeir J. Journal: IFAC-PapersOnLine Issue: Volume 53:Issue 2(2020) Page Start: 1831 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Interval Reachability Analysis using Second-Order Sensitivity. Issue 2 (2020) Authors: Meyer, Pierre-Jean; Arcak, Murat Journal: IFAC-PapersOnLine Issue: Volume 53:Issue 2(2020) Page Start: 1825 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Interval Reachability Analysis using Second-Order Sensitivity⁎This work was supported in part by the U.S. National Science Foundation grant ECCS-1906164, the U.S. Air Force Office of Scientific Research grant FA9550-18-1-0253 and the ONR grant N00014-18-1-2209. Issue 2 (2020) Authors: Meyer, Pierre-Jean; Arcak, Murat Journal: IFAC-PapersOnLine Issue: Volume 53:Issue 2(2020) Page Start: 1825 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Robust controlled invariance for monotone systems: Application to ventilation regulation in buildings. (August 2016) Authors: Meyer, Pierre-Jean; Girard, Antoine; Witrant, Emmanuel Journal: Automatica Issue: Volume 70(2016) Page Start: 14 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Robust controlled invariance for monotone systems: Application to ventilation regulation in buildings. (August 2016) Authors: Meyer, Pierre-Jean; Girard, Antoine; Witrant, Emmanuel Journal: Automatica Issue: Volume 70(2016) Page Start: 14 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Safety control with performance guarantees of cooperative systems using compositional abstractions*. Issue 27 (2015) Authors: Meyer, Pierre-Jean; Girard, Antoine; Witrant, Emmanuel Journal: IFAC-PapersOnLine Issue: Volume 48:Issue 27(2015) Page Start: 317 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗