Contact

All Stories

  1. Safe MPC Alignment With Human Directional Feedback

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

    George Pappas

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

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

  4. Modeling Gaia photometry signals of dark halos

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

    George Pappas

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

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

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

  8. Policy Gradient Bounds in Multitask LQR

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

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

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

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

    George Pappas

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

  21. Safe Planning in Dynamic Environments Using Conformal Prediction

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

  24. Multi-Robot Mission Planning in Dynamic Semantic Environments

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

    George Pappas

  25. Socially Fair Coverage Control

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

    George Pappas

  26. Conformal Prediction for STL Runtime Verification

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

    George Pappas

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

  28. Risk of Stochastic Systems for Temporal Logic Specifications

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

    George Pappas

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

  30. Toward Certified Robustness Against Real-World Distribution Shifts

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

    George Pappas

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

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

  33. Learning Switching Port-Hamiltonian Systems with Uncertainty Quantification

    Article • IFAC-PapersOnLine, January 2023, Elsevier

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

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

  39. ODE Discretization Schemes as Optimization Algorithms

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

    George Pappas

  40. Secure state estimation over Markov wireless communication channels

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

    George Pappas

  41. Risk verification of stochastic systems with neural network controllers

    Article • Artificial Intelligence, December 2022, Elsevier

    George Pappas

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

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

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

    George Pappas

  44. Distributed Attack-Robust Submodular Maximization for Multirobot Planning

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

    George Pappas

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

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

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

    George Pappas

  47. Foreword

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

    George Pappas

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

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

    George Pappas

  49. Temporal Robustness of Stochastic Signals

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

    George Pappas

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

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

    George Pappas

  51. Private Weighted Sum Aggregation

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

    George Pappas

  52. Resilient Active Information Acquisition With Teams of Robots

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

    George Pappas

  53. Robust and Adaptive Sequential Submodular Optimization

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

    George Pappas

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

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

  56. Optimal Multi-robot Perimeter Defense Using Flow Networks

    Article • January 2022, Springer Science + Business Media

    George Pappas

  57. An Introduction to Neural Network Analysis via Semidefinite Programming

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

    George Pappas

  58. Encrypted Distributed Lasso for Sparse Data Predictive Control

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

    George Pappas

  59. Federated Learning with Incrementally Aggregated Gradients

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

    George Pappas

  60. Learning Region of Attraction for Nonlinear Systems

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

    George Pappas

  61. Linear Systems can be Hard to Learn

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

    George Pappas

  62. Online Federated Learning

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

    George Pappas

  63. Robust Motion Planning in the Presence of Estimation Uncertainty

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

    George Pappas

  64. STL Robustness Risk over Discrete-Time Stochastic Processes

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

    George Pappas

  65. Time-Robust Control for STL Specifications

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

    George Pappas

  66. On the Structural Target Controllability of Undirected Networks

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

    George Pappas

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

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

    George Pappas

  68. Scalable Reinforcement Learning Policies for Multi-Agent Control

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

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

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

  73. Deep Reinforcement Learning for Active Target Tracking

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

  76. Scalable Active Information Acquisition for Multi-Robot Systems

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

    George Pappas

  77. Source Seeking in Unknown Environments with Convex Obstacles

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

    George Pappas

  78. Learning lyapunov functions for hybrid systems

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

    George Pappas

  79. Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption

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

    George Pappas

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

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

    George Pappas

  81. Fair Robust Assignment Using Redundancy

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

    George Pappas

  82. LQG Control and Sensing Co-Design

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

    George Pappas

  83. Learning Lyapunov Functions for Hybrid Systems

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

    George Pappas

  84. Latency-Reliability Tradeoffs for State Estimation

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

    George Pappas

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

    Article • Automatica, March 2021, Elsevier

    George Pappas

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

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

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

    George Pappas

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

  89. Approximate Supermodularity of Kalman Filter Sensor Selection

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

    George Pappas

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

    Article • January 2021, Springer Science + Business Media

    George Pappas

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

    Article • December 2020, Cold Spring Harbor Laboratory Press

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

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

  95. Risk-Constrained Linear-Quadratic Regulators

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

    George Pappas

  96. Towards Private Data-driven Control

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

    George Pappas

  97. Adaptive Partitioning for Coordinated Multi-agent Perimeter Defense

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

    George Pappas

  98. Network Design for Controllability Metrics

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

    George Pappas

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

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

  101. State-Secrecy Codes for Networked Linear Systems

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

    George Pappas

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

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

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

    George Pappas

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

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

    George Pappas

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

    Article • Automatica, May 2020, Elsevier

    George Pappas

  106. Information Theoretic Active Exploration in Signed Distance Fields

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

    George Pappas

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

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

    George Pappas

  108. Case study

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

    George Pappas

  109. Model-based design for seizure control by stimulation

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

    George Pappas

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

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

  112. Learning to Control over Unknown Wireless Channels

    Article • IFAC-PapersOnLine, January 2020, Elsevier

    George Pappas

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

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

    Article • Network Neuroscience, January 2020, The MIT Press

    George Pappas

  115. Non-Cooperative Distributed MPC with Iterative Learning

    Article • IFAC-PapersOnLine, January 2020, Elsevier

    George Pappas

  116. Private Weighted Sum Aggregation for Distributed Control Systems

    Article • IFAC-PapersOnLine, January 2020, Elsevier

    George Pappas

  117. Encrypted Cooperative Control Revisited

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

    George Pappas

  118. Finite Sample Analysis of Stochastic System Identification

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

  121. Learning Q-network for Active Information Acquisition

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

    George Pappas

  122. Maximum Information Bounds for Planning Active Sensing Trajectories

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

    George Pappas

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

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

    George Pappas

  124. Assumed Density Filtering Q-learning

    Article • August 2019, International Joint Conferences on Artificial Intelligence

    George Pappas

  125. Motion Planning with Secrecy

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

    George Pappas

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

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

    George Pappas

  127. Optimal Reset Strategies for Mitigating Malware Epidemics

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

    George Pappas

  128. Resilient Structural Stabilizability of Undirected Networks

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

    George Pappas

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

    Article • June 2019, Robotics: Science and Systems Foundation

    George Pappas

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

  131. A cybersecurity strategy for Industry 4.0

    Article • May 2019, SPIE

    George Pappas

  132. Verisig

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

    George Pappas

  133. Encrypted LQG using labeled homomorphic encryption

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

    George Pappas

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

  135. Learning in Wireless Control Systems Over Nonstationary Channels

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

    George Pappas

  136. Minimal Edge Addition for Network Controllability

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

    George Pappas

  137. Continuous Estimation Using Context-Dependent Discrete Measurements

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

    George Pappas

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

  139. Resilient Active Target Tracking With Multiple Robots

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

    George Pappas

  140. Tuning Communication Latency for Distributed Model Predictive Control

    Article • IFAC-PapersOnLine, January 2019, Elsevier

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

  143. An Information Matrix Approach for State Secrecy

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

    George Pappas

  144. Cloud-Based MPC with Encrypted Data

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

    George Pappas

  145. Resilient Monotone Sequential Maximization

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

    George Pappas

  146. Sample Complexity of Networked Control Systems Over Unknown Channels

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

    George Pappas

  147. Structural Target Controllability of Undirected Networks

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

    George Pappas

  148. Resilient Active Information Gathering with Mobile Robots

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

    George Pappas

  149. Diffusing Private Data Over Networks

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

    George Pappas

  150. SMC: Satisfiability Modulo Convex Programming

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

    George Pappas

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

    Article • Automatica, July 2018, Elsevier

    George Pappas

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

    Article • July 2018, International Joint Conferences on Artificial Intelligence

    George Pappas

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

  154. Approximating Explicit Model Predictive Control Using Constrained Neural Networks

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

  159. Sensing-Constrained LQG Control

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

    George Pappas

  160. State-Secrecy Codes for Stable Systems

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

    George Pappas

  161. Privacy in Control and Dynamical Systems

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

    George Pappas

  162. Random access design for wireless control systems

    Article • Automatica, May 2018, Elsevier

    George Pappas

  163. Anytime Planning for Decentralized Multirobot Active Information Gathering

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

    George Pappas

  164. Dynamic Integration of Heterogeneous Transportation Modes under Disruptive Events

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

    George Pappas

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

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

    George Pappas

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

  167. Spectral mapping of brain functional connectivity from diffusion imaging

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

    George Pappas

  168. Minimal Reachability is Hard To Approximate

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

    George Pappas

  169. Battery management for control systems with energy harvesting sensors

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

    George Pappas

  170. Differential privacy for dynamical sensitive data

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

    George Pappas

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

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

    George Pappas

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

  173. Network design for controllability metrics

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

    George Pappas

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

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

    George Pappas

  175. Resilient monotone submodular function maximization

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

    George Pappas

  176. State estimation codes for perfect secrecy

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

  179. Privacy preserving cloud-based quadratic optimization

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

    George Pappas

  180. State Estimation with Secrecy against Eavesdroppers

    Article • IFAC-PapersOnLine, July 2017, Elsevier

    George Pappas

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

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

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

    George Pappas

  183. Inference, prediction and control of networked epidemics

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

    George Pappas

  184. Probabilistic data association for semantic SLAM

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

    George Pappas

  185. Quantification on the efficiency gain of automated ridesharing services

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

    George Pappas

  186. Scheduling nonlinear sensors for stochastic process estimation

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

    George Pappas

  187. Spectral control of cortical activity

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

  190. Wireless Control for the IoT

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

    George Pappas

  191. SMC

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

    George Pappas

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

  193. Resilient Flocking for Mobile Robot Teams

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

    George Pappas

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

    Article • Automatica, April 2017, Elsevier

    George Pappas

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

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

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

  198. Gradual Release of Sensitive Data under Differential Privacy

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

    George Pappas

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

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

    George Pappas

  200. Differentially Private Distributed Constrained Optimization

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

    George Pappas

  201. Approximation of network linear operators using similarity shift filters

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

    George Pappas

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

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

    George Pappas

  203. Decentralized observability with limited communication between sensors

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

    George Pappas

  204. Differential privacy in control and network systems

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

    George Pappas

  205. Location-dependent privacy

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

    George Pappas

  206. Multi-owner multi-user privacy

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

    George Pappas

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

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

    George Pappas

  208. Privacy-aware quadratic optimization using partially homomorphic encryption

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

    George Pappas

  209. Scalable lazy SMT-based motion planning

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

    George Pappas

  210. Self-triggered time-varying convex optimization

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

    George Pappas

  211. State-based communication design for wireless control systems

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

  215. Diffusing private data over networks

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

    George Pappas

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

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

    George Pappas

  217. Multi-agent coordination with asynchronous cloud access

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

  220. Optimal temporal logic planning in probabilistic semantic maps

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

    George Pappas

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

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

    Dr Allan F. Simpao, George Pappas

  222. Control-Aware Random Access Communication

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

    George Pappas

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

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

    George Pappas

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

  225. ATPC

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

    George Pappas

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

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

  228. Periodic event-triggered average consensus over directed graphs

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

    Dr XIANGYU Meng, George Pappas

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

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

    George Pappas

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

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

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

    George Pappas

  232. Control with random access wireless sensors

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

    George Pappas

  233. Distributed leader selection

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

    George Pappas

  234. Minimal reachability problems

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

    George Pappas

  235. Minimum number of probes for brain dynamics observability

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

    George Pappas

  236. Opportunistic Control Over Shared Wireless Channels

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

    George Pappas

  237. Robust taxi dispatch under model uncertainties

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

    George Pappas

  238. Self-triggered pursuit of a single evader

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

    George Pappas

  239. Static output feedback: On essential feasible information patterns

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

    George Pappas

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

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

    George Pappas

  241. Localization from semantic observations via the matrix permanent

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

    George Pappas

  242. Automatic verification of linear controller software

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

    George Pappas

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

  244. Robust estimation using context-aware filtering

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

    George Pappas

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

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

    George Pappas

  246. Distributed resource allocation for control of spreading processes

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

    George Pappas

  247. Minimal actuator placement with optimal control constraints

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

    George Pappas

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

  249. Optimal resource allocation for competing epidemics over arbitrary networks

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

    George Pappas

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

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

    George Pappas

  251. Value of forecasts in planning under uncertainty

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

  254. Smart building

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

    George Pappas

  255. Decentralized Channel Access for Wireless Control Systems

    Article • IFAC-PapersOnLine, January 2015, Elsevier

    George Pappas

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

  257. Sparsest Minimum Multiple-Cost Structural Leader Selection

    Article • IFAC-PapersOnLine, January 2015, Elsevier

    George Pappas

  258. Joint estimation and localization in sensor networks

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

    George Pappas

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

  260. Coding sensor outputs for injection attacks detection

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

    George Pappas

  261. Computation of privacy-preserving prices in smart grids

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

    George Pappas

  262. Controllability and fraction of leaders in infinite networks

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

    George Pappas

  263. Differentially private convex optimization with piecewise affine objectives

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

    George Pappas

  264. Opportunistic sensor scheduling in wireless control systems

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

    George Pappas

  265. Stability analysis of generalized epidemic models over directed networks

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

    George Pappas

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

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

    George Pappas

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

  268. Attack resilient state estimation for autonomous robotic systems

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

    George Pappas

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

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

    George Pappas

  270. Differentially private distributed protocol for electric vehicle charging

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

    George Pappas

  271. Semantic Localization Via the Matrix Permanent

    Article • July 2014, Robotics: Science and Systems Foundation

    George Pappas

  272. The Swarm at the Edge of the Cloud

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

    George Pappas

  273. Optimal Power Management in Wireless Control Systems

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

    George Pappas

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

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

    George Pappas

  275. Opportunistic scheduling of control tasks over shared wireless channels

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

    George Pappas

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

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

    George Pappas

  277. Robustness of attack-resilient state estimators

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

    George Pappas

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

  279. Differentially Private Filtering

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

    George Pappas

  280. Active Deformable Part Models Inference

    Article • January 2014, Springer Science + Business Media

    George Pappas

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

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

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

    George Pappas

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

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

    George Pappas

  284. Stabilizability over deterministic relay networks

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

    George Pappas

  285. Stochastic game approach for replay attack detection

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

    George Pappas

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

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

    George Pappas

  287. Hypothesis testing framework for active object detection

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

    George Pappas

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

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

    George Pappas

  289. Privacy-preserving release of aggregate dynamic models

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

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

  293. Adaptive Deployment of Mobile Robotic Networks

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

    George Pappas

  294. Network Integrity in Mobile Robotic Networks

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

    George Pappas

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

    Article • January 2013, Springer Science + Business Media

    George Pappas

  296. Differentially private filtering

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

    George Pappas

  297. Green scheduling for radiant systems in buildings

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

    George Pappas

  298. On the existence of compositional barrier certificates

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

    George Pappas

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

    Article • Automatica, November 2012, Elsevier

    George Pappas

  300. Differentially private Kalman filtering

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

    George Pappas

  301. Stochastic Source Seeking by Mobile Robots

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

    George Pappas

  302. Time-Triggered Implementations of Dynamic Controllers

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

    George Pappas

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

  304. Sequential composition of robust controller specifications

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

    George Pappas

  305. Stochastic source seeking in complex environments

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

    George Pappas

  306. Compositional safety analysis using barrier certificates

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

    George Pappas

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

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

    George Pappas

  308. Closing the loop

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

    George Pappas

  309. Bacteria-Powered Microrobots

    Article • January 2012, Elsevier

    George Pappas

  310. Stochastic Models and Control of Bacterial Bioactuators and Biomicrorobots

    Article • January 2012, Elsevier

    George Pappas

  311. Green scheduling of control systems for peak demand reduction

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

    George Pappas

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

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

    George Pappas

  313. Topological conditions for wireless control networks

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

    George Pappas

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

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

    George Pappas

  315. Network synthesis for dynamical system stabilization

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

    George Pappas

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

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

    George Pappas

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

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

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

  320. Graph-theoretic connectivity control of mobile robot networks

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

  323. Inferring stable genetic networks from steady-state data

    Article • Automatica, June 2011, Elsevier

    George Pappas

  324. Wireless manipulation of single cells using magnetic microtransporters

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

    George Pappas

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

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

    George Pappas

  326. Resource constrained LQR control under fast sampling

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

    George Pappas

  327. Electrokinetic and optical control of bacterial microrobots

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

    George Pappas

  328. Modeling, control and experimental characterization of microbiorobots

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

    George Pappas

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

    Article • European Journal of Control, January 2011, Elsevier

    George Pappas

  330. Mobility & routing control in networks of robots

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

    George Pappas

  331. Nonholonomic source seeking in switching random fields

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

    George Pappas

  332. Sensor-based robot deployment algorithms

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

    George Pappas

  333. The wireless control network: Monitoring for malicious behavior

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

    George Pappas

  334. The Wireless Control Network: Synthesis and robustness

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

    George Pappas

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

  336. A duality approach to path planning for multiple robots

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

    George Pappas

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

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

    George Pappas

  338. Biosensing and actuation for microbiorobots

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

    George Pappas

  339. Robustness analysis for the certification of digital controller implementations

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

    George Pappas

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

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

    George Pappas

  341. Editorial

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

    George Pappas

  342. Single cell manipulation using ferromagnetic composite microtransporters

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

    George Pappas

  343. Hybrid Control for Connectivity Preserving Flocking

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

    George Pappas

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

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

    George Pappas

  345. Resource allocation for signal detection with active sensors

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

    George Pappas

  346. Robust stability of multi-hop control networks

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

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

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

    Article • Theoretical Computer Science, September 2009, Elsevier

    George Pappas

  350. Scalable scheduling algorithms for wireless networked control systems

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

    George Pappas

  351. Approximations of Stochastic Hybrid Systems

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

    George Pappas

  352. Genetic network identification using convex programming

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

    George Pappas

  353. Harnessing bacterial power in microscale actuation

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

    George Pappas

  354. Multi-vehicle path planning in dynamically changing environments

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

    George Pappas

  355. Modeling and Analysis of Multi-hop Control Networks

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

    George Pappas

  356. Approximate equivalence and synchronization of metric transition systems

    Article • Systems & Control Letters, February 2009, Elsevier

    George Pappas

  357. Hierarchical control system design using approximate simulation

    Article • Automatica, February 2009, Elsevier

    George Pappas

  358. Temporal logic motion planning for dynamic robots

    Article • Automatica, February 2009, Elsevier

    George Pappas

  359. Hybrid Control and Transport Using Bacteria-Driven Microbiorobots

    Article • January 2009, ASME International

    George Pappas

  360. A distributed dynamical scheme for fastest mixing Markov chains

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

    George Pappas

  361. Experimental Robotics

    Article • January 2009, Springer Science + Business Media

    George Pappas

  362. MTL robust testing and verification for LPV systems

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

    George Pappas

  363. Maintaining Connectivity in Mobile Robot Networks

    Article • January 2009, Springer Science + Business Media

    George Pappas

  364. Trajectory Based Verification Using Local Finite-Time Invariance

    Article • January 2009, Springer Science + Business Media

    George Pappas

  365. Distributed Connectivity Control of Mobile Networks

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

    George Pappas

  366. Metabolic networks analysis using convex optimization

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

    George Pappas

  367. A dynamical systems approach to weighted graph matching

    Article • Automatica, November 2008, Elsevier

    George Pappas

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

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

    George Pappas

  369. Recycling controllers

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

    George Pappas

  370. Approximate reduction of dynamic systems

    Article • Systems & Control Letters, July 2008, Elsevier

    George Pappas

  371. Distributed topology control of dynamic networks

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

    George Pappas

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

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

    George Pappas

  373. Identification of stable genetic networks using convex programming

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

    George Pappas

  374. Distributed multi-robot task assignment and formation control

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

    George Pappas

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

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

    George Pappas

  376. Courteous Cars

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

    George Pappas

  377. Dynamic Assignment in Distributed Motion Planning With Local Coordination

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

    George Pappas

  378. Galvanotactic Control of Self-Powered Microstructures

    Article • January 2008, ASME International

    George Pappas

  379. A distributed auction algorithm for the assignment problem

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

    George Pappas

  380. Probabilistic testing for stochastic hybrid systems

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

    George Pappas

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

  382. Translating Structured English to Robot Controllers

    Article • Advanced Robotics, January 2008, Taylor & Francis

    George Pappas

  383. Introduction

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

    George Pappas

  384. Approximate Simulation Relations for Hybrid Systems

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

    George Pappas

  385. From structured english to robot motion

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

    George Pappas

  386. Valet parking without a valet

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

    George Pappas

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

  388. Approximate bisimulation relations for constrained linear systems

    Article • Automatica, August 2007, Elsevier

    George Pappas

  389. Potential Fields for Maintaining Connectivity of Mobile Networks

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

    George Pappas

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

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

    George Pappas

  391. Cooperative coverage using receding horizon control

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

    George Pappas

  392. Dynamic Assignment in Distributed Motion Planning with Limited Information

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

    George Pappas

  393. Approximation Metrics for Discrete and Continuous Systems

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

    George Pappas

  394. Flocking in Fixed and Switching Networks

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

    George Pappas

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

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

    George Pappas

  396. Decidability of Motion Planning with Differential Constraints

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

    George Pappas

  397. Sensor-Based Dynamic Assignment in Distributed Motion Planning

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

    George Pappas

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

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

    George Pappas

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

  400. Approximate hierarchies of linear control systems

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

    George Pappas

  401. Approximate timed abstractions of hybrid automata

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

    George Pappas

  402. Distributed connectivity control of mobile networks

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

    George Pappas

  403. Distributed formation control with permutation symmetries

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

    George Pappas

  404. Flocking while preserving network connectivity

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

    George Pappas

  405. Hybrid model predictive control of induction of Escherichia coli

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

    George Pappas

  406. Robust Test Generation and Coverage for Hybrid Systems

    Article • January 2007, Springer Science + Business Media

    George Pappas

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

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

    George Pappas

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

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

    George Pappas

  409. Approximate equivalence and approximate synchronization of metric transition systems

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

    George Pappas

  410. Approximate Reduction of Dynamical Systems

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

    George Pappas

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

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

    Article • October 2006, CrossRef Test Account

    George Pappas

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

    Article • Automatica, October 2006, Elsevier

    George Pappas

  414. Cooperative air and ground surveillance

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

    George Pappas

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

  416. High-Confidence Medical Device Software and Systems

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

    George Pappas

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

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

    George Pappas

  418. A Dynamical Systems Approach to Weighted Graph Matching

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

    George Pappas

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

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

  421. Hierarchical Control using Approximate Simulation Relations

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

    George Pappas

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

    Article • January 2006, Springer Science + Business Media

    George Pappas

  423. Robustness of Temporal Logic Specifications

    Article • January 2006, Springer Science + Business Media

    George Pappas

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

    Article • January 2006, Springer Science + Business Media

    George Pappas

  425. Temporal Logic Verification Using Simulation

    Article • January 2006, Springer Science + Business Media

    George Pappas

  426. Time-triggered implementations of dynamic controllers

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

    George Pappas

  427. Translating Temporal Logic to Controller Specifications

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

    George Pappas

  428. Verification Using Simulation

    Article • January 2006, Springer Science + Business Media

    George Pappas

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

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

    Article • Theoretical Computer Science, September 2005, Elsevier

    George Pappas

  431. Motion feasibility of multi-agent formations

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

    George Pappas

  432. Hierarchical trajectory refinement for a class of nonlinear systems

    Article • Automatica, April 2005, Elsevier

    George Pappas

  433. Quotients of Fully Nonlinear Control Systems

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

    George Pappas

  434. Coordinated perception by teams of aerial and ground robots

    Article • December 2004, SPIE

    George Pappas

  435. Leader-to-Formation Stability

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

    George Pappas

  436. Optimal paths in weighted timed automata

    Article • Theoretical Computer Science, June 2004, Elsevier

    George Pappas

  437. Bisimilar control affine systems

    Article • Systems & Control Letters, May 2004, Elsevier

    George Pappas

  438. Compositional Abstractions of Hybrid Control Systems

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

    George Pappas

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

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

    George Pappas

  440. Abstractions of Hamiltonian control systems

    Article • Automatica, December 2003, Elsevier

    George Pappas

  441. Bisimilar linear systems

    Article • Automatica, December 2003, Elsevier

    George Pappas

  442. From nonlinear to hamiltonian via feedback

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

    George Pappas

  443. Bisimulation Relations for Dynamical and Control Systems

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

    George Pappas

  444. Hierarchical modeling and analysis of embedded systems

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

    George Pappas

  445. A Framework and Architecture for Multi-Robot Coordination

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

    George Pappas

  446. Consistent abstractions of affine control systems

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

    George Pappas

  447. Composing Abstractions of Hybrid Systems

    Article • January 2002, Springer Science + Business Media

    George Pappas

  448. Modeling and analyzing biomolecular networks

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

    George Pappas

  449. Symbolic Reachability Computation for Families of Linear Vector Fields

    Article • Journal of Symbolic Computation, September 2001, Elsevier

    George Pappas

  450. Cyclic directed formations of multi-agent systems

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

    George Pappas

  451. Greedy control for hybrid pursuit games

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

    George Pappas

  452. Hybrid abstractions: A search and rescue case study

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

    George Pappas

  453. Accurate Event Detection for Simulating Hybrid Systems

    Article • January 2001, Springer Science + Business Media

    George Pappas

  454. Feasible formations of multi-agent systems

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

    George Pappas

  455. Hierarchical Hybrid Modeling of Embedded Systems

    Article • January 2001, Springer Science + Business Media

    George Pappas

  456. Hybrid Abstractions that Preserve Timed Languages

    Article • January 2001, Springer Science + Business Media

    George Pappas

  457. Hybrid Modeling and Simulation of Biomolecular Networks

    Article • January 2001, Springer Science + Business Media

    George Pappas

  458. Hybrid Systems Applications: An Oxymoron?

    Article • January 2001, Springer Science + Business Media

    George Pappas

  459. Mode Switching Synthesis for Reachability Specifications

    Article • January 2001, Springer Science + Business Media

    George Pappas

  460. Optimal Paths in Weighted Timed Automata

    Article • January 2001, Springer Science + Business Media

    George Pappas

  461. Semi-de1cidable Synthesis for Triangular Hybrid Systems

    Article • January 2001, Springer Science + Business Media

    George Pappas

  462. Discrete abstractions of hybrid systems

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

    George Pappas

  463. Decidable Controller Synthesis for Classes of Linear Systems

    Article • January 2000, Springer Science + Business Media

    George Pappas

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

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

    George Pappas

  465. A New Class of Decidable Hybrid Systems

    Article • January 1999, Springer Science + Business Media

    George Pappas

  466. Hybrid Systems with Finite Bisimulations

    Article • January 1999, Springer Science + Business Media

    George Pappas

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

  468. Subanalytic stratifications and bisimulations

    Article • January 1998, Springer Science + Business Media

    George Pappas

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

    Article • January 1998, Springer Science + Business Media

    George Pappas

  470. Hybrid control models of next generation air traffic management

    Article • January 1997, Springer Science + Business Media

    George Pappas

  471. Towards continuous abstractions of dynamical and control systems

    Article • January 1997, Springer Science + Business Media

    George Pappas

  472. Stabilization of non-holonomic vehicles under kinematic constraints

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

    George Pappas

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

    Article • Springer Science + Business Media

    George Pappas

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

    Article • Springer Science + Business Media

    George Pappas

  475. Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications

    Article • Springer Science + Business Media

    George Pappas

  476. Robust Sampling for MITL Specifications

    Article • Springer Science + Business Media

    George Pappas

  477. Approximate Bisimulations for Constrained Linear Systems

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

  478. Approximate Bisimulations for Nonlinear Dynamical Systems

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

  479. Bounded Model Checking of Hybrid Dynamical Systems

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

  480. Controlling Connectivity of Dynamic Graphs

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

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

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

  482. Information Driven Coordinated Air-Ground Proactive Sensing

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

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

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

  484. Temporal Logic Motion Planning for Mobile Robots

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

  485. Vision-based Localization of Leader-Follower Formations

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

  486. Hierarchical trajectory generation for a class of nonlinear systems

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

  487. Discrete synchronization of hybrid systems

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

  488. Flying hot potatoes [air traffic management]

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

  489. From nonlinear to Hamiltonian via feedback

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

  490. Compositional abstractions of hybrid control systems

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas

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

  492. Consistent hierarchies of nonlinear abstractions

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    George Pappas