George Pappas

All Stories

1. 
   Beyond alignment: Why robotic foundation models need context-aware safety

   Article • Science Robotics, April 2026, American Association for the Advancement of Science

   George Pappas

2. 
   Safety Guardrails for LLM-Enabled Robots

   Article • IEEE Robotics and Automation Letters, April 2026, Institute of Electrical & Electronics Engineers (IEEE)

   George Pappas

3. 
   Safe Planning in Unknown Environments Using Conformalized Semantic Maps

   Article • IEEE Robotics and Automation Letters, April 2026, Institute of Electrical & Electronics Engineers (IEEE)

   George Pappas

4. 
   Safe MPC Alignment With Human Directional Feedback

   Article • IEEE Transactions on Robotics, January 2026, Institute of Electrical & Electronics Engineers (IEEE)

   George Pappas

5. 
   Formal Verification and Control With Conformal Prediction: Practical Safety Guarantees For Autonomous Systems

   Article • IEEE Control Systems, December 2025, Institute of Electrical & Electronics Engineers (IEEE)

   George Pappas

6. 
   PKF: Probabilistic Data Association Kalman Filter for Multi-Object Tracking

   Article • IEEE Robotics and Automation Letters, November 2025, Institute of Electrical & Electronics Engineers (IEEE)

   George Pappas

7. 
   Modeling Gaia photometry signals of dark halos

   Article • Physical Review D, September 2025, American Physical Society (APS)

   George Pappas

8. 
   Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification [Focus on Education]

   Article • IEEE Control Systems, August 2025, Institute of Electrical & Electronics Engineers (IEEE)

   George Pappas

9. 
   Air-Ground Collaboration for Language-Specified Missions in Unknown Environments

   Article • IEEE Transactions on Field Robotics, January 2025, Institute of Electrical & Electronics Engineers (IEEE)

   George Pappas

10. 
    Finite-Time Analysis of Over-the-Air Federated TD Learning

    Article • IEEE Transactions on Wireless Communications, January 2025, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

11. 
    Policy Gradient Bounds in Multitask LQR

    Article • IEEE Control Systems Letters, January 2025, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

12. 
    Control for Societal-Scale Challenges: Road Map 2030

    Article • IEEE Control Systems, June 2024, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

13. 
    A Tutorial on the Non-Asymptotic Theory of System Identification

    Article • December 2023, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

14. 
    Navigation with Shadow Prices to Optimize Multi-Commodity Flow Rates

    Article • December 2023, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

15. 
    Resilient Temporal Logic Planning in the Presence of Robot Failures

    Article • December 2023, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

16. 
    Safe Perception-Based Control Under Stochastic Sensor Uncertainty Using Conformal Prediction

    Article • December 2023, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

17. 
    Safety Filter Design for Neural Network Systems via Convex Optimization

    Article • December 2023, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

18. 
    Uncertainty Quantification for Learning-based MPC using Weighted Conformal Prediction

    Article • December 2023, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

19. 
    Macroscopic resting-state brain dynamics are best described by linear models

    Article • Nature Biomedical Engineering, December 2023, Springer Science + Business Media

    George Pappas

20. 
    Statistical Learning Theory for Control: A Finite-Sample Perspective

    Article • IEEE Control Systems, December 2023, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

21. 
    Enhancing Sample Efficiency and Uncertainty Compensation in Learning-Based Model Predictive Control for Aerial Robots

    Article • October 2023, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

22. 
    Robust Localization of Aerial Vehicles via Active Control of Identical Ground Vehicles

    Article • October 2023, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

23. 
    Energy-Aware, Collision-Free Information Gathering for Heterogeneous Robot Teams

    Article • IEEE Transactions on Robotics, August 2023, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

24. 
    Safe Planning in Dynamic Environments Using Conformal Prediction

    Article • IEEE Robotics and Automation Letters, August 2023, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

25. 
    Path Defense in Dynamic Defender-Attacker Blotto Games (dDAB) with Limited Information

    Article • May 2023, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

26. 
    Graph Neural Networks for Multi-Robot Active Information Acquisition

    Article • May 2023, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

27. 
    Multi-Robot Mission Planning in Dynamic Semantic Environments

    Article • May 2023, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

28. 
    Socially Fair Coverage Control

    Article • May 2023, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

29. 
    Conformal Prediction for STL Runtime Verification

    Article • May 2023, ACM (Association for Computing Machinery)

    George Pappas

30. 
    Online Learning of the Kalman Filter With Logarithmic Regret

    Article • IEEE Transactions on Automatic Control, May 2023, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

31. 
    Risk of Stochastic Systems for Temporal Logic Specifications

    Article • ACM Transactions on Embedded Computing Systems, April 2023, ACM (Association for Computing Machinery)

    George Pappas

32. 
    : Mobility-Driven Integration of Heterogeneous Urban Cyber-Physical Systems Under Disruptive Events

    Article • IEEE Transactions on Mobile Computing, February 2023, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

33. 
    Toward Certified Robustness Against Real-World Distribution Shifts

    Article • February 2023, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

34. 
    Combined Left and Right Temporal Robustness for Control Under STL Specifications

    Article • IEEE Control Systems Letters, January 2023, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

35. 
    Federated TD Learning Over Finite-Rate Erasure Channels: Linear Speedup Under Markovian Sampling

    Article • IEEE Control Systems Letters, January 2023, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

36. 
    Learning Switching Port-Hamiltonian Systems with Uncertainty Quantification

    Article • IFAC-PapersOnLine, January 2023, Elsevier

    George Pappas

37. 
    Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks

    Article • December 2022, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

38. 
    Distributed Statistical Min-Max Learning in the Presence of Byzantine Agents

    Article • December 2022, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

39. 
    Gaussian Process Port-Hamiltonian Systems: Bayesian Learning with Physics Prior

    Article • December 2022, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

40. 
    Learning Rigidity-based Flocking Control using Gaussian Processes with Probabilistic Stability Guarantees

    Article • December 2022, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

41. 
    Learning-based Balancing of Model-based and Feedback Control for Second-order Mechanical Systems

    Article • December 2022, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

42. 
    ODE Discretization Schemes as Optimization Algorithms

    Article • December 2022, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

43. 
    Secure state estimation over Markov wireless communication channels

    Article • December 2022, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

44. 
    Risk verification of stochastic systems with neural network controllers

    Article • Artificial Intelligence, December 2022, Elsevier

    George Pappas

45. 
    Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design

    Article • ACM Transactions on Embedded Computing Systems, October 2022, ACM (Association for Computing Machinery)

    George Pappas

46. 
    Adaptive Sampling of Latent Phenomena using Heterogeneous Robot Teams (ASLaP-HR)

    Article • October 2022, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

47. 
    Distributed Attack-Robust Submodular Maximization for Multirobot Planning

    Article • IEEE Transactions on Robotics, October 2022, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

48. 
    Reactive and Risk-Aware Control for Signal Temporal Logic

    Article • IEEE Transactions on Automatic Control, October 2022, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

49. 
    Perception-Based Temporal Logic Planning in Uncertain Semantic Maps

    Article • IEEE Transactions on Robotics, August 2022, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

50. 
    Foreword

    Article • May 2022, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

51. 
    Reactive Informative Planning for Mobile Manipulation Tasks under Sensing and Environmental Uncertainty

    Article • May 2022, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

52. 
    Temporal Robustness of Stochastic Signals

    Article • May 2022, ACM (Association for Computing Machinery)

    George Pappas

53. 
    Robust Object-Level Semantic Visual SLAM Using Semantic Keypoints

    Article • Field Robotics, March 2022, Field Robotics Publication Society

    George Pappas

54. 
    Private Weighted Sum Aggregation

    Article • IEEE Transactions on Control of Network Systems, March 2022, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

55. 
    Resilient Active Information Acquisition With Teams of Robots

    Article • IEEE Transactions on Robotics, February 2022, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

56. 
    Robust and Adaptive Sequential Submodular Optimization

    Article • IEEE Transactions on Automatic Control, January 2022, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

57. 
    Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming

    Article • IEEE Transactions on Automatic Control, January 2022, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

58. 
    Online Learning-Based Trajectory Tracking for Underactuated Vehicles With Uncertain Dynamics

    Article • IEEE Control Systems Letters, January 2022, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

59. 
    Optimal Multi-robot Perimeter Defense Using Flow Networks

    Article • January 2022, Springer Science + Business Media

    George Pappas

60. 
    An Introduction to Neural Network Analysis via Semidefinite Programming

    Article • December 2021, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

61. 
    Encrypted Distributed Lasso for Sparse Data Predictive Control

    Article • December 2021, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

62. 
    Federated Learning with Incrementally Aggregated Gradients

    Article • December 2021, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

63. 
    Learning Region of Attraction for Nonlinear Systems

    Article • December 2021, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

64. 
    Linear Systems can be Hard to Learn

    Article • December 2021, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

65. 
    Online Federated Learning

    Article • December 2021, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

66. 
    Robust Motion Planning in the Presence of Estimation Uncertainty

    Article • December 2021, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

67. 
    STL Robustness Risk over Discrete-Time Stochastic Processes

    Article • December 2021, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

68. 
    Time-Robust Control for STL Specifications

    Article • December 2021, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

69. 
    On the Structural Target Controllability of Undirected Networks

    Article • IEEE Transactions on Automatic Control, October 2021, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

70. 
    Distributed Sampling-based Planning for Non-Myopic Active Information Gathering

    Article • September 2021, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

71. 
    Scalable Reinforcement Learning Policies for Multi-Agent Control

    Article • September 2021, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

72. 
    Actor-only Deterministic Policy Gradient via Zeroth-order Gradient Oracles in Action Space

    Article • July 2021, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

73. 
    Sampling-based planning for non-myopic multi-robot information gathering

    Article • Autonomous Robots, June 2021, Springer Science + Business Media

    George Pappas

74. 
    Stochastic Motion Planning Under Partial Observability for Mobile Robots With Continuous Range Measurements

    Article • IEEE Transactions on Robotics, June 2021, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

75. 
    Encrypted Control for Networked Systems: An Illustrative Introduction and Current Challenges

    Article • IEEE Control Systems, June 2021, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas, Daniel Quevedo

76. 
    Deep Reinforcement Learning for Active Target Tracking

    Article • May 2021, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

77. 
    Non-Monotone Energy-Aware Information Gathering for Heterogeneous Robot Teams

    Article • May 2021, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

78. 
    Reactive Planning for Mobile Manipulation Tasks in Unexplored Semantic Environments

    Article • May 2021, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

79. 
    Scalable Active Information Acquisition for Multi-Robot Systems

    Article • May 2021, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

80. 
    Source Seeking in Unknown Environments with Convex Obstacles

    Article • May 2021, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

81. 
    Learning lyapunov functions for hybrid systems

    Article • May 2021, ACM (Association for Computing Machinery)

    George Pappas

82. 
    Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption

    Article • IEEE Transactions on Automatic Control, May 2021, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

83. 
    Teaching recurrent neural networks to infer global temporal structure from local examples

    Article • Nature Machine Intelligence, April 2021, Springer Science + Business Media

    George Pappas

84. 
    Fair Robust Assignment Using Redundancy

    Article • IEEE Robotics and Automation Letters, April 2021, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

85. 
    LQG Control and Sensing Co-Design

    Article • IEEE Transactions on Automatic Control, April 2021, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

86. 
    Learning Lyapunov Functions for Hybrid Systems

    Article • March 2021, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

87. 
    Latency-Reliability Tradeoffs for State Estimation

    Article • IEEE Transactions on Automatic Control, March 2021, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

88. 
    Statistical learning for analysis of networked control systems over unknown channels

    Article • Automatica, March 2021, Elsevier

    George Pappas

89. 
    Verifying the Safety of Autonomous Systems with Neural Network Controllers

    Article • ACM Transactions on Embedded Computing Systems, January 2021, ACM (Association for Computing Machinery)

    George Pappas

90. 
    Almost-Zero Duality Gaps in Model-Free Resource Allocation for Wireless Systems

    Article • January 2021, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

91. 
    Data-driven Distributionally Robust Optimization For Vehicle Balancing of Mobility-on-Demand Systems

    Article • ACM Transactions on Cyber-Physical Systems, January 2021, ACM (Association for Computing Machinery)

    George Pappas

92. 
    Approximate Supermodularity of Kalman Filter Sensor Selection

    Article • IEEE Transactions on Automatic Control, January 2021, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

93. 
    Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning

    Article • January 2021, Springer Science + Business Media

    George Pappas

94. 
    Is the brain macroscopically linear? A system identification of resting state dynamics

    Article • December 2020, Cold Spring Harbor Laboratory Press

    George Pappas

95. 
    Control Barrier Functions for Nonholonomic Systems under Risk Signal Temporal Logic Specifications

    Article • December 2020, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

96. 
    Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes

    Article • December 2020, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

97. 
    Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming

    Article • December 2020, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

98. 
    Risk-Constrained Linear-Quadratic Regulators

    Article • December 2020, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

99. 
    Towards Private Data-driven Control

    Article • December 2020, Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

100. 
     Adaptive Partitioning for Coordinated Multi-agent Perimeter Defense

     Article • October 2020, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

101. 
     Network Design for Controllability Metrics

     Article • IEEE Transactions on Control of Network Systems, September 2020, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

102. 
     Reactive Semantic Planning in Unexplored Semantic Environments Using Deep Perceptual Feedback

     Article • IEEE Robotics and Automation Letters, July 2020, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

103. 
     Consensus of Multiagent Systems Via Asynchronous Cloud Communication

     Article • IEEE Transactions on Control of Network Systems, June 2020, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

104. 
     State-Secrecy Codes for Networked Linear Systems

     Article • IEEE Transactions on Automatic Control, May 2020, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

105. 
     A Zeroth-Order Learning Algorithm for Ergodic Optimization of Wireless Systems with no Models and no Gradients

     Article • May 2020, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

106. 
     Better Safe Than Sorry: Risk-Aware Nonlinear Bayesian Estimation

     Article • May 2020, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

107. 
     Distributed Attack-Robust Submodular Maximization for Multi-Robot Planning

     Article • May 2020, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

108. 
     Finite-dimensional control of linear discrete-time fractional-order systems

     Article • Automatica, May 2020, Elsevier

     George Pappas

109. 
     Information Theoretic Active Exploration in Signed Distance Fields

     Article • May 2020, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

110. 
     Reactive Temporal Logic Planning for Multiple Robots in Unknown Environments

     Article • May 2020, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

111. 
     Case study

     Article • April 2020, ACM (Association for Computing Machinery)

     George Pappas

