Patrick Martin

Orcid: 0000-0002-5896-828X

Affiliations:
  • Virginia Commonwealth University, Richmond, VA, USA
  • MITRE Corp., McLean, VA, US (2018 - 2020)
  • BAE Systems Electronic Systems, Nashua, NH, US (2015 - 2017)
  • York College of Pennsylvania, PA, USA (2010 - 2015)
  • Georgia Institute of Technology, Atlanta, GA, USA (PhD 2010)


According to our database1, Patrick Martin authored at least 20 papers between 2008 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
An Integrated Runtime Verification and Simulation Testbed for UAM Hazard Assessment.
Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

Control-Minimal Time-Assigned Path-Constrained Trajectory Optimization.
Proceedings of the American Control Conference, 2023

2022
Monitoring ROS2: from Requirements to Autonomous Robots.
Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022

Towards A Framework For Dancing Beyond Demonstration.
Proceedings of the MOCO '22: 8th International Conference on Movement and Computing, Chicago, IL, USA, June 22, 2022

Socially-Optimal Auction-Theoretic Intersection Management System.
Proceedings of the 2022 IEEE Intelligent Vehicles Symposium, 2022

An End to End Data Collection Architecture for IoT Devices in Smart Cities.
Proceedings of the 2022 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2022

An Experiment Orchestration Platform to Support Smart City Experiential Learning.
Proceedings of the IEEE International Smart Cities Conference, 2022

2021
OpenCity: An Open Architecture Testbed for Smart Cities.
Proceedings of the IEEE International Smart Cities Conference, 2021

2020
Heterogeneous Multi-Agent Reinforcement Learning for Unknown Environment Mapping.
CoRR, 2020

2014
PhysiCloud: A cloud-computing framework for programming cyber-physical systems.
Proceedings of the 2014 IEEE Conference on Control Applications, 2014

2012
Graph process specifications for hybrid networked systems.
Discret. Event Dyn. Syst., 2012

Hybrid systems tools for compiling controllers for cyber-physical systems.
Discret. Event Dyn. Syst., 2012

2011
Constructing and Implementing Motion Programs for Robotic Marionettes.
IEEE Trans. Autom. Control., 2011

2010
Motion description languages: from specification to execution.
PhD thesis, 2010

Timing Control of Switched Systems with Applications to Robotic Marionettes.
Discret. Event Dyn. Syst., 2010

Pancakes: A Software Framework for Distributed Robot and Sensor Network Applications.
Proceedings of the Distributed Autonomous Robotic Systems, 2010

Expanding motion programs under input constraints.
Proceedings of the American Control Conference, 2010

2009
Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes.
Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

2008
Motion Description Language-Based Topological Maps for Robot Navigation.
Commun. Inf. Syst., 2008

MDLn: A Motion Description Language for networked systems.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008


  Loading...