George Pappas

All Stories

1. 
   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

2. 
   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

3. 
   Modeling Gaia photometry signals of dark halos

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

   George Pappas

4. 
   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

5. 
   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

6. 
   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

7. 
   Policy Gradient Bounds in Multitask LQR

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

   George Pappas

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

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

   George Pappas

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

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

   George Pappas

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

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

17. 
    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

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

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

    George Pappas

19. 
    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

20. 
    Safe Planning in Dynamic Environments Using Conformal Prediction

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

23. 
    Multi-Robot Mission Planning in Dynamic Semantic Environments

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

    George Pappas

24. 
    Socially Fair Coverage Control

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

    George Pappas

25. 
    Conformal Prediction for STL Runtime Verification

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

    George Pappas

26. 
    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

27. 
    Risk of Stochastic Systems for Temporal Logic Specifications

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

    George Pappas

28. 
    : 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

29. 
    Toward Certified Robustness Against Real-World Distribution Shifts

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

    George Pappas

30. 
    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

31. 
    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

32. 
    Learning Switching Port-Hamiltonian Systems with Uncertainty Quantification

    Article • IFAC-PapersOnLine, January 2023, Elsevier

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

37. 
    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

38. 
    ODE Discretization Schemes as Optimization Algorithms

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

    George Pappas

39. 
    Secure state estimation over Markov wireless communication channels

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

    George Pappas

40. 
    Risk verification of stochastic systems with neural network controllers

    Article • Artificial Intelligence, December 2022, Elsevier

    George Pappas

41. 
    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

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

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

    George Pappas

43. 
    Distributed Attack-Robust Submodular Maximization for Multirobot Planning

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

    George Pappas

44. 
    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

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

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

    George Pappas

46. 
    Foreword

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

    George Pappas

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

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

    George Pappas

48. 
    Temporal Robustness of Stochastic Signals

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

    George Pappas

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

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

    George Pappas

50. 
    Private Weighted Sum Aggregation

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

    George Pappas

51. 
    Resilient Active Information Acquisition With Teams of Robots

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

    George Pappas

52. 
    Robust and Adaptive Sequential Submodular Optimization

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

    George Pappas

53. 
    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

54. 
    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

55. 
    Optimal Multi-robot Perimeter Defense Using Flow Networks

    Article • January 2022, Springer Science + Business Media

    George Pappas

56. 
    An Introduction to Neural Network Analysis via Semidefinite Programming

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

    George Pappas

57. 
    Encrypted Distributed Lasso for Sparse Data Predictive Control

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

    George Pappas

58. 
    Federated Learning with Incrementally Aggregated Gradients

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

    George Pappas

59. 
    Learning Region of Attraction for Nonlinear Systems

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

    George Pappas

60. 
    Linear Systems can be Hard to Learn

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

    George Pappas

61. 
    Online Federated Learning

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

    George Pappas

62. 
    Robust Motion Planning in the Presence of Estimation Uncertainty

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

    George Pappas

63. 
    STL Robustness Risk over Discrete-Time Stochastic Processes

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

    George Pappas

64. 
    Time-Robust Control for STL Specifications

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

    George Pappas

65. 
    On the Structural Target Controllability of Undirected Networks

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

    George Pappas

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

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

    George Pappas

67. 
    Scalable Reinforcement Learning Policies for Multi-Agent Control

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

70. 
    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

71. 
    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

72. 
    Deep Reinforcement Learning for Active Target Tracking

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

75. 
    Scalable Active Information Acquisition for Multi-Robot Systems

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

    George Pappas

76. 
    Source Seeking in Unknown Environments with Convex Obstacles

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

    George Pappas

77. 
    Learning lyapunov functions for hybrid systems

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

    George Pappas

78. 
    Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption

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

    George Pappas

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

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

    George Pappas

80. 
    Fair Robust Assignment Using Redundancy

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

    George Pappas

81. 
    LQG Control and Sensing Co-Design

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

    George Pappas

82. 
    Learning Lyapunov Functions for Hybrid Systems

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

    George Pappas

