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 Pages2006-12-27 00:00:002006-12-27 00:00:00Finite state abstraction of a stochastic model of the lactose regulation system in Eschrichia coli
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 Pages2006-12-26 00:00:002006-12-26 00:00:00Hierarchical control using approximate simulation relations
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 Pages2006-12-25 00:00:002006-12-25 00:00:00Multi-UAV Deployment for Coverage with Spatio-Temporal Specifications
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 Pages2006-12-24 00:00:002006-12-24 00:00:00Approximate reduction of 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 Pages2006-12-01 00:00:002024-05-02 15:48:32Linear temporal logic control of discrete-time linear 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 Pages2006-10-30 00:00:002006-10-30 00:00:00Time-triggered implementations of dynamic controllers
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 Pages2006-10-01 00:00:002006-10-01 00:00:00Unit and Dynamic Type Checking in Hybrid Systems Modeling in Charon
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 Pages2006-09-01 00:00:002024-05-02 15:48:59Cooperative air and ground surveillance
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 Pages2006-09-01 00:00:002024-05-02 08:06:06Temporal logic verification using simulation
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 Pages2006-08-01 00:00:002024-05-02 08:07:00Robustness of temporal logic specifications