112. 
     Model-based design for seizure control by stimulation

     Article • Journal of Neural Engineering, March 2020, Institute of Physics Publishing

     George Pappas

113. 
     Robust Economic Model Predictive Control of Continuous-Time Epidemic Processes

     Article • IEEE Transactions on Automatic Control, March 2020, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

114. 
     A Control-Theoretic Approach to Analysis and Parameter Selection of Douglas–Rachford Splitting

     Article • IEEE Control Systems Letters, January 2020, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

115. 
     Learning to Control over Unknown Wireless Channels

     Article • IFAC-PapersOnLine, January 2020, Elsevier

     George Pappas

116. 
     Model-Free Learning of Optimal Ergodic Policies in Wireless Systems

     Article • IEEE Transactions on Signal Processing, January 2020, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

117. 
     Models of communication and control for brain networks: distinctions, convergence, and future outlook

     Article • Network Neuroscience, January 2020, The MIT Press

     George Pappas

118. 
     Non-Cooperative Distributed MPC with Iterative Learning

     Article • IFAC-PapersOnLine, January 2020, Elsevier

     George Pappas

119. 
     Private Weighted Sum Aggregation for Distributed Control Systems

     Article • IFAC-PapersOnLine, January 2020, Elsevier

     George Pappas

120. 
     Encrypted Cooperative Control Revisited

     Article • December 2019, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

121. 
     Finite Sample Analysis of Stochastic System Identification

     Article • December 2019, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

122. 
     Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming

     Article • December 2019, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

123. 
     Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees

     Article • December 2019, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

124. 
     Learning Q-network for Active Information Acquisition

     Article • November 2019, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

125. 
     Maximum Information Bounds for Planning Active Sensing Trajectories

     Article • November 2019, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

126. 
     Optimal Temporal Logic Planning for Multi-Robot Systems in Uncertain Semantic Maps

     Article • November 2019, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

127. 
     Assumed Density Filtering Q-learning

     Article • August 2019, International Joint Conferences on Artificial Intelligence

     George Pappas

128. 
     Motion Planning with Secrecy

     Article • July 2019, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

129. 
     N-Dimensional Distributed Network Localization with Noisy Range Measurements and Arbitrary Anchor Placement

     Article • July 2019, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

130. 
     Optimal Reset Strategies for Mitigating Malware Epidemics

     Article • July 2019, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

131. 
     Resilient Structural Stabilizability of Undirected Networks

     Article • July 2019, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

132. 
     Asymptotically Optimal Planning for Non-Myopic Multi-Robot Information Gathering

     Article • June 2019, Robotics: Science and Systems Foundation

     George Pappas

133. 
     Analysis and Design of Actuation–Sensing–Communication Interconnection Structures Toward Secured/Resilient LTI Closed-Loop Systems

     Article • IEEE Transactions on Control of Network Systems, June 2019, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

134. 
     A cybersecurity strategy for Industry 4.0

     Article • May 2019, SPIE

     George Pappas

135. 
     Verisig

     Article • April 2019, ACM (Association for Computing Machinery)

     George Pappas

136. 
     Encrypted LQG using labeled homomorphic encryption

     Article • April 2019, ACM (Association for Computing Machinery)

     George Pappas

137. 
     Control of Generalized Discrete-Time SIS Epidemics via Submodular Function Minimization

     Article • IEEE Control Systems Letters, April 2019, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

138. 
     Learning in Wireless Control Systems Over Nonstationary Channels

     Article • IEEE Transactions on Signal Processing, March 2019, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

139. 
     Minimal Edge Addition for Network Controllability

     Article • IEEE Transactions on Control of Network Systems, March 2019, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

140. 
     Continuous Estimation Using Context-Dependent Discrete Measurements

     Article • IEEE Transactions on Automatic Control, January 2019, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

141. 
     Data-Driven Robust Taxi Dispatch Under Demand Uncertainties

     Article • IEEE Transactions on Control Systems Technology, January 2019, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

142. 
     Resilient Active Target Tracking With Multiple Robots

     Article • IEEE Robotics and Automation Letters, January 2019, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

143. 
     Tuning Communication Latency for Distributed Model Predictive Control

     Article • IFAC-PapersOnLine, January 2019, Elsevier

     George Pappas

144. 
     A Chebyshev-Accelerated Primal-Dual Method for Distributed Optimization

     Article • December 2018, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

145. 
     A Robust Moment Closure for General Continuous-time Epidemic Processes

     Article • December 2018, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

146. 
     An Information Matrix Approach for State Secrecy

     Article • December 2018, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

147. 
     Cloud-Based MPC with Encrypted Data

     Article • December 2018, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

148. 
     Resilient Monotone Sequential Maximization

     Article • December 2018, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

149. 
     Sample Complexity of Networked Control Systems Over Unknown Channels

     Article • December 2018, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

150. 
     Structural Target Controllability of Undirected Networks

     Article • December 2018, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

151. 
     Resilient Active Information Gathering with Mobile Robots

     Article • October 2018, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

152. 
     Diffusing Private Data Over Networks

     Article • IEEE Transactions on Control of Network Systems, September 2018, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

153. 
     SMC: Satisfiability Modulo Convex Programming

     Article • Proceedings of the IEEE, September 2018, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

154. 
     A hybrid stochastic game for secure control of cyber-physical systems

     Article • Automatica, July 2018, Elsevier

     George Pappas

155. 
     A Unifying View of Geometry, Semantics, and Data Association in SLAM

     Article • July 2018, International Joint Conferences on Artificial Intelligence

     George Pappas

156. 
     Selecting Sensors in Biological Fractional-Order Systems

     Article • IEEE Transactions on Control of Network Systems, June 2018, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

157. 
     Approximating Explicit Model Predictive Control Using Constrained Neural Networks

     Article • June 2018, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

158. 
     Dense 3-D Mapping with Spatial Correlation via Gaussian Filtering

     Article • June 2018, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

159. 
     Learning in Non-Stationary Wireless Control Systems via Newton's Method

     Article • June 2018, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

160. 
     Optimization of Switched Linear Systems Over Non-Stationary Wireless Channels

     Article • June 2018, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

161. 
     Scenario-Based Model Predictive Control for Energy Harvesting Actuators

     Article • June 2018, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

162. 
     Sensing-Constrained LQG Control

     Article • June 2018, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

163. 
     State-Secrecy Codes for Stable Systems

     Article • June 2018, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

164. 
     Privacy in Control and Dynamical Systems

     Article • Annual Review of Control Robotics and Autonomous Systems, May 2018, Annual Reviews

     George Pappas

165. 
     Random access design for wireless control systems

     Article • Automatica, May 2018, Elsevier

     George Pappas

166. 
     Anytime Planning for Decentralized Multirobot Active Information Gathering

     Article • IEEE Robotics and Automation Letters, April 2018, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

167. 
     Dynamic Integration of Heterogeneous Transportation Modes under Disruptive Events

     Article • April 2018, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

168. 
     Learning Statistically Accurate Resource Allocations in Non-Stationary Wireless Systems

     Article • April 2018, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

169. 
     Optimal Resource Allocation for Competitive Spreading Processes on Bilayer Networks

     Article • IEEE Transactions on Control of Network Systems, March 2018, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

170. 
     Spectral mapping of brain functional connectivity from diffusion imaging

     Article • Scientific Reports, January 2018, Springer Science + Business Media

     George Pappas