83. 
    Latency-Reliability Tradeoffs for State Estimation

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

    George Pappas

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

    Article • Automatica, March 2021, Elsevier

    George Pappas

85. 
    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

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

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

    George Pappas

87. 
    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

88. 
    Approximate Supermodularity of Kalman Filter Sensor Selection

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

    George Pappas

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

    Article • January 2021, Springer Science + Business Media

    George Pappas

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

    Article • December 2020, Cold Spring Harbor Laboratory Press

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

93. 
    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

94. 
    Risk-Constrained Linear-Quadratic Regulators

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

    George Pappas

95. 
    Towards Private Data-driven Control

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

    George Pappas

96. 
    Adaptive Partitioning for Coordinated Multi-agent Perimeter Defense

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

    George Pappas

97. 
    Network Design for Controllability Metrics

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

    George Pappas

98. 
    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

99. 
    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

100. 
     State-Secrecy Codes for Networked Linear Systems

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

     George Pappas

101. 
     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

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

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

     George Pappas

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

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

     George Pappas

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

     Article • Automatica, May 2020, Elsevier

     George Pappas

105. 
     Information Theoretic Active Exploration in Signed Distance Fields

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

     George Pappas

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

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

     George Pappas

107. 
     Case study

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

     George Pappas

108. 
     Model-based design for seizure control by stimulation

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

     George Pappas

109. 
     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

110. 
     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

111. 
     Learning to Control over Unknown Wireless Channels

     Article • IFAC-PapersOnLine, January 2020, Elsevier

     George Pappas

112. 
     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

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

     Article • Network Neuroscience, January 2020, The MIT Press

     George Pappas

114. 
     Non-Cooperative Distributed MPC with Iterative Learning

     Article • IFAC-PapersOnLine, January 2020, Elsevier

     George Pappas

115. 
     Private Weighted Sum Aggregation for Distributed Control Systems

     Article • IFAC-PapersOnLine, January 2020, Elsevier

     George Pappas

116. 
     Encrypted Cooperative Control Revisited

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

     George Pappas

117. 
     Finite Sample Analysis of Stochastic System Identification

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

     George Pappas

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

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

     George Pappas

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

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

     George Pappas

120. 
     Learning Q-network for Active Information Acquisition

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

     George Pappas

121. 
     Maximum Information Bounds for Planning Active Sensing Trajectories

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

     George Pappas

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

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

     George Pappas

123. 
     Assumed Density Filtering Q-learning

     Article • August 2019, International Joint Conferences on Artificial Intelligence

     George Pappas

124. 
     Motion Planning with Secrecy

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

     George Pappas

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

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

     George Pappas

126. 
     Optimal Reset Strategies for Mitigating Malware Epidemics

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

     George Pappas

127. 
     Resilient Structural Stabilizability of Undirected Networks

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

     George Pappas

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

     Article • June 2019, Robotics: Science and Systems Foundation

     George Pappas

129. 
     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

130. 
     A cybersecurity strategy for Industry 4.0

     Article • May 2019, SPIE

     George Pappas

131. 
     Verisig

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

     George Pappas

132. 
     Encrypted LQG using labeled homomorphic encryption

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

     George Pappas

133. 
     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

134. 
     Learning in Wireless Control Systems Over Nonstationary Channels

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

     George Pappas

135. 
     Minimal Edge Addition for Network Controllability

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

     George Pappas

136. 
     Continuous Estimation Using Context-Dependent Discrete Measurements

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

     George Pappas

137. 
     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

138. 
     Resilient Active Target Tracking With Multiple Robots

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

     George Pappas

139. 
     Tuning Communication Latency for Distributed Model Predictive Control

     Article • IFAC-PapersOnLine, January 2019, Elsevier

     George Pappas

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

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

     George Pappas

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

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

     George Pappas

142. 
     An Information Matrix Approach for State Secrecy

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

     George Pappas

143. 
     Cloud-Based MPC with Encrypted Data

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

     George Pappas

144. 
     Resilient Monotone Sequential Maximization

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

     George Pappas

145. 
     Sample Complexity of Networked Control Systems Over Unknown Channels

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

     George Pappas

146. 
     Structural Target Controllability of Undirected Networks

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

     George Pappas

147. 
     Resilient Active Information Gathering with Mobile Robots

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

     George Pappas

148. 
     Diffusing Private Data Over Networks

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

     George Pappas

149. 
     SMC: Satisfiability Modulo Convex Programming

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

     George Pappas

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

     Article • Automatica, July 2018, Elsevier

     George Pappas

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

     Article • July 2018, International Joint Conferences on Artificial Intelligence

     George Pappas

152. 
     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

153. 
     Approximating Explicit Model Predictive Control Using Constrained Neural Networks

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

     George Pappas

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

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

     George Pappas

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

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

     George Pappas

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

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

     George Pappas

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

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

     George Pappas

158. 
     Sensing-Constrained LQG Control

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

     George Pappas

159. 
     State-Secrecy Codes for Stable Systems

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

     George Pappas

160. 
     Privacy in Control and Dynamical Systems

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

     George Pappas

161. 
     Random access design for wireless control systems

     Article • Automatica, May 2018, Elsevier

     George Pappas

162. 
     Anytime Planning for Decentralized Multirobot Active Information Gathering

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

     George Pappas

163. 
     Dynamic Integration of Heterogeneous Transportation Modes under Disruptive Events

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

     George Pappas

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

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

     George Pappas

165. 
     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

166. 
     Spectral mapping of brain functional connectivity from diffusion imaging

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

     George Pappas

167. 
     Minimal Reachability is Hard To Approximate

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

     George Pappas

168. 
     Battery management for control systems with energy harvesting sensors

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

     George Pappas

169. 
     Differential privacy for dynamical sensitive data

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

     George Pappas

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

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

     George Pappas

171. 
     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

172. 
     Network design for controllability metrics

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

     George Pappas

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

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

     George Pappas

174. 
     Resilient monotone submodular function maximization

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

     George Pappas

175. 
     State estimation codes for perfect secrecy

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

     George Pappas

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

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

     George Pappas

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

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

     George Pappas

178. 
     Privacy preserving cloud-based quadratic optimization

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

     George Pappas

179. 
     State Estimation with Secrecy against Eavesdroppers

     Article • IFAC-PapersOnLine, July 2017, Elsevier

     George Pappas

180. 
     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

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

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

     George Pappas

182. 
     Inference, prediction and control of networked epidemics

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

     George Pappas

183. 
     Probabilistic data association for semantic SLAM

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

     George Pappas

184. 
     Quantification on the efficiency gain of automated ridesharing services

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

     George Pappas

185. 
     Scheduling nonlinear sensors for stochastic process estimation

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

     George Pappas

186. 
     Spectral control of cortical activity

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

     George Pappas

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

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

     George Pappas

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

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

     George Pappas

189. 
     Wireless Control for the IoT

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

     George Pappas

190. 
     SMC

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

     George Pappas

191. 
     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

192. 
     Resilient Flocking for Mobile Robot Teams

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

     George Pappas

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

     Article • Automatica, April 2017, Elsevier

     George Pappas

194. 
     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

195. 
     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

196. 
     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

197. 
     Gradual Release of Sensitive Data under Differential Privacy

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

     George Pappas

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

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

     George Pappas

199. 
     Differentially Private Distributed Constrained Optimization

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

     George Pappas

200. 
     Approximation of network linear operators using similarity shift filters

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

     George Pappas

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

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

     George Pappas

202. 
     Decentralized observability with limited communication between sensors

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

     George Pappas

203. 
     Differential privacy in control and network systems

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

     George Pappas

204. 
     Location-dependent privacy

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

     George Pappas

205. 
     Multi-owner multi-user privacy

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

     George Pappas

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

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

     George Pappas

207. 
     Privacy-aware quadratic optimization using partially homomorphic encryption

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

     George Pappas

208. 
     Scalable lazy SMT-based motion planning

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

     George Pappas

209. 
     Self-triggered time-varying convex optimization

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

     George Pappas

210. 
     State-based communication design for wireless control systems

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

     George Pappas

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

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

     George Pappas

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

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

     George Pappas

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

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

     George Pappas

214. 
     Diffusing private data over networks

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

     George Pappas

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

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

     George Pappas

216. 
     Multi-agent coordination with asynchronous cloud access

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

     George Pappas

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

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

     George Pappas

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

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

     George Pappas

219. 
     Optimal temporal logic planning in probabilistic semantic maps

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

     George Pappas

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

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

     Dr Allan F. Simpao, George Pappas

221. 
     Control-Aware Random Access Communication

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

     George Pappas

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

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

     George Pappas

223. 
     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

224. 
     ATPC

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

     George Pappas

225. 
     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

226. 
     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

227. 
     Periodic event-triggered average consensus over directed graphs

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

     Dr XIANGYU Meng, George Pappas

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

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

     George Pappas

229. 
     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

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

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

     George Pappas

231. 
     Control with random access wireless sensors

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

     George Pappas

232. 
     Distributed leader selection

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

     George Pappas

233. 
     Minimal reachability problems

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

     George Pappas

234. 
     Minimum number of probes for brain dynamics observability

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

     George Pappas

235. 
     Opportunistic Control Over Shared Wireless Channels

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

     George Pappas

236. 
     Robust taxi dispatch under model uncertainties

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

     George Pappas

237. 
     Self-triggered pursuit of a single evader

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

     George Pappas

238. 
     Static output feedback: On essential feasible information patterns

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

     George Pappas

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

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

     George Pappas

240. 
     Localization from semantic observations via the matrix permanent

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

     George Pappas

241. 
     Automatic verification of linear controller software

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

     George Pappas

242. 
     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

243. 
     Robust estimation using context-aware filtering

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

     George Pappas

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

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

     George Pappas

245. 
     Distributed resource allocation for control of spreading processes

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

     George Pappas

246. 
     Minimal actuator placement with optimal control constraints

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

     George Pappas

247. 
     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

248. 
     Optimal resource allocation for competing epidemics over arbitrary networks

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

     George Pappas

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

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

     George Pappas

250. 
     Value of forecasts in planning under uncertainty

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

     George Pappas

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

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

     George Pappas

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

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

     George Pappas

253. 
     Smart building

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

     George Pappas

254. 
     Decentralized Channel Access for Wireless Control Systems

     Article • IFAC-PapersOnLine, January 2015, Elsevier

     George Pappas

255. 
     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

256. 
     Sparsest Minimum Multiple-Cost Structural Leader Selection

     Article • IFAC-PapersOnLine, January 2015, Elsevier

     George Pappas

257. 
     Joint estimation and localization in sensor networks

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

     George Pappas

258. 
     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

259. 
     Coding sensor outputs for injection attacks detection

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

     George Pappas

260. 
     Computation of privacy-preserving prices in smart grids

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

     George Pappas

261. 
     Controllability and fraction of leaders in infinite networks

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

     George Pappas

262. 
     Differentially private convex optimization with piecewise affine objectives

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

     George Pappas

263. 
     Opportunistic sensor scheduling in wireless control systems

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

     George Pappas

264. 
     Stability analysis of generalized epidemic models over directed networks

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

     George Pappas

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

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

     George Pappas

266. 
     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

267. 
     Attack resilient state estimation for autonomous robotic systems

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

     George Pappas

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

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

     George Pappas

269. 
     Differentially private distributed protocol for electric vehicle charging

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

     George Pappas

270. 
     Semantic Localization Via the Matrix Permanent

     Article • July 2014, Robotics: Science and Systems Foundation

     George Pappas

271. 
     The Swarm at the Edge of the Cloud

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

     George Pappas

272. 
     Optimal Power Management in Wireless Control Systems

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

     George Pappas

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

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

     George Pappas

274. 
     Opportunistic scheduling of control tasks over shared wireless channels

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

     George Pappas

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

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

     George Pappas

276. 
     Robustness of attack-resilient state estimators

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

     George Pappas

277. 
     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

278. 
     Differentially Private Filtering

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

     George Pappas

279. 
     Active Deformable Part Models Inference

     Article • January 2014, Springer Science + Business Media

     George Pappas

280. 
     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

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

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

     George Pappas

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

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

     George Pappas

283. 
     Stabilizability over deterministic relay networks

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

     George Pappas

284. 
     Stochastic game approach for replay attack detection

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

     George Pappas

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

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

     George Pappas

286. 
     Hypothesis testing framework for active object detection

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

     George Pappas

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

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

     George Pappas

288. 
     Privacy-preserving release of aggregate dynamic models

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

     George Pappas

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

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

     George Pappas

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

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

     George Pappas

291. 
     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

292. 
     Adaptive Deployment of Mobile Robotic Networks

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

     George Pappas

293. 
     Network Integrity in Mobile Robotic Networks

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

     George Pappas

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

     Article • January 2013, Springer Science + Business Media

     George Pappas

295. 
     Differentially private filtering

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

     George Pappas

296. 
     Green scheduling for radiant systems in buildings

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

     George Pappas

297. 
     On the existence of compositional barrier certificates

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

     George Pappas

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

     Article • Automatica, November 2012, Elsevier

     George Pappas

299. 
     Differentially private Kalman filtering

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

     George Pappas

300. 
     Stochastic Source Seeking by Mobile Robots

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

     George Pappas

301. 
     Time-Triggered Implementations of Dynamic Controllers

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

     George Pappas

302. 
     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

303. 
     Sequential composition of robust controller specifications

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

     George Pappas

304. 
     Stochastic source seeking in complex environments

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

     George Pappas

305. 
     Compositional safety analysis using barrier certificates

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

     George Pappas

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

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

     George Pappas

307. 
     Closing the loop

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

     George Pappas

308. 
     Bacteria-Powered Microrobots

     Article • January 2012, Elsevier

     George Pappas

309. 
     Stochastic Models and Control of Bacterial Bioactuators and Biomicrorobots

     Article • January 2012, Elsevier

     George Pappas

310. 
     Green scheduling of control systems for peak demand reduction

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

     George Pappas

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

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

     George Pappas

312. 
     Topological conditions for wireless control networks

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

     George Pappas

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

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

     George Pappas

314. 
     Network synthesis for dynamical system stabilization

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

     George Pappas

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

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

     George Pappas

316. 
     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

317. 
     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

318. 
     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

319. 
     Graph-theoretic connectivity control of mobile robot networks

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

     George Pappas

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

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

     George Pappas

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

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

     George Pappas

322. 
     Inferring stable genetic networks from steady-state data

     Article • Automatica, June 2011, Elsevier

     George Pappas

323. 
     Wireless manipulation of single cells using magnetic microtransporters

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

     George Pappas

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

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

     George Pappas

325. 
     Resource constrained LQR control under fast sampling

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

     George Pappas

326. 
     Electrokinetic and optical control of bacterial microrobots

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

     George Pappas

327. 
     Modeling, control and experimental characterization of microbiorobots

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

     George Pappas

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

     Article • Annales de Chimie Science des Matériaux, January 2011, Elsevier

     George Pappas

329. 
     Mobility & routing control in networks of robots

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

     George Pappas

330. 
     Nonholonomic source seeking in switching random fields

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

     George Pappas

331. 
     Sensor-based robot deployment algorithms

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

     George Pappas

332. 
     The wireless control network: Monitoring for malicious behavior

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

     George Pappas

333. 
     The Wireless Control Network: Synthesis and robustness

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

     George Pappas

334. 
     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

335. 
     A duality approach to path planning for multiple robots

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

     George Pappas

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

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

     George Pappas

337. 
     Biosensing and actuation for microbiorobots

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

     George Pappas

338. 
     Robustness analysis for the certification of digital controller implementations

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

     George Pappas

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

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

     George Pappas

340. 
     Editorial

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

     George Pappas

341. 
     Single cell manipulation using ferromagnetic composite microtransporters

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

     George Pappas

342. 
     Hybrid Control for Connectivity Preserving Flocking

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

     George Pappas

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

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

     George Pappas

344. 
     Resource allocation for signal detection with active sensors

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

     George Pappas

345. 
     Robust stability of multi-hop control networks

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

     George Pappas

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

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

     George Pappas

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

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

     George Pappas

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

     Article • Theoretical Computer Science, September 2009, Elsevier

     George Pappas

349. 
     Scalable scheduling algorithms for wireless networked control systems

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

     George Pappas

350. 
     Approximations of Stochastic Hybrid Systems

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

     George Pappas

351. 
     Genetic network identification using convex programming

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

     George Pappas

352. 
     Harnessing bacterial power in microscale actuation

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

     George Pappas

353. 
     Multi-vehicle path planning in dynamically changing environments

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

     George Pappas

354. 
     Modeling and Analysis of Multi-hop Control Networks

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

     George Pappas

355. 
     Approximate equivalence and synchronization of metric transition systems

     Article • Systems & Control Letters, February 2009, Elsevier

     George Pappas

356. 
     Hierarchical control system design using approximate simulation

     Article • Automatica, February 2009, Elsevier

     George Pappas

357. 
     Temporal logic motion planning for dynamic robots

     Article • Automatica, February 2009, Elsevier

     George Pappas

358. 
     Hybrid Control and Transport Using Bacteria-Driven Microbiorobots

     Article • January 2009, ASME International

     George Pappas

359. 
     A distributed dynamical scheme for fastest mixing Markov chains

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

     George Pappas

360. 
     Experimental Robotics

     Article • January 2009, Springer Science + Business Media

     George Pappas

361. 
     MTL robust testing and verification for LPV systems

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

     George Pappas

362. 
     Maintaining Connectivity in Mobile Robot Networks

     Article • January 2009, Springer Science + Business Media

     George Pappas

363. 
     Trajectory Based Verification Using Local Finite-Time Invariance

     Article • January 2009, Springer Science + Business Media

     George Pappas

364. 
     Distributed Connectivity Control of Mobile Networks

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

     George Pappas

365. 
     Metabolic networks analysis using convex optimization

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

     George Pappas

366. 
     A dynamical systems approach to weighted graph matching

     Article • Automatica, November 2008, Elsevier

     George Pappas

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

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

     George Pappas

368. 
     Recycling controllers

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

     George Pappas

369. 
     Approximate reduction of dynamic systems

     Article • Systems & Control Letters, July 2008, Elsevier

     George Pappas

370. 
     Distributed topology control of dynamic networks

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

     George Pappas

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

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

     George Pappas

372. 
     Identification of stable genetic networks using convex programming

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

     George Pappas

373. 
     Distributed multi-robot task assignment and formation control

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

     George Pappas

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

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

     George Pappas

375. 
     Courteous Cars

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

     George Pappas

376. 
     Dynamic Assignment in Distributed Motion Planning With Local Coordination

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

     George Pappas

377. 
     Galvanotactic Control of Self-Powered Microstructures

     Article • January 2008, ASME International

     George Pappas

378. 
     A distributed auction algorithm for the assignment problem

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

     George Pappas

379. 
     Probabilistic testing for stochastic hybrid systems

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

     George Pappas

380. 
     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

381. 
     Translating Structured English to Robot Controllers

     Article • Advanced Robotics, January 2008, Taylor & Francis

     George Pappas

382. 
     Introduction

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

     George Pappas

383. 
     Approximate Simulation Relations for Hybrid Systems

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

     George Pappas

384. 
     From structured english to robot motion

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

     George Pappas

385. 
     Valet parking without a valet

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

     George Pappas

386. 
     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

387. 
     Approximate bisimulation relations for constrained linear systems

     Article • Automatica, August 2007, Elsevier

     George Pappas

388. 
     Potential Fields for Maintaining Connectivity of Mobile Networks

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

     George Pappas

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

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

     George Pappas

390. 
     Cooperative coverage using receding horizon control

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

     George Pappas

391. 
     Dynamic Assignment in Distributed Motion Planning with Limited Information

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

     George Pappas

392. 
     Approximation Metrics for Discrete and Continuous Systems

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

     George Pappas

393. 
     Flocking in Fixed and Switching Networks

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

     George Pappas

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

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

     George Pappas

395. 
     Decidability of Motion Planning with Differential Constraints

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

     George Pappas

396. 
     Sensor-Based Dynamic Assignment in Distributed Motion Planning

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

     George Pappas

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

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

     George Pappas

398. 
     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

399. 
     Approximate hierarchies of linear control systems

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

     George Pappas

400. 
     Approximate timed abstractions of hybrid automata

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

     George Pappas

401. 
     Distributed connectivity control of mobile networks

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

     George Pappas

402. 
     Distributed formation control with permutation symmetries

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

     George Pappas

403. 
     Flocking while preserving network connectivity

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

     George Pappas

404. 
     Hybrid model predictive control of induction of Escherichia coli

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

     George Pappas

405. 
     Robust Test Generation and Coverage for Hybrid Systems

     Article • January 2007, Springer Science + Business Media

     George Pappas

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

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

     George Pappas

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

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

     George Pappas

408. 
     Approximate equivalence and approximate synchronization of metric transition systems

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

     George Pappas

409. 
     Approximate Reduction of Dynamical Systems

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

     George Pappas

410. 
     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

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

     Article • October 2006, CrossRef Test Account

     George Pappas

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

     Article • Automatica, October 2006, Elsevier

     George Pappas

413. 
     Cooperative air and ground surveillance

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

     George Pappas

414. 
     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

415. 
     High-Confidence Medical Device Software and Systems

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

     George Pappas

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

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

     George Pappas

417. 
     A Dynamical Systems Approach to Weighted Graph Matching

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

     George Pappas

418. 
     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

419. 
     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

420. 
     Hierarchical Control using Approximate Simulation Relations

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

     George Pappas

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

     Article • January 2006, Springer Science + Business Media

     George Pappas

422. 
     Robustness of Temporal Logic Specifications

     Article • January 2006, Springer Science + Business Media

     George Pappas

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

     Article • January 2006, Springer Science + Business Media

     George Pappas

424. 
     Temporal Logic Verification Using Simulation

     Article • January 2006, Springer Science + Business Media

     George Pappas

425. 
     Time-triggered implementations of dynamic controllers

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

     George Pappas

426. 
     Translating Temporal Logic to Controller Specifications

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

     George Pappas

427. 
     Verification Using Simulation

     Article • January 2006, Springer Science + Business Media

     George Pappas

428. 
     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

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

     Article • Theoretical Computer Science, September 2005, Elsevier

     George Pappas

430. 
     Motion feasibility of multi-agent formations

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

     George Pappas

431. 
     Hierarchical trajectory refinement for a class of nonlinear systems

     Article • Automatica, April 2005, Elsevier

     George Pappas

432. 
     Quotients of Fully Nonlinear Control Systems

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

     George Pappas

433. 
     Coordinated perception by teams of aerial and ground robots

     Article • December 2004, SPIE

     George Pappas

434. 
     Leader-to-Formation Stability

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

     George Pappas

435. 
     Optimal paths in weighted timed automata

     Article • Theoretical Computer Science, June 2004, Elsevier

     George Pappas

436. 
     Bisimilar control affine systems

     Article • Systems & Control Letters, May 2004, Elsevier

     George Pappas

437. 
     Compositional Abstractions of Hybrid Control Systems

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

     George Pappas

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

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

     George Pappas

439. 
     Abstractions of Hamiltonian control systems

     Article • Automatica, December 2003, Elsevier

     George Pappas

440. 
     Bisimilar linear systems

     Article • Automatica, December 2003, Elsevier

     George Pappas

441. 
     From nonlinear to hamiltonian via feedback

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

     George Pappas

442. 
     Bisimulation Relations for Dynamical and Control Systems

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

     George Pappas

443. 
     Hierarchical modeling and analysis of embedded systems

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

     George Pappas

444. 
     A Framework and Architecture for Multi-Robot Coordination

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

     George Pappas

445. 
     Consistent abstractions of affine control systems

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

     George Pappas

446. 
     Composing Abstractions of Hybrid Systems

     Article • January 2002, Springer Science + Business Media

     George Pappas

447. 
     Modeling and analyzing biomolecular networks

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

     George Pappas

448. 
     Symbolic Reachability Computation for Families of Linear Vector Fields

     Article • Journal of Symbolic Computation, September 2001, Elsevier

     George Pappas

449. 
     Cyclic directed formations of multi-agent systems

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

     George Pappas

450. 
     Greedy control for hybrid pursuit games

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

     George Pappas

451. 
     Hybrid abstractions: A search and rescue case study

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

     George Pappas

452. 
     Accurate Event Detection for Simulating Hybrid Systems

     Article • January 2001, Springer Science + Business Media

     George Pappas

453. 
     Feasible formations of multi-agent systems

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

     George Pappas

454. 
     Hierarchical Hybrid Modeling of Embedded Systems

     Article • January 2001, Springer Science + Business Media

     George Pappas

455. 
     Hybrid Abstractions that Preserve Timed Languages

     Article • January 2001, Springer Science + Business Media

     George Pappas

456. 
     Hybrid Modeling and Simulation of Biomolecular Networks

     Article • January 2001, Springer Science + Business Media

     George Pappas

457. 
     Hybrid Systems Applications: An Oxymoron?

     Article • January 2001, Springer Science + Business Media

     George Pappas

458. 
     Mode Switching Synthesis for Reachability Specifications

     Article • January 2001, Springer Science + Business Media

     George Pappas

459. 
     Optimal Paths in Weighted Timed Automata

     Article • January 2001, Springer Science + Business Media

     George Pappas

460. 
     Semi-de1cidable Synthesis for Triangular Hybrid Systems

     Article • January 2001, Springer Science + Business Media

     George Pappas

461. 
     Discrete abstractions of hybrid systems

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

     George Pappas

462. 
     Decidable Controller Synthesis for Classes of Linear Systems

     Article • January 2000, Springer Science + Business Media

     George Pappas

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

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

     George Pappas

464. 
     A New Class of Decidable Hybrid Systems

     Article • January 1999, Springer Science + Business Media

     George Pappas

465. 
     Hybrid Systems with Finite Bisimulations

     Article • January 1999, Springer Science + Business Media

     George Pappas

466. 
     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

467. 
     Subanalytic stratifications and bisimulations

     Article • January 1998, Springer Science + Business Media

     George Pappas

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

     Article • January 1998, Springer Science + Business Media

     George Pappas

469. 
     Hybrid control models of next generation air traffic management

     Article • January 1997, Springer Science + Business Media

     George Pappas

470. 
     Towards continuous abstractions of dynamical and control systems

     Article • January 1997, Springer Science + Business Media

     George Pappas

471. 
     Stabilization of non-holonomic vehicles under kinematic constraints

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

     George Pappas

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

     Article • Springer Science + Business Media

     George Pappas

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

     Article • Springer Science + Business Media

     George Pappas

474. 
     Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications

     Article • Springer Science + Business Media

     George Pappas

475. 
     Robust Sampling for MITL Specifications

     Article • Springer Science + Business Media

     George Pappas

476. 
     Approximate Bisimulations for Constrained Linear Systems

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

477. 
     Approximate Bisimulations for Nonlinear Dynamical Systems

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

478. 
     Bounded Model Checking of Hybrid Dynamical Systems

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

479. 
     Controlling Connectivity of Dynamic Graphs

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

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

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

481. 
     Information Driven Coordinated Air-Ground Proactive Sensing

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

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

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

483. 
     Temporal Logic Motion Planning for Mobile Robots

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

484. 
     Vision-based Localization of Leader-Follower Formations

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

485. 
     Hierarchical trajectory generation for a class of nonlinear systems

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

486. 
     Discrete synchronization of hybrid systems

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

487. 
     Flying hot potatoes [air traffic management]

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

488. 
     From nonlinear to Hamiltonian via feedback

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

489. 
     Compositional abstractions of hybrid control systems

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

490. 
     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

491. 
     Consistent hierarchies of nonlinear abstractions

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas