George Pappas

All Stories

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

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

   George Pappas

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

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

   George Pappas

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

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

   George Pappas

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

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

   George Pappas

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

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

   George Pappas

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

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

   George Pappas

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

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

   George Pappas

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

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

   George Pappas

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

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

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

    George Pappas

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

12. 
    Safe Planning in Dynamic Environments Using Conformal Prediction

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

15. 
    Multi-Robot Mission Planning in Dynamic Semantic Environments

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

    George Pappas

16. 
    Socially Fair Coverage Control

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

    George Pappas

17. 
    Conformal Prediction for STL Runtime Verification

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

    George Pappas

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

19. 
    Risk of Stochastic Systems for Temporal Logic Specifications

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

    George Pappas

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

21. 
    Toward Certified Robustness Against Real-World Distribution Shifts

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

    George Pappas

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

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

24. 
    Learning Switching Port-Hamiltonian Systems with Uncertainty Quantification

    Article • IFAC-PapersOnLine, January 2023, Elsevier

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

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

29. 
    ODE Discretization Schemes as Optimization Algorithms

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

    George Pappas

30. 
    Secure state estimation over Markov wireless communication channels

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

    George Pappas

31. 
    Risk verification of stochastic systems with neural network controllers

    Article • Artificial Intelligence, December 2022, Elsevier

    George Pappas

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

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

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

    George Pappas

34. 
    Distributed Attack-Robust Submodular Maximization for Multirobot Planning

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

    George Pappas

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

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

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

    George Pappas

37. 
    Foreword

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

    George Pappas

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

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

    George Pappas

39. 
    Temporal Robustness of Stochastic Signals

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

    George Pappas

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

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

    George Pappas

41. 
    Private Weighted Sum Aggregation

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

    George Pappas

42. 
    Resilient Active Information Acquisition With Teams of Robots

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

    George Pappas

43. 
    Robust and Adaptive Sequential Submodular Optimization

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

    George Pappas

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

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

46. 
    Optimal Multi-robot Perimeter Defense Using Flow Networks

    Article • January 2022, Springer Science + Business Media

    George Pappas

47. 
    An Introduction to Neural Network Analysis via Semidefinite Programming

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

    George Pappas

48. 
    Encrypted Distributed Lasso for Sparse Data Predictive Control

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

    George Pappas

49. 
    Learning Region of Attraction for Nonlinear Systems

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

    George Pappas

50. 
    Linear Systems can be Hard to Learn

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

    George Pappas

51. 
    Online Federated Learning

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

    George Pappas

52. 
    Robust Motion Planning in the Presence of Estimation Uncertainty

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

    George Pappas

53. 
    STL Robustness Risk over Discrete-Time Stochastic Processes

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

    George Pappas

54. 
    Time-Robust Control for STL Specifications

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

    George Pappas

55. 
    On the Structural Target Controllability of Undirected Networks

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

    George Pappas

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

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

    George Pappas

57. 
    Scalable Reinforcement Learning Policies for Multi-Agent Control

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

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

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

62. 
    Deep Reinforcement Learning for Active Target Tracking

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

    George Pappas

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

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

    George Pappas

64. 
    Scalable Active Information Acquisition for Multi-Robot Systems

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

    George Pappas

65. 
    Source Seeking in Unknown Environments with Convex Obstacles

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

    George Pappas

66. 
    Learning lyapunov functions for hybrid systems

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

    George Pappas

67. 
    Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption

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

    George Pappas

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

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

    George Pappas

69. 
    Fair Robust Assignment Using Redundancy

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

    George Pappas

70. 
    LQG Control and Sensing Co-Design

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

    George Pappas

71. 
    Latency-Reliability Tradeoffs for State Estimation

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

    George Pappas

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

    Article • Automatica, March 2021, Elsevier

    George Pappas

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

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

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

    George Pappas

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

76. 
    Approximate Supermodularity of Kalman Filter Sensor Selection

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

    George Pappas

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

    Article • December 2020, Cold Spring Harbor Laboratory Press

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

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

81. 
    Risk-Constrained Linear-Quadratic Regulators

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

    George Pappas

82. 
    Towards Private Data-driven Control

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

    George Pappas

83. 
    Adaptive Partitioning for Coordinated Multi-agent Perimeter Defense

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

    George Pappas

84. 
    Network Design for Controllability Metrics

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

    George Pappas

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

