Patrick Martin

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