171. 
     Minimal Reachability is Hard To Approximate

     Article • IEEE Transactions on Automatic Control, January 2018, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

172. 
     Battery management for control systems with energy harvesting sensors

     Article • December 2017, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

173. 
     Differential privacy for dynamical sensitive data

     Article • December 2017, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

174. 
     Hierarchical data-driven vehicle dispatch and ride-sharing

     Article • December 2017, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

175. 
     Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming

     Article • December 2017, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

176. 
     Network design for controllability metrics

     Article • December 2017, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

177. 
     On the limited communication analysis and design for decentralized estimation

     Article • December 2017, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

178. 
     Resilient monotone submodular function maximization

     Article • December 2017, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

179. 
     State estimation codes for perfect secrecy

     Article • December 2017, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

180. 
     The mean square error in Kalman filtering sensor selection is approximately supermodular

     Article • December 2017, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

181. 
     Distributed leader selection in switching networks of high-order integrators

     Article • October 2017, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

182. 
     Privacy preserving cloud-based quadratic optimization

     Article • October 2017, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

183. 
     State Estimation with Secrecy against Eavesdroppers

     Article • IFAC-PapersOnLine, July 2017, Elsevier

     George Pappas

184. 
     Optimal Resource Allocation for Control of Networked Epidemic Models

     Article • IEEE Transactions on Control of Network Systems, June 2017, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

185. 
     Discrete-time fractional-order multiple scenario-based sensor selection

     Article • May 2017, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

186. 
     Inference, prediction and control of networked epidemics

     Article • May 2017, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

187. 
     Probabilistic data association for semantic SLAM

     Article • May 2017, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

188. 
     Quantification on the efficiency gain of automated ridesharing services

     Article • May 2017, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

189. 
     Scheduling nonlinear sensors for stochastic process estimation

     Article • May 2017, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

190. 
     Spectral control of cortical activity

     Article • May 2017, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

191. 
     Calibration-free network localization using non-line-of-sight ultra-wideband measurements

     Article • April 2017, ACM (Association for Computing Machinery)

     George Pappas

192. 
     Data-driven distributionally robust vehicle balancing using dynamic region partitions

     Article • April 2017, ACM (Association for Computing Machinery)

     George Pappas

193. 
     Wireless Control for the IoT

     Article • April 2017, ACM (Association for Computing Machinery)

     George Pappas

194. 
     SMC

     Article • April 2017, ACM (Association for Computing Machinery)

     George Pappas

195. 
     Design and Implementation of Attack-Resilient Cyberphysical Systems: With a Focus on Attack-Resilient State Estimators

     Article • IEEE Control Systems, April 2017, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

196. 
     Resilient Flocking for Mobile Robot Teams

     Article • IEEE Robotics and Automation Letters, April 2017, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

197. 
     Structural minimum controllability problem for switched linear continuous-time systems

     Article • Automatica, April 2017, Elsevier

     George Pappas

198. 
     Correction: Corrigendum: Trade-offs between driving nodes and time-to-control in complex networks

     Article • Scientific Reports, March 2017, Springer Science + Business Media

     George Pappas

199. 
     Attack-Resilient State Estimation for Noisy Dynamical Systems

     Article • IEEE Transactions on Control of Network Systems, March 2017, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

200. 
     Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks

     Article • IEEE Transactions on Control of Network Systems, March 2017, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

201. 
     Gradual Release of Sensitive Data under Differential Privacy

     Article • Journal of Privacy and Confidentiality, January 2017, Journal of Privacy and Confidentiality

     George Pappas

202. 
     Trade-offs between driving nodes and time-to-control in complex networks

     Article • Scientific Reports, January 2017, Springer Science + Business Media

     George Pappas

203. 
     Differentially Private Distributed Constrained Optimization

     Article • IEEE Transactions on Automatic Control, January 2017, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

204. 
     Approximation of network linear operators using similarity shift filters

     Article • December 2016, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

205. 
     Coordination of multi-agent systems via asynchronous cloud communication

     Article • December 2016, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

206. 
     Decentralized observability with limited communication between sensors

     Article • December 2016, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

207. 
     Differential privacy in control and network systems

     Article • December 2016, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

208. 
     Location-dependent privacy

     Article • December 2016, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

209. 
     Multi-owner multi-user privacy

     Article • December 2016, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

210. 
     Near-optimal sensor scheduling for batch state estimation: Complexity, algorithms, and limits

     Article • December 2016, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

211. 
     Privacy-aware quadratic optimization using partially homomorphic encryption

     Article • December 2016, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

212. 
     Scalable lazy SMT-based motion planning

     Article • December 2016, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

213. 
     Self-triggered time-varying convex optimization

     Article • December 2016, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

214. 
     State-based communication design for wireless control systems

     Article • December 2016, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

215. 
     A column generation approach for optimized routing and coordination of a UAV fleet

     Article • October 2016, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

216. 
     Online planning for energy-efficient and disturbance-aware UAV operations

     Article • October 2016, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

217. 
     Minimum number of sensors to ensure observability of physiological systems: A case study

     Article • September 2016, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

218. 
     Diffusing private data over networks

     Article • July 2016, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

219. 
     Event-based information-theoretic privacy: A case study of smart meters

     Article • July 2016, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

220. 
     Multi-agent coordination with asynchronous cloud access

     Article • July 2016, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

221. 
     Sensor placement for optimal Kalman filtering: Fundamental limits, submodularity, and algorithms

     Article • July 2016, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

222. 
     Structural analysis and design of dynamic-flow networks: Implications in the brain dynamics

     Article • July 2016, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

223. 
     Optimal temporal logic planning in probabilistic semantic maps

     Article • May 2016, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

224. 
     Estimation of Blood Oxygen Content Using Context-Aware Filtering

     Article • April 2016, Institute of Electrical & Electronics Engineers (IEEE)

     Dr Allan F. Simpao, George Pappas

225. 
     Control-Aware Random Access Communication

     Article • April 2016, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

226. 
     Implan: Scalable Incremental Motion Planning for Multi-Robot Systems

     Article • April 2016, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

227. 
     Taxi Dispatch With Real-Time Sensing Data in Metropolitan Areas: A Receding Horizon Control Approach

     Article • IEEE Transactions on Automation Science and Engineering, April 2016, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

228. 
     ATPC

     Article • ACM Transactions on Sensor Networks, March 2016, ACM (Association for Computing Machinery)

     George Pappas

229. 
     Minimal Actuator Placement With Bounds on Control Effort

     Article • IEEE Transactions on Control of Network Systems, March 2016, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

230. 
     Analysis and Control of Epidemics: A Survey of Spreading Processes on Complex Networks

     Article • IEEE Control Systems, February 2016, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

231. 
     Periodic event-triggered average consensus over directed graphs

     Article • December 2015, Institute of Electrical & Electronics Engineers (IEEE)

     Dr XIANGYU Meng, George Pappas

232. 
     A general class of spreading processes with non-Markovian dynamics

     Article • December 2015, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

233. 
     A sublinear algorithm for barrier-certificate-based data-driven model validation of dynamical systems

     Article • December 2015, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

234. 
     Attack-resilient state estimation in the presence of noise

     Article • December 2015, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

235. 
     Control with random access wireless sensors

     Article • December 2015, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

236. 
     Distributed leader selection

     Article • December 2015, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

237. 
     Minimal reachability problems

     Article • December 2015, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

238. 
     Minimum number of probes for brain dynamics observability

     Article • December 2015, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