86. 
    State-Secrecy Codes for Networked Linear Systems

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

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

    Article • Automatica, May 2020, Elsevier

    George Pappas

90. 
    Information Theoretic Active Exploration in Signed Distance Fields

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

    George Pappas

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

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

    George Pappas

92. 
    Case study

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

    George Pappas

93. 
    Model-based design for seizure control by stimulation

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

    George Pappas

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

95. 
    Learning to Control over Unknown Wireless Channels

    Article • IFAC-PapersOnLine, January 2020, Elsevier

    George Pappas

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

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

    Article • Network Neuroscience, January 2020, The MIT Press

    George Pappas

98. 
    Non-Cooperative Distributed MPC with Iterative Learning

    Article • IFAC-PapersOnLine, January 2020, Elsevier

    George Pappas

99. 
    Private Weighted Sum Aggregation for Distributed Control Systems

    Article • IFAC-PapersOnLine, January 2020, Elsevier

    George Pappas

100. 
     Encrypted Cooperative Control Revisited

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

     George Pappas

101. 
     Finite Sample Analysis of Stochastic System Identification

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

     George Pappas

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

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

     George Pappas

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

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

     George Pappas

104. 
     Learning Q-network for Active Information Acquisition

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

     George Pappas

105. 
     Maximum Information Bounds for Planning Active Sensing Trajectories

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

     George Pappas

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

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

     George Pappas

107. 
     Assumed Density Filtering Q-learning

     Article • August 2019, International Joint Conferences on Artificial Intelligence

     George Pappas

108. 
     Motion Planning with Secrecy

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

     George Pappas

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

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

     George Pappas

110. 
     Optimal Reset Strategies for Mitigating Malware Epidemics

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

     George Pappas

111. 
     Resilient Structural Stabilizability of Undirected Networks

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

     George Pappas

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

     Article • June 2019, Robotics: Science and Systems Foundation

     George Pappas

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

114. 
     A cybersecurity strategy for Industry 4.0

     Article • May 2019, SPIE

     George Pappas

115. 
     Verisig

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

     George Pappas

116. 
     Encrypted LQG using labeled homomorphic encryption

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

     George Pappas

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

118. 
     Learning in Wireless Control Systems Over Nonstationary Channels

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

     George Pappas

119. 
     Minimal Edge Addition for Network Controllability

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

     George Pappas

120. 
     Continuous Estimation Using Context-Dependent Discrete Measurements

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

     George Pappas

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

122. 
     Resilient Active Target Tracking With Multiple Robots

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

     George Pappas

123. 
     Tuning Communication Latency for Distributed Model Predictive Control

     Article • IFAC-PapersOnLine, January 2019, Elsevier

     George Pappas

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

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

     George Pappas

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

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

     George Pappas

126. 
     An Information Matrix Approach for State Secrecy

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

     George Pappas

127. 
     Cloud-Based MPC with Encrypted Data

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

     George Pappas

128. 
     Resilient Monotone Sequential Maximization

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

     George Pappas

129. 
     Sample Complexity of Networked Control Systems Over Unknown Channels

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

     George Pappas

130. 
     Structural Target Controllability of Undirected Networks

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

     George Pappas

131. 
     Resilient Active Information Gathering with Mobile Robots

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

     George Pappas

132. 
     Diffusing Private Data Over Networks

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

     George Pappas

133. 
     SMC: Satisfiability Modulo Convex Programming

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

     George Pappas

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

     Article • Automatica, July 2018, Elsevier

     George Pappas

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

     Article • July 2018, International Joint Conferences on Artificial Intelligence

     George Pappas

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

137. 
     Approximating Explicit Model Predictive Control Using Constrained Neural Networks

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

     George Pappas

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

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

     George Pappas

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

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

     George Pappas

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

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

     George Pappas

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

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

     George Pappas

142. 
     Sensing-Constrained LQG Control

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

     George Pappas

143. 
     State-Secrecy Codes for Stable Systems

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

     George Pappas

144. 
     Privacy in Control and Dynamical Systems

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

     George Pappas

145. 
     Random access design for wireless control systems

     Article • Automatica, May 2018, Elsevier

     George Pappas

146. 
     Anytime Planning for Decentralized Multirobot Active Information Gathering

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

     George Pappas

