Patrick Martin

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 2

Top Topics

Framework Enables

Simulation Models

Safety Analysis

Top Venues

Publications

Alexander Will, Aidan G. Collins, Robert Grizzard, Smitha Gautham, Patrick Martin, Evan Dill, Carl R. Elks
An Integrated Runtime Verification and Simulation Testbed for UAM Hazard Assessment. DSN-S (2023)
Patrick Martin, Kate Sicchio, Charles Dietzel, Alicia Olivo
Towards A Framework For Dancing Beyond Demonstration. MOCO (2022)
Philip Twu, Patrick Martin, Magnus Egerstedt
Graph process specifications for hybrid networked systems. Discret. Event Dyn. Syst. 22 (4) (2012)
Patrick Martin, Magnus Egerstedt
Hybrid systems tools for compiling controllers for cyber-physical systems. Discret. Event Dyn. Syst. 22 (1) (2012)
Patrick Martin, Elliot R. Johnson, Todd D. Murphey, Magnus Egerstedt
Constructing and Implementing Motion Programs for Robotic Marionettes. IEEE Trans. Autom. Control. 56 (4) (2011)
Patrick Martin, Magnus Egerstedt
Timing Control of Switched Systems with Applications to Robotic Marionettes. Discret. Event Dyn. Syst. 20 (2) (2010)
Patrick Martin, Jean-Pierre de la Croix, Magnus Egerstedt
Pancakes: A Software Framework for Distributed Robot and Sensor Network Applications. DARS (2010)
Patrick Martin, Magnus Egerstedt
Expanding motion programs under input constraints. ACC (2010)
Philip Twu, Patrick Martin, Magnus Egerstedt
Graph process specifications for hybrid networked systems. WODES (2010)
Patrick Martin, Magnus Egerstedt
Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes. HSCC (2009)
Patrick Martin, Jean-Pierre de la Croix, Magnus Egerstedt
MDLn: A Motion Description Language for networked systems. CDC (2008)
Magnus Egerstedt, Patrick Martin
Motion Description Language-Based Topological Maps for Robot Navigation. Commun. Inf. Syst. 8 (2) (2008)