239. 
     Opportunistic Control Over Shared Wireless Channels

     Article • IEEE Transactions on Automatic Control, December 2015, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

240. 
     Robust taxi dispatch under model uncertainties

     Article • December 2015, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

241. 
     Self-triggered pursuit of a single evader

     Article • December 2015, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

242. 
     Static output feedback: On essential feasible information patterns

     Article • December 2015, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

243. 
     Optimal resource allocation for containing epidemics on time-varying networks

     Article • November 2015, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

244. 
     Localization from semantic observations via the matrix permanent

     Article • The International Journal of Robotics Research, October 2015, SAGE Publications

     George Pappas

245. 
     Automatic verification of linear controller software

     Article • October 2015, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

246. 
     Data-Driven Network Resource Allocation for Controlling Spreading Processes

     Article • IEEE Transactions on Network Science and Engineering, October 2015, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

247. 
     Robust estimation using context-aware filtering

     Article • September 2015, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

248. 
     An approximately truthful mechanism for electric vehicle charging via joint differential privacy

     Article • July 2015, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

249. 
     Distributed resource allocation for control of spreading processes

     Article • July 2015, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

250. 
     Minimal actuator placement with optimal control constraints

     Article • July 2015, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

251. 
     Minimum cost constrained input-output and control configuration co-design problem: A structural systems approach

     Article • July 2015, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

252. 
     Optimal resource allocation for competing epidemics over arbitrary networks

     Article • July 2015, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

253. 
     Team-triggered coordination of robotic networks for optimal deployment

     Article • July 2015, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

254. 
     Value of forecasts in planning under uncertainty

     Article • July 2015, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

255. 
     Decentralized active information acquisition: Theory and application to multi-robot SLAM

     Article • May 2015, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

256. 
     Taxi dispatch with real-time sensing data in metropolitan areas

     Article • April 2015, ACM (Association for Computing Machinery)

     George Pappas

257. 
     Smart building

     Article • April 2015, ACM (Association for Computing Machinery)

     George Pappas

258. 
     Decentralized Channel Access for Wireless Control Systems

     Article • IFAC-PapersOnLine, January 2015, Elsevier

     George Pappas

259. 
     Embedding the Concurrent Autonomous Agent into a Humanoid Robot**This work was supported by CAPES (Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, process number 9174-11-7), CNPq (Conselho Nacional de Desenvolvimento Científico e Tecnológi...

     Article • IFAC-PapersOnLine, January 2015, Elsevier

     George Pappas

260. 
     Sparsest Minimum Multiple-Cost Structural Leader Selection

     Article • IFAC-PapersOnLine, January 2015, Elsevier

     George Pappas

261. 
     Joint estimation and localization in sensor networks

     Article • December 2014, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

262. 
     Guest Editorial Special Issue on Control of Cyber-Physical Systems

     Article • IEEE Transactions on Automatic Control, December 2014, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

263. 
     Coding sensor outputs for injection attacks detection

     Article • December 2014, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

264. 
     Computation of privacy-preserving prices in smart grids

     Article • December 2014, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

265. 
     Controllability and fraction of leaders in infinite networks

     Article • December 2014, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

266. 
     Differentially private convex optimization with piecewise affine objectives

     Article • December 2014, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

267. 
     Opportunistic sensor scheduling in wireless control systems

     Article • December 2014, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

268. 
     Stability analysis of generalized epidemic models over directed networks

     Article • December 2014, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

269. 
     Distributed Algorithms for Stochastic Source Seeking With Mobile Robot Networks

     Article • Journal of Dynamic Systems Measurement and Control, October 2014, ASME International

     George Pappas

270. 
     Nonmyopic View Planning for Active Object Classification and Pose Estimation

     Article • IEEE Transactions on Robotics, October 2014, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

271. 
     Attack resilient state estimation for autonomous robotic systems

     Article • September 2014, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

272. 
     Automated composition of motion primitives for multi-robot systems from safe LTL specifications

     Article • September 2014, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

273. 
     Differentially private distributed protocol for electric vehicle charging

     Article • September 2014, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

274. 
     Semantic Localization Via the Matrix Permanent

     Article • July 2014, Robotics: Science and Systems Foundation

     George Pappas

275. 
     The Swarm at the Edge of the Cloud

     Article • IEEE Design and Test, June 2014, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

276. 
     Optimal Power Management in Wireless Control Systems

     Article • IEEE Transactions on Automatic Control, June 2014, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

277. 
     Information acquisition with sensing robots: Algorithms and error bounds

     Article • May 2014, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

278. 
     Opportunistic scheduling of control tasks over shared wireless channels

     Article • April 2014, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

279. 
     Real-time privacy-preserving model-based estimation of traffic flows

     Article • April 2014, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

280. 
     Robustness of attack-resilient state estimators

     Article • April 2014, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

281. 
     Optimal Resource Allocation for Network Protection Against Spreading Processes

     Article • IEEE Transactions on Control of Network Systems, March 2014, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

282. 
     Differentially Private Filtering

     Article • IEEE Transactions on Automatic Control, February 2014, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

283. 
     Active Deformable Part Models Inference

     Article • January 2014, Springer Science + Business Media

     George Pappas

284. 
     Discrete Abstraction of Stochastic Nonlinear Systems

     Article • IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences, January 2014, Institute of Electronics, Information and Communications Engineers (IEICE)

     George Pappas

285. 
     Optimal vaccine allocation to control epidemic outbreaks in arbitrary networks

     Article • December 2013, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

286. 
     Power-aware communication for wireless sensor-actuator systems

     Article • December 2013, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

287. 
     Stabilizability over deterministic relay networks

     Article • December 2013, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

288. 
     Stochastic game approach for replay attack detection

     Article • December 2013, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

289. 
     From Reactive to Cognitive Agents: Extending Reinforcement Learning to Generate Symbolic Knowledge Bases

     Article • October 2013, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

290. 
     Hypothesis testing framework for active object detection

     Article • May 2013, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

291. 
     Bio-inspired strategy for control of viral spreading in networks

     Article • April 2013, ACM (Association for Computing Machinery)

     George Pappas

292. 
     Privacy-preserving release of aggregate dynamic models

     Article • April 2013, ACM (Association for Computing Machinery)

     George Pappas

293. 
     Towards synthesis of platform-aware attack-resilient control systems

     Article • April 2013, ACM (Association for Computing Machinery)

     George Pappas

294. 
     Synthesis of platform-aware attack-resilient vehicular systems

     Article • April 2013, ACM (Association for Computing Machinery)

     George Pappas

295. 
     Topological Conditions for In-Network Stabilization of Dynamical Systems

     Article • IEEE Journal on Selected Areas in Communications, April 2013, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

296. 
     Adaptive Deployment of Mobile Robotic Networks

     Article • IEEE Transactions on Automatic Control, March 2013, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

297. 
     Network Integrity in Mobile Robotic Networks

     Article • IEEE Transactions on Automatic Control, January 2013, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

298. 
     Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control

     Article • January 2013, Springer Science + Business Media

     George Pappas

299. 
     Differentially private filtering

     Article • December 2012, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

300. 
     Green scheduling for radiant systems in buildings

     Article • December 2012, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

301. 
     On the existence of compositional barrier certificates

     Article • December 2012, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

302. 
     A control-theoretic approach to disseminating values and overcoming malicious links in wireless networks

     Article • Automatica, November 2012, Elsevier

     George Pappas

303. 
     Differentially private Kalman filtering

     Article • October 2012, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

304. 
     Stochastic Source Seeking by Mobile Robots

     Article • IEEE Transactions on Automatic Control, September 2012, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

305. 
     Time-Triggered Implementations of Dynamic Controllers

     Article • ACM Transactions on Embedded Computing Systems, August 2012, ACM (Association for Computing Machinery)

     George Pappas

306. 
     Adaptive Communication-Constrained Deployment of Unmanned Vehicle Systems

     Article • IEEE Journal on Selected Areas in Communications, June 2012, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

307. 
     Sequential composition of robust controller specifications

     Article • May 2012, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

308. 
     Stochastic source seeking in complex environments

     Article • May 2012, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

309. 
     Compositional safety analysis using barrier certificates

     Article • April 2012, ACM (Association for Computing Machinery)

     George Pappas

310. 
     HMM-based characterization of channel behavior for networked control systems

     Article • April 2012, ACM (Association for Computing Machinery)

     George Pappas

311. 
     Closing the loop

     Article • April 2012, ACM (Association for Computing Machinery)

     George Pappas

312. 
     Bacteria-Powered Microrobots

     Article • January 2012, Elsevier

     George Pappas

313. 
     Stochastic Models and Control of Bacterial Bioactuators and Biomicrorobots

     Article • January 2012, Elsevier

     George Pappas

314. 
     Green scheduling of control systems for peak demand reduction

     Article • December 2011, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

315. 
     Robot deployment with end-to-end communication constraints

     Article • December 2011, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

316. 
     Topological conditions for wireless control networks

     Article • December 2011, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

317. 
     A framework for integrating mobility and routing in mobile communication networks

     Article • November 2011, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

318. 
     Network synthesis for dynamical system stabilization

     Article • November 2011, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

319. 
     On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem

     Article • November 2011, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

320. 
     Compositional Modeling and Analysis of Multi-Hop Control Networks

     Article • IEEE Transactions on Automatic Control, October 2011, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

321. 
     The Wireless Control Network: A New Approach for Control Over Networks

     Article • IEEE Transactions on Automatic Control, October 2011, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

322. 
     Joint Metering and Conflict Resolution in Air Traffic Control

     Article • Journal of Guidance Control and Dynamics, September 2011, American Institute of Aeronautics and Astronautics (AIAA)

     Jerome Le Ny, George Pappas

323. 
     Graph-theoretic connectivity control of mobile robot networks

     Article • Proceedings of the IEEE, September 2011, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

324. 
     Green scheduling: Scheduling of control systems for peak power reduction

     Article • July 2011, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

325. 
     Distributed control of mobility & routing in networks of robots

     Article • June 2011, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

326. 
     Inferring stable genetic networks from steady-state data

     Article • Automatica, June 2011, Elsevier

     George Pappas

327. 
     Wireless manipulation of single cells using magnetic microtransporters

     Article • May 2011, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

328. 
     Reputation-based networked control with data-corrupting channels

     Article • April 2011, ACM (Association for Computing Machinery)

     George Pappas

329. 
     Resource constrained LQR control under fast sampling

     Article • April 2011, ACM (Association for Computing Machinery)

     George Pappas

330. 
     Electrokinetic and optical control of bacterial microrobots

     Article • Journal of Micromechanics and Microengineering, February 2011, Institute of Physics Publishing

     George Pappas

331. 
     Modeling, control and experimental characterization of microbiorobots

     Article • The International Journal of Robotics Research, January 2011, SAGE Publications

     George Pappas

332. 
     Approximate Bisimulation: A Bridge Between Computer Science and Control Theory

     Article • European Journal of Control, January 2011, Elsevier

     George Pappas

333. 
     Mobility & routing control in networks of robots

     Article • December 2010, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

334. 
     Nonholonomic source seeking in switching random fields

     Article • December 2010, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

335. 
     Sensor-based robot deployment algorithms

     Article • December 2010, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

336. 
     The wireless control network: Monitoring for malicious behavior

     Article • December 2010, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

337. 
     The Wireless Control Network: Synthesis and robustness

     Article • December 2010, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

338. 
     Characterization of novel microsatellite markers in Musa acuminata subsp. burmannicoides, var. Calcutta 4

     Article • BMC Research Notes, May 2010, Springer Science + Business Media

     George Pappas

339. 
     A duality approach to path planning for multiple robots

     Article • May 2010, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

340. 
     Automatic synthesis of robot controllers for tasks with locative prepositions

     Article • May 2010, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

341. 
     Biosensing and actuation for microbiorobots

     Article • May 2010, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

342. 
     Robustness analysis for the certification of digital controller implementations

     Article • April 2010, ACM (Association for Computing Machinery)

     George Pappas

343. 
     Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems

     Article • April 2010, ACM (Association for Computing Machinery)

     George Pappas

344. 
     Editorial

     Article • The International Journal of Robotics Research, April 2010, SAGE Publications

     George Pappas

345. 
     Single cell manipulation using ferromagnetic composite microtransporters

     Article • Applied Physics Letters, January 2010, American Institute of Physics

     George Pappas

346. 
     Hybrid Control for Connectivity Preserving Flocking

     Article • IEEE Transactions on Automatic Control, December 2009, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

347. 
     On trajectory optimization for active sensing in Gaussian process models

     Article • December 2009, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

348. 
     Resource allocation for signal detection with active sensors

     Article • December 2009, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

349. 
     Robust stability of multi-hop control networks

     Article • December 2009, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

350. 
     Temporal-Logic-Based Reactive Mission and Motion Planning

     Article • IEEE Transactions on Robotics, December 2009, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

351. 
     Vision-Based Localization for Leader–Follower Formation Control

     Article • IEEE Transactions on Robotics, December 2009, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

352. 
     Robustness of temporal logic specifications for continuous-time signals

     Article • Theoretical Computer Science, September 2009, Elsevier

     George Pappas

353. 
     Scalable scheduling algorithms for wireless networked control systems

     Article • August 2009, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

354. 
     Approximations of Stochastic Hybrid Systems

     Article • IEEE Transactions on Automatic Control, June 2009, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

355. 
     Genetic network identification using convex programming

     Article • IET Systems Biology, May 2009, the Institution of Engineering and Technology (the IET)

     George Pappas

356. 
     Harnessing bacterial power in microscale actuation

     Article • May 2009, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

357. 
     Multi-vehicle path planning in dynamically changing environments

     Article • May 2009, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

358. 
     Modeling and Analysis of Multi-hop Control Networks

     Article • April 2009, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

359. 
     Approximate equivalence and synchronization of metric transition systems

     Article • Systems & Control Letters, February 2009, Elsevier

     George Pappas

360. 
     Hierarchical control system design using approximate simulation

     Article • Automatica, February 2009, Elsevier

     George Pappas

361. 
     Temporal logic motion planning for dynamic robots

     Article • Automatica, February 2009, Elsevier

     George Pappas

362. 
     Hybrid Control and Transport Using Bacteria-Driven Microbiorobots

     Article • January 2009, ASME International

     George Pappas

363. 
     A distributed dynamical scheme for fastest mixing Markov chains

     Article • January 2009, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

364. 
     Experimental Robotics

     Article • January 2009, Springer Science + Business Media

     George Pappas

365. 
     MTL robust testing and verification for LPV systems

     Article • January 2009, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

366. 
     Maintaining Connectivity in Mobile Robot Networks

     Article • January 2009, Springer Science + Business Media

     George Pappas

367. 
     Trajectory Based Verification Using Local Finite-Time Invariance

     Article • January 2009, Springer Science + Business Media

     George Pappas

368. 
     Distributed Connectivity Control of Mobile Networks

     Article • IEEE Transactions on Robotics, December 2008, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

369. 
     Metabolic networks analysis using convex optimization

     Article • December 2008, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

370. 
     A dynamical systems approach to weighted graph matching

     Article • Automatica, November 2008, Elsevier

     George Pappas

371. 
     Automatically synthesizing a planning and control subsystem for the DARPA urban challenge

     Article • August 2008, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

372. 
     Recycling controllers

     Article • August 2008, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

373. 
     Approximate reduction of dynamic systems

     Article • Systems & Control Letters, July 2008, Elsevier

     George Pappas

374. 
     Distributed topology control of dynamic networks

     Article • June 2008, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

375. 
     Elastic multi-particle systems for bounded-curvature path planning

     Article • June 2008, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

376. 
     Identification of stable genetic networks using convex programming

     Article • June 2008, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

377. 
     Distributed multi-robot task assignment and formation control

     Article • May 2008, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

378. 
     From discrete to continuous and back: Abstractions and mesoscopic phenomena in cells

     Article • May 2008, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

379. 
     Courteous Cars

     Article • IEEE Robotics & Automation Magazine, March 2008, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

380. 
     Dynamic Assignment in Distributed Motion Planning With Local Coordination

     Article • IEEE Transactions on Robotics, February 2008, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

381. 
     Galvanotactic Control of Self-Powered Microstructures

     Article • January 2008, ASME International

     George Pappas

382. 
     A distributed auction algorithm for the assignment problem

     Article • January 2008, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

383. 
     Probabilistic testing for stochastic hybrid systems

     Article • January 2008, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

384. 
     Stochastic Modeling and Control of Biological Systems: The Lactose Regulation System ofEscherichia Coli

     Article • IEEE Transactions on Automatic Control, January 2008, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

385. 
     Translating Structured English to Robot Controllers

     Article • Advanced Robotics, January 2008, Taylor & Francis

     George Pappas

386. 
     Introduction

     Article • Formal Methods in System Design, December 2007, Springer Science + Business Media

     George Pappas

387. 
     Approximate Simulation Relations for Hybrid Systems

     Article • Discrete Event Dynamic Systems, October 2007, Springer Science + Business Media

     George Pappas

388. 
     From structured english to robot motion

     Article • October 2007, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

389. 
     Valet parking without a valet

     Article • October 2007, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

390. 
     A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates

     Article • IEEE Transactions on Automatic Control, August 2007, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

391. 
     Approximate bisimulation relations for constrained linear systems

     Article • Automatica, August 2007, Elsevier

     George Pappas

392. 
     Potential Fields for Maintaining Connectivity of Mobile Networks

     Article • IEEE Transactions on Robotics, August 2007, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

393. 
     Controlling biological systems: the lactose regulation system of Escherichia coli

     Article • July 2007, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

394. 
     Cooperative coverage using receding horizon control

     Article • July 2007, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

395. 
     Dynamic Assignment in Distributed Motion Planning with Limited Information

     Article • July 2007, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

396. 
     Approximation Metrics for Discrete and Continuous Systems

     Article • IEEE Transactions on Automatic Control, May 2007, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

397. 
     Flocking in Fixed and Switching Networks

     Article • IEEE Transactions on Automatic Control, May 2007, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

398. 
     Leader-Follower Formations: Uncalibrated Vision-Based Localization and Control

     Article • April 2007, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

399. 
     Decidability of Motion Planning with Differential Constraints

     Article • April 2007, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

400. 
     Sensor-Based Dynamic Assignment in Distributed Motion Planning

     Article • April 2007, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

401. 
     Where's Waldo? Sensor-Based Temporal Logic Motion Planning

     Article • April 2007, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

402. 
     Symbolic planning and control of robot motion [Grand Challenges of Robotics]

     Article • IEEE Robotics & Automation Magazine, March 2007, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

403. 
     Approximate hierarchies of linear control systems

     Article • January 2007, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

404. 
     Approximate timed abstractions of hybrid automata

     Article • January 2007, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

405. 
     Distributed connectivity control of mobile networks

     Article • January 2007, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

406. 
     Distributed formation control with permutation symmetries

     Article • January 2007, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

407. 
     Flocking while preserving network connectivity

     Article • January 2007, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

408. 
     Hybrid model predictive control of induction of Escherichia coli

     Article • January 2007, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

409. 
     Robust Test Generation and Coverage for Hybrid Systems

     Article • January 2007, Springer Science + Business Media

     George Pappas

410. 
     Stable multi-particle systems and application in multi-vehicle path planning and coverage

     Article • January 2007, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

411. 
     Verification of temporal properties on hybrid automata by simulation relations

     Article • January 2007, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

412. 
     Approximate equivalence and approximate synchronization of metric transition systems

     Article • December 2006, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

413. 
     Approximate Reduction of Dynamical Systems

     Article • December 2006, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

414. 
     Linear Time Logic Control of Discrete-Time Linear Systems

     Article • IEEE Transactions on Automatic Control, December 2006, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

415. 
     Unit & Dynamic Typing in Hybrid Systems Modeling with CHARON

     Article • October 2006, CrossRef Test Account

     George Pappas

416. 
     Corrigendum to “Hierarchical trajectory refinement for a class of nonlinear systems” [Automatica 41(4) (2005) 701–708]

     Article • Automatica, October 2006, Elsevier

     George Pappas

417. 
     Cooperative air and ground surveillance

     Article • IEEE Robotics & Automation Magazine, September 2006, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

418. 
     Special Section on Symbolic Methods for Complex Control Systems

     Article • IEEE Transactions on Automatic Control, June 2006, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

419. 
     High-Confidence Medical Device Software and Systems

     Article • Computer, April 2006, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

420. 
     Multi-UAV Cooperative Surveillance with Spatio-Temporal Specifications

     Article • January 2006, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

421. 
     A Dynamical Systems Approach to Weighted Graph Matching

     Article • January 2006, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

422. 
     Approximate Simulation Relations for Hybrid Systems11This research is partially supported by the Région Rhône-Alpes (Projet CalCel) and the NSF Presidential Early CAREER (PECASE) Grant 0132716.

     Article • January 2006, Elsevier

     George Pappas

423. 
     Finite state abstraction of a stochastic model of the lactose regulation system of Escherichia coli

     Article • January 2006, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

424. 
     Hierarchical Control using Approximate Simulation Relations

     Article • January 2006, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

425. 
     R-Charon, a Modeling Language for Reconfigurable Hybrid Systems

     Article • January 2006, Springer Science + Business Media

     George Pappas

426. 
     Robustness of Temporal Logic Specifications

     Article • January 2006, Springer Science + Business Media

     George Pappas

427. 
     Synergies in Feature Localization by Air-Ground Robot Teams

     Article • January 2006, Springer Science + Business Media

     George Pappas

428. 
     Temporal Logic Verification Using Simulation

     Article • January 2006, Springer Science + Business Media

     George Pappas

429. 
     Time-triggered implementations of dynamic controllers

     Article • January 2006, ACM (Association for Computing Machinery)

     George Pappas

430. 
     Translating Temporal Logic to Controller Specifications

     Article • January 2006, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

431. 
     Verification Using Simulation

     Article • January 2006, Springer Science + Business Media

     George Pappas

432. 
     Discrete abstractions for robot motion planning and control in polygonal environments

     Article • IEEE Transactions on Robotics, October 2005, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

433. 
     Bisimulation relations for dynamical, control, and hybrid systems

     Article • Theoretical Computer Science, September 2005, Elsevier

     George Pappas

434. 
     Motion feasibility of multi-agent formations

     Article • IEEE Transactions on Robotics, June 2005, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

435. 
     Hierarchical trajectory refinement for a class of nonlinear systems

     Article • Automatica, April 2005, Elsevier

     George Pappas

436. 
     Quotients of Fully Nonlinear Control Systems

     Article • SIAM Journal on Control and Optimization, January 2005, Society for Industrial & Applied Mathematics (SIAM)

     George Pappas

437. 
     Coordinated perception by teams of aerial and ground robots

     Article • December 2004, SPIE

     George Pappas

438. 
     Leader-to-Formation Stability

     Article • IEEE Transactions on Robotics and Automation, June 2004, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

439. 
     Optimal paths in weighted timed automata

     Article • Theoretical Computer Science, June 2004, Elsevier

     George Pappas

440. 
     Bisimilar control affine systems

     Article • Systems & Control Letters, May 2004, Elsevier

     George Pappas

441. 
     Compositional Abstractions of Hybrid Control Systems

     Article • Discrete Event Dynamic Systems, April 2004, Springer Science + Business Media

     George Pappas

442. 
     Experimental cooperative control of fixed-wing unmanned aerial vehicles

     Article • January 2004, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

443. 
     Abstractions of Hamiltonian control systems

     Article • Automatica, December 2003, Elsevier

     George Pappas

444. 
     Bisimilar linear systems

     Article • Automatica, December 2003, Elsevier

     George Pappas

445. 
     From nonlinear to hamiltonian via feedback

     Article • IEEE Transactions on Automatic Control, August 2003, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

446. 
     Bisimulation Relations for Dynamical and Control Systems

     Article • Electronic Notes in Theoretical Computer Science, February 2003, Elsevier

     George Pappas

447. 
     Hierarchical modeling and analysis of embedded systems

     Article • Proceedings of the IEEE, January 2003, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

448. 
     A Framework and Architecture for Multi-Robot Coordination

     Article • The International Journal of Robotics Research, October 2002, SAGE Publications

     George Pappas

449. 
     Consistent abstractions of affine control systems

     Article • IEEE Transactions on Automatic Control, May 2002, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

450. 
     Composing Abstractions of Hybrid Systems

     Article • January 2002, Springer Science + Business Media

     George Pappas

451. 
     Modeling and analyzing biomolecular networks

     Article • Computing in Science & Engineering, January 2002, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

452. 
     Symbolic Reachability Computation for Families of Linear Vector Fields

     Article • Journal of Symbolic Computation, September 2001, Elsevier

     George Pappas

453. 
     Cyclic directed formations of multi-agent systems

     Article • September 2001, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

454. 
     Greedy control for hybrid pursuit games

     Article • September 2001, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

455. 
     Hybrid abstractions: A search and rescue case study

     Article • September 2001, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

456. 
     Accurate Event Detection for Simulating Hybrid Systems

     Article • January 2001, Springer Science + Business Media

     George Pappas

457. 
     Feasible formations of multi-agent systems

     Article • January 2001, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

458. 
     Hierarchical Hybrid Modeling of Embedded Systems

     Article • January 2001, Springer Science + Business Media

     George Pappas

459. 
     Hybrid Abstractions that Preserve Timed Languages

     Article • January 2001, Springer Science + Business Media

     George Pappas

460. 
     Hybrid Modeling and Simulation of Biomolecular Networks

     Article • January 2001, Springer Science + Business Media

     George Pappas

461. 
     Hybrid Systems Applications: An Oxymoron?

     Article • January 2001, Springer Science + Business Media

     George Pappas

462. 
     Mode Switching Synthesis for Reachability Specifications

     Article • January 2001, Springer Science + Business Media

     George Pappas

463. 
     Optimal Paths in Weighted Timed Automata

     Article • January 2001, Springer Science + Business Media

     George Pappas

464. 
     Semi-de1cidable Synthesis for Triangular Hybrid Systems

     Article • January 2001, Springer Science + Business Media

     George Pappas

465. 
     Discrete abstractions of hybrid systems

     Article • Proceedings of the IEEE, July 2000, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

466. 
     Decidable Controller Synthesis for Classes of Linear Systems

     Article • January 2000, Springer Science + Business Media

     George Pappas

467. 
     Global space-based ground surveillance: Mission utility and performance of Discoverer II

     Article • January 2000, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

468. 
     A New Class of Decidable Hybrid Systems

     Article • January 1999, Springer Science + Business Media

     George Pappas

469. 
     Hybrid Systems with Finite Bisimulations

     Article • January 1999, Springer Science + Business Media

     George Pappas

470. 
     Conflict resolution for air traffic management: a study in multiagent hybrid systems

     Article • IEEE Transactions on Automatic Control, April 1998, Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

471. 
     Subanalytic stratifications and bisimulations

     Article • January 1998, Springer Science + Business Media

     George Pappas

472. 
     An approach to the verification of the Center-TRACON automation system

     Article • January 1998, Springer Science + Business Media

     George Pappas

473. 
     Hybrid control models of next generation air traffic management

     Article • January 1997, Springer Science + Business Media

     George Pappas

474. 
     Towards continuous abstractions of dynamical and control systems

     Article • January 1997, Springer Science + Business Media

     George Pappas

475. 
     Stabilization of non-holonomic vehicles under kinematic constraints

     Article • International Journal of Control, April 1995, Taylor & Francis

     George Pappas

476. 
     An Optimization-Based Approach to Time-Critical Cooperative Surveillance and Coverage with UAVs

     Article • Springer Science + Business Media

     George Pappas

477. 
     Distributed Hybrid Control for Multiple-Pursuer Multiple-Evader Games

     Article • Springer Science + Business Media

     George Pappas

478. 
     Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications

     Article • Springer Science + Business Media

     George Pappas

479. 
     Robust Sampling for MITL Specifications

     Article • Springer Science + Business Media

     George Pappas

480. 
     Approximate Bisimulations for Constrained Linear Systems

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

481. 
     Approximate Bisimulations for Nonlinear Dynamical Systems

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

482. 
     Bounded Model Checking of Hybrid Dynamical Systems

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

483. 
     Controlling Connectivity of Dynamic Graphs

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

484. 
     Hybrid Controllers for Path Planning: A Temporal Logic Approach

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

485. 
     Information Driven Coordinated Air-Ground Proactive Sensing

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

486. 
     Quantifying the Gap between Embedded Control Models and Time-Triggered Implementations

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

487. 
     Temporal Logic Motion Planning for Mobile Robots

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

488. 
     Vision-based Localization of Leader-Follower Formations

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

489. 
     Hierarchical trajectory generation for a class of nonlinear systems

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

490. 
     Discrete synchronization of hybrid systems

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

491. 
     Flying hot potatoes [air traffic management]

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

492. 
     From nonlinear to Hamiltonian via feedback

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

493. 
     Compositional abstractions of hybrid control systems

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

494. 
     Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

495. 
     Consistent hierarchies of nonlinear abstractions

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas