https://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.png00Academic Web Pageshttps://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.pngAcademic Web Pages2005-12-27 00:00:002005-12-27 00:00:00Approximate bisimulations for nonlinear dynamical systems
https://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.png00Academic Web Pageshttps://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.pngAcademic Web Pages2005-12-26 00:00:002005-12-26 00:00:00Bounded model checking for hybrid dynamical systems
https://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.png00Academic Web Pageshttps://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.pngAcademic Web Pages2005-12-25 00:00:002005-12-25 00:00:00Hybrid controllers for path planning : a temporal logic approach
https://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.png00Academic Web Pageshttps://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.pngAcademic Web Pages2005-12-24 00:00:002005-12-24 00:00:00Vision-based localization of leader-follower formations
https://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.png00Academic Web Pageshttps://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.pngAcademic Web Pages2005-10-01 00:00:002024-05-02 15:51:10Discrete abstractions for robot motion planning and control in polygonal environments
https://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.png00Academic Web Pageshttps://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.pngAcademic Web Pages2005-09-01 00:00:002024-05-02 15:50:13Bisimulation relations for dynamical, control, and hybrid systems
https://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.png00Academic Web Pageshttps://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.pngAcademic Web Pages2005-06-30 00:00:002024-05-02 15:50:42Motion feasibility of multi-agent formations
https://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.png00Academic Web Pageshttps://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.pngAcademic Web Pages2005-06-01 00:00:002024-05-02 15:51:01Quotients of fully nonlinear control systems
https://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.png00Academic Web Pageshttps://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.pngAcademic Web Pages2005-04-30 00:00:002005-04-30 00:00:00Temporal logic planning for mobile robots
https://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.png00Academic Web Pageshttps://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.pngAcademic Web Pages2005-04-01 00:00:002024-05-02 15:51:37Hierarchical trajectory generation for a class of nonlinear systems