147. 
     Dynamic Integration of Heterogeneous Transportation Modes under Disruptive Events

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

     George Pappas

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

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

     George Pappas

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

150. 
     Spectral mapping of brain functional connectivity from diffusion imaging

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

     George Pappas

151. 
     Minimal Reachability is Hard To Approximate

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

     George Pappas

152. 
     Battery management for control systems with energy harvesting sensors

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

     George Pappas

153. 
     Differential privacy for dynamical sensitive data

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

     George Pappas

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

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

     George Pappas

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

156. 
     Network design for controllability metrics

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

     George Pappas

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

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

     George Pappas

158. 
     Resilient monotone submodular function maximization

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

     George Pappas

159. 
     State estimation codes for perfect secrecy

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

     George Pappas

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

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

     George Pappas

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

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

     George Pappas

162. 
     Privacy preserving cloud-based quadratic optimization

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

     George Pappas

163. 
     State Estimation with Secrecy against Eavesdroppers

     Article • IFAC-PapersOnLine, July 2017, Elsevier

     George Pappas

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

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

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

     George Pappas

166. 
     Inference, prediction and control of networked epidemics

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

     George Pappas

167. 
     Probabilistic data association for semantic SLAM

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

     George Pappas

168. 
     Quantification on the efficiency gain of automated ridesharing services

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

     George Pappas

169. 
     Scheduling nonlinear sensors for stochastic process estimation

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

     George Pappas

170. 
     Spectral control of cortical activity

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

     George Pappas

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

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

     George Pappas

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

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

     George Pappas

173. 
     Wireless Control for the IoT

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

     George Pappas

174. 
     SMC

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

     George Pappas

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

176. 
     Resilient Flocking for Mobile Robot Teams

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

     George Pappas

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

     Article • Automatica, April 2017, Elsevier

     George Pappas

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

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

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

181. 
     Gradual Release of Sensitive Data under Differential Privacy

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

     George Pappas

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

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

     George Pappas

183. 
     Differentially Private Distributed Constrained Optimization

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

     George Pappas

184. 
     Approximation of network linear operators using similarity shift filters

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

     George Pappas

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

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

     George Pappas

186. 
     Decentralized observability with limited communication between sensors

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

     George Pappas

187. 
     Differential privacy in control and network systems

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

     George Pappas

188. 
     Location-dependent privacy

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

     George Pappas

189. 
     Multi-owner multi-user privacy

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

     George Pappas

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

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

     George Pappas

191. 
     Privacy-aware quadratic optimization using partially homomorphic encryption

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

     George Pappas

192. 
     Scalable lazy SMT-based motion planning

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

     George Pappas

193. 
     Self-triggered time-varying convex optimization

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

     George Pappas

194. 
     State-based communication design for wireless control systems

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

     George Pappas

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

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

     George Pappas

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

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

     George Pappas

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

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

     George Pappas

198. 
     Diffusing private data over networks

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

     George Pappas

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

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

     George Pappas

200. 
     Multi-agent coordination with asynchronous cloud access

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

     George Pappas

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

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

     George Pappas

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

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

     George Pappas

203. 
     Optimal temporal logic planning in probabilistic semantic maps

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

     George Pappas

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

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

     Dr Allan F. Simpao, George Pappas

205. 
     Control-Aware Random Access Communication

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

     George Pappas

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

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

     George Pappas

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

208. 
     ATPC

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

     George Pappas

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

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

211. 
     Periodic event-triggered average consensus over directed graphs

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

     Dr XIANGYU Meng, George Pappas

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

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

     George Pappas

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

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

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

     George Pappas

215. 
     Control with random access wireless sensors

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

     George Pappas

216. 
     Distributed leader selection

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

     George Pappas

217. 
     Minimal reachability problems

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

     George Pappas

218. 
     Minimum number of probes for brain dynamics observability

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

     George Pappas

219. 
     Opportunistic Control Over Shared Wireless Channels

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

     George Pappas

220. 
     Robust taxi dispatch under model uncertainties

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

     George Pappas

221. 
     Self-triggered pursuit of a single evader

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

     George Pappas

222. 
     Static output feedback: On essential feasible information patterns

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

     George Pappas

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

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

     George Pappas

224. 
     Localization from semantic observations via the matrix permanent

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

     George Pappas

225. 
     Automatic verification of linear controller software

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

     George Pappas

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

227. 
     Robust estimation using context-aware filtering

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

     George Pappas

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

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

     George Pappas

229. 
     Distributed resource allocation for control of spreading processes

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

     George Pappas

230. 
     Minimal actuator placement with optimal control constraints

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

     George Pappas

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

232. 
     Optimal resource allocation for competing epidemics over arbitrary networks

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

     George Pappas

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

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

     George Pappas

234. 
     Value of forecasts in planning under uncertainty

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

     George Pappas

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

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

     George Pappas

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

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

     George Pappas

237. 
     Smart building

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

     George Pappas

238. 
     Decentralized Channel Access for Wireless Control Systems

     Article • IFAC-PapersOnLine, January 2015, Elsevier

     George Pappas

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

240. 
     Sparsest Minimum Multiple-Cost Structural Leader Selection

     Article • IFAC-PapersOnLine, January 2015, Elsevier

     George Pappas

241. 
     Joint estimation and localization in sensor networks

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

     George Pappas

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

243. 
     Coding sensor outputs for injection attacks detection

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

     George Pappas

244. 
     Computation of privacy-preserving prices in smart grids

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

     George Pappas

245. 
     Controllability and fraction of leaders in infinite networks

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

     George Pappas

246. 
     Differentially private convex optimization with piecewise affine objectives

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

     George Pappas

247. 
     Opportunistic sensor scheduling in wireless control systems

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

     George Pappas

248. 
     Stability analysis of generalized epidemic models over directed networks

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

     George Pappas

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

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

     George Pappas

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

251. 
     Attack resilient state estimation for autonomous robotic systems

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

     George Pappas

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

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

     George Pappas

253. 
     Differentially private distributed protocol for electric vehicle charging

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

     George Pappas

254. 
     Semantic Localization Via the Matrix Permanent

     Article • July 2014, Robotics: Science and Systems Foundation

     George Pappas

255. 
     The Swarm at the Edge of the Cloud

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

     George Pappas

256. 
     Optimal Power Management in Wireless Control Systems

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

     George Pappas

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

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

     George Pappas

258. 
     Opportunistic scheduling of control tasks over shared wireless channels

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

     George Pappas

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

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

     George Pappas

260. 
     Robustness of attack-resilient state estimators

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

     George Pappas

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

262. 
     Differentially Private Filtering

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

     George Pappas

263. 
     Active Deformable Part Models Inference

     Article • January 2014, Springer Science + Business Media

     George Pappas

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

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

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

     George Pappas

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

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

     George Pappas

267. 
     Stabilizability over deterministic relay networks

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

     George Pappas

268. 
     Stochastic game approach for replay attack detection

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

     George Pappas

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

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

     George Pappas

270. 
     Hypothesis testing framework for active object detection

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

     George Pappas

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

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

     George Pappas

272. 
     Privacy-preserving release of aggregate dynamic models

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

     George Pappas

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

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

     George Pappas

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

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

     George Pappas

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

276. 
     Adaptive Deployment of Mobile Robotic Networks

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

     George Pappas

277. 
     Network Integrity in Mobile Robotic Networks

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

     George Pappas

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

     Article • January 2013, Springer Science + Business Media

     George Pappas

279. 
     Differentially private filtering

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

     George Pappas

280. 
     Green scheduling for radiant systems in buildings

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

     George Pappas

281. 
     On the existence of compositional barrier certificates

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

     George Pappas

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

     Article • Automatica, November 2012, Elsevier

     George Pappas

283. 
     Differentially private Kalman filtering

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

     George Pappas

284. 
     Stochastic Source Seeking by Mobile Robots

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

     George Pappas

285. 
     Time-Triggered Implementations of Dynamic Controllers

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

     George Pappas

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

287. 
     Sequential composition of robust controller specifications

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

     George Pappas

288. 
     Stochastic source seeking in complex environments

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

     George Pappas

289. 
     Compositional safety analysis using barrier certificates

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

     George Pappas

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

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

     George Pappas

291. 
     Closing the loop

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

     George Pappas

292. 
     Bacteria-Powered Microrobots

     Article • January 2012, Elsevier

     George Pappas

293. 
     Stochastic Models and Control of Bacterial Bioactuators and Biomicrorobots

     Article • January 2012, Elsevier

     George Pappas

294. 
     Green scheduling of control systems for peak demand reduction

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

     George Pappas

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

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

     George Pappas

296. 
     Topological conditions for wireless control networks

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

     George Pappas

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

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

     George Pappas

298. 
     Network synthesis for dynamical system stabilization

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

     George Pappas

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

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

     George Pappas

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

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

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

303. 
     Graph-theoretic connectivity control of mobile robot networks

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

     George Pappas

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

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

     George Pappas

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

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

     George Pappas

306. 
     Inferring stable genetic networks from steady-state data

     Article • Automatica, June 2011, Elsevier

     George Pappas

307. 
     Wireless manipulation of single cells using magnetic microtransporters

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

     George Pappas

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

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

     George Pappas

309. 
     Resource constrained LQR control under fast sampling

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

     George Pappas

310. 
     Electrokinetic and optical control of bacterial microrobots

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

     George Pappas

311. 
     Modeling, control and experimental characterization of microbiorobots

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

     George Pappas

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

     Article • European Journal of Control, January 2011, Elsevier

     George Pappas

313. 
     Mobility & routing control in networks of robots

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

     George Pappas

314. 
     Nonholonomic source seeking in switching random fields

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

     George Pappas

315. 
     Sensor-based robot deployment algorithms

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

     George Pappas

316. 
     The wireless control network: Monitoring for malicious behavior

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

     George Pappas

317. 
     The Wireless Control Network: Synthesis and robustness

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

     George Pappas

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

319. 
     A duality approach to path planning for multiple robots

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

     George Pappas

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

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

     George Pappas

321. 
     Biosensing and actuation for microbiorobots

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

     George Pappas

322. 
     Robustness analysis for the certification of digital controller implementations

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

     George Pappas

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

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

     George Pappas

324. 
     Editorial

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

     George Pappas

325. 
     Single cell manipulation using ferromagnetic composite microtransporters

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

     George Pappas

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

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

     George Pappas

327. 
     Resource allocation for signal detection with active sensors

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

     George Pappas

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

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

     George Pappas

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

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

     George Pappas

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

     Article • Theoretical Computer Science, September 2009, Elsevier

     George Pappas

331. 
     Approximations of Stochastic Hybrid Systems

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

     George Pappas

332. 
     Genetic network identification using convex programming

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

     George Pappas

333. 
     Harnessing bacterial power in microscale actuation

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

     George Pappas

334. 
     Multi-vehicle path planning in dynamically changing environments

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

     George Pappas

335. 
     Modeling and Analysis of Multi-hop Control Networks

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

     George Pappas

336. 
     Approximate equivalence and synchronization of metric transition systems

     Article • Systems & Control Letters, February 2009, Elsevier

     George Pappas

337. 
     Hierarchical control system design using approximate simulation

     Article • Automatica, February 2009, Elsevier

     George Pappas

338. 
     Temporal logic motion planning for dynamic robots

     Article • Automatica, February 2009, Elsevier

     George Pappas

339. 
     Hybrid Control and Transport Using Bacteria-Driven Microbiorobots

     Article • January 2009, ASME International

     George Pappas

340. 
     A distributed dynamical scheme for fastest mixing Markov chains

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

     George Pappas

341. 
     Experimental Robotics

     Article • January 2009, Springer Science + Business Media

     George Pappas

342. 
     MTL robust testing and verification for LPV systems

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

     George Pappas

343. 
     Trajectory Based Verification Using Local Finite-Time Invariance

     Article • January 2009, Springer Science + Business Media

     George Pappas

344. 
     Distributed Connectivity Control of Mobile Networks

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

     George Pappas

345. 
     Metabolic networks analysis using convex optimization

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

     George Pappas

346. 
     A dynamical systems approach to weighted graph matching

     Article • Automatica, November 2008, Elsevier

     George Pappas

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

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

     George Pappas

348. 
     Recycling controllers

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

     George Pappas

349. 
     Approximate reduction of dynamic systems

     Article • Systems & Control Letters, July 2008, Elsevier

     George Pappas

350. 
     Distributed topology control of dynamic networks

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

     George Pappas

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

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

     George Pappas

352. 
     Identification of stable genetic networks using convex programming

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

     George Pappas

353. 
     Distributed multi-robot task assignment and formation control

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

     George Pappas

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

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

     George Pappas

355. 
     Courteous Cars

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

     George Pappas

356. 
     Dynamic Assignment in Distributed Motion Planning With Local Coordination

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

     George Pappas

357. 
     Galvanotactic Control of Self-Powered Microstructures

     Article • January 2008, ASME International

     George Pappas

358. 
     A distributed auction algorithm for the assignment problem

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

     George Pappas

359. 
     Probabilistic testing for stochastic hybrid systems

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

     George Pappas

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

361. 
     Translating Structured English to Robot Controllers

     Article • Advanced Robotics, January 2008, Taylor & Francis

     George Pappas

362. 
     Introduction

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

     George Pappas

363. 
     Approximate Simulation Relations for Hybrid Systems

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

     George Pappas

364. 
     From structured english to robot motion

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

     George Pappas

365. 
     Valet parking without a valet

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

     George Pappas

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

367. 
     Approximate bisimulation relations for constrained linear systems

     Article • Automatica, August 2007, Elsevier

     George Pappas

368. 
     Potential Fields for Maintaining Connectivity of Mobile Networks

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

     George Pappas

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

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

     George Pappas

370. 
     Cooperative coverage using receding horizon control

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

     George Pappas

371. 
     Dynamic Assignment in Distributed Motion Planning with Limited Information

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

     George Pappas

372. 
     Approximation Metrics for Discrete and Continuous Systems

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

     George Pappas

373. 
     Flocking in Fixed and Switching Networks

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

     George Pappas

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

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

     George Pappas

375. 
     Decidability of Motion Planning with Differential Constraints

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

     George Pappas

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

377. 
     Approximate hierarchies of linear control systems

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

     George Pappas

378. 
     Approximate timed abstractions of hybrid automata

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

     George Pappas

379. 
     Distributed connectivity control of mobile networks

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

     George Pappas

380. 
     Distributed formation control with permutation symmetries

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

     George Pappas

381. 
     Flocking while preserving network connectivity

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

     George Pappas

382. 
     Hybrid model predictive control of induction of Escherichia coli

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

     George Pappas

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

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

     George Pappas

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

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

     George Pappas

385. 
     Approximate equivalence and approximate synchronization of metric transition systems

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

     George Pappas

386. 
     Approximate Reduction of Dynamical Systems

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

     George Pappas

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

     Article • October 2006, CrossRef Test Account

     George Pappas

388. 
     Cooperative air and ground surveillance

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

     George Pappas

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

390. 
     High-Confidence Medical Device Software and Systems

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

     George Pappas

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

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

     George Pappas

392. 
     A Dynamical Systems Approach to Weighted Graph Matching

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

     George Pappas

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

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

395. 
     Hierarchical Control using Approximate Simulation Relations

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

     George Pappas

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

     Article • January 2006, Springer Science + Business Media

     George Pappas

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

     Article • January 2006, Springer Science + Business Media

     George Pappas

398. 
     Temporal Logic Verification Using Simulation

     Article • January 2006, Springer Science + Business Media

     George Pappas

399. 
     Time-triggered implementations of dynamic controllers

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

     George Pappas

400. 
     Translating Temporal Logic to Controller Specifications

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

     George Pappas

401. 
     Verification Using Simulation

     Article • January 2006, Springer Science + Business Media

     George Pappas

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

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

     Article • Theoretical Computer Science, September 2005, Elsevier

     George Pappas

404. 
     Motion feasibility of multi-agent formations

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

     George Pappas

405. 
     Hierarchical trajectory refinement for a class of nonlinear systems

     Article • Automatica, April 2005, Elsevier

     George Pappas

406. 
     Quotients of Fully Nonlinear Control Systems

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

     George Pappas

407. 
     Leader-to-Formation Stability

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

     George Pappas

408. 
     Optimal paths in weighted timed automata

     Article • Theoretical Computer Science, June 2004, Elsevier

     George Pappas

409. 
     Bisimilar control affine systems

     Article • Systems & Control Letters, May 2004, Elsevier

     George Pappas

410. 
     Compositional Abstractions of Hybrid Control Systems

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

     George Pappas

411. 
     Abstractions of Hamiltonian control systems

     Article • Automatica, December 2003, Elsevier

     George Pappas

412. 
     From nonlinear to hamiltonian via feedback

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

     George Pappas

413. 
     Bisimulation Relations for Dynamical and Control Systems

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

     George Pappas

414. 
     Hierarchical modeling and analysis of embedded systems

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

     George Pappas

415. 
     A Framework and Architecture for Multi-Robot Coordination

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

     George Pappas

416. 
     Consistent abstractions of affine control systems

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

     George Pappas

417. 
     Composing Abstractions of Hybrid Systems

     Article • January 2002, Springer Science + Business Media

     George Pappas

418. 
     Modeling and analyzing biomolecular networks

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

     George Pappas

419. 
     Symbolic Reachability Computation for Families of Linear Vector Fields

     Article • Journal of Symbolic Computation, September 2001, Elsevier

     George Pappas

420. 
     Cyclic directed formations of multi-agent systems

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

     George Pappas

421. 
     Greedy control for hybrid pursuit games

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

     George Pappas

422. 
     Hybrid abstractions: A search and rescue case study

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

     George Pappas

423. 
     Accurate Event Detection for Simulating Hybrid Systems

     Article • January 2001, Springer Science + Business Media

     George Pappas

424. 
     Feasible formations of multi-agent systems

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

     George Pappas

425. 
     Hierarchical Hybrid Modeling of Embedded Systems

     Article • January 2001, Springer Science + Business Media

     George Pappas

426. 
     Hybrid Abstractions that Preserve Timed Languages

     Article • January 2001, Springer Science + Business Media

     George Pappas

427. 
     Hybrid Modeling and Simulation of Biomolecular Networks

     Article • January 2001, Springer Science + Business Media

     George Pappas

428. 
     Hybrid Systems Applications: An Oxymoron?

     Article • January 2001, Springer Science + Business Media

     George Pappas

429. 
     Mode Switching Synthesis for Reachability Specifications

     Article • January 2001, Springer Science + Business Media

     George Pappas

430. 
     Optimal Paths in Weighted Timed Automata

     Article • January 2001, Springer Science + Business Media

     George Pappas

431. 
     Semi-de1cidable Synthesis for Triangular Hybrid Systems

     Article • January 2001, Springer Science + Business Media

     George Pappas

432. 
     Discrete abstractions of hybrid systems

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

     George Pappas

433. 
     Decidable Controller Synthesis for Classes of Linear Systems

     Article • January 2000, Springer Science + Business Media

     George Pappas

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

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

     George Pappas

435. 
     A New Class of Decidable Hybrid Systems

     Article • January 1999, Springer Science + Business Media

     George Pappas

436. 
     Hybrid Systems with Finite Bisimulations

     Article • January 1999, Springer Science + Business Media

     George Pappas

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

438. 
     Subanalytic stratifications and bisimulations

     Article • January 1998, Springer Science + Business Media

     George Pappas

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

     Article • January 1998, Springer Science + Business Media

     George Pappas

440. 
     Hybrid control models of next generation air traffic management

     Article • January 1997, Springer Science + Business Media

     George Pappas

441. 
     Towards continuous abstractions of dynamical and control systems

     Article • January 1997, Springer Science + Business Media

     George Pappas

442. 
     Stabilization of non-holonomic vehicles under kinematic constraints

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

     George Pappas

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

     Article • Springer Science + Business Media

     George Pappas

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

     Article • Springer Science + Business Media

     George Pappas

445. 
     Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications

     Article • Springer Science + Business Media

     George Pappas

446. 
     Robust Sampling for MITL Specifications

     Article • Springer Science + Business Media

     George Pappas

447. 
     Approximate Bisimulations for Constrained Linear Systems

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

448. 
     Approximate Bisimulations for Nonlinear Dynamical Systems

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

449. 
     Bounded Model Checking of Hybrid Dynamical Systems

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

450. 
     Controlling Connectivity of Dynamic Graphs

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

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

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

452. 
     Information Driven Coordinated Air-Ground Proactive Sensing

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

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

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

454. 
     Temporal Logic Motion Planning for Mobile Robots

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

455. 
     Vision-based Localization of Leader-Follower Formations

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

456. 
     Hierarchical trajectory generation for a class of nonlinear systems

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

457. 
     Discrete synchronization of hybrid systems

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

458. 
     Flying hot potatoes [air traffic management]

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

459. 
     From nonlinear to Hamiltonian via feedback

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

460. 
     Compositional abstractions of hybrid control systems

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas

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

462. 
     Consistent hierarchies of nonlinear abstractions

     Article • Institute of Electrical & Electronics Engineers (IEEE)

     George Pappas