Publications

Journal articles, conference papers, books, essays and patents, newest first. Search by title, author or venue, or filter by type

Google Scholar profile → ORCID profile → Download CV (PDF)

2026 Show / hide

1. W5
   C. L. Bethel, H. I. Christensen, O. C. Jenkins, G. J. Pappas, H. Yanco and H. Griffin, “Securing the Robotics Supply Chain: Technical Needs and Investment Opportunities for the Domestic Robotics Research Ecosystem,” Computing Community Consortium white paper, Computing Research Association, October 2026. [Publisher]
2. C424
   Z. Ravichandran, F. Cladera, A. Prabhu, J. Hughes, C. Nieto-Granda, V. Murali, C. J. Taylor, G. J. Pappas and V. Kumar, “Heterogeneous Robot Collaboration in Unstructured Environments with Grounded Generative Intelligence,” in Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Pittsburgh, PA, September 2026. [Project] [Video] [Code]
3. C423
   S. Noorani, O. Romero, N. Dal Fabbro, H. Hassani and G. J. Pappas, “Conformal Risk Minimization with Variance Reduction,” in Proc. 42nd Conference on Uncertainty in Artificial Intelligence (UAI), Amsterdam, Netherlands, August 2026. [Proceedings]
4. C422
   S. Kiyani, S. Noorani, G. J. Pappas and H. Hassani, “When to Trust the Cheap Check: Weak and Strong Verification for Reasoning,” in Proc. International Conference on Machine Learning (ICML), PMLR vol. 306, pp. 59388–59414, Seoul, Korea, July 2026. ICML Spotlight [Proceedings] [Code]
5. C421
   S. Noorani, S. Kiyani, H. Hassani and G. J. Pappas, “Multi-Round Human–AI Collaboration with User-Specified Requirements,” in Proc. International Conference on Machine Learning (ICML), PMLR vol. 306, pp. 93747–93776, Seoul, Korea, July 2026. [Proceedings]
6. C420
   S. Noorani, S. Kiyani, G. J. Pappas and H. Hassani, “Human-AI Collaborative Uncertainty Quantification,” in Proc. International Conference on Machine Learning (ICML), PMLR vol. 306, pp. 93777–93800, Seoul, Korea, July 2026. [Proceedings] [Code]
7. C419
   Z. Zhu, S. Kiyani, G. J. Pappas and H. Hassani, “Conformal Risk-Averse Decision Making with Action Conditional Guarantee,” in Proc. International Conference on Machine Learning (ICML), PMLR vol. 306, pp. 167248–167276, Seoul, Korea, July 2026. [Proceedings] [Code]
8. C418
   D. Snyder, A. Badithela, N. Matni, G. J. Pappas, A. Majumdar, M. Itkina and H. Nishimura, “Beyond Binary Success: Sample-Efficient and Statistically Rigorous Robot Policy Comparison,” in Proc. Robotics: Science and Systems (RSS), Sydney, Australia, July 2026. [DOI]
9. J166
   Z. Xie, W. Zhang, Y. Ren, Z. Wang, G. J. Pappas and W. Jin, “Safe MPC Alignment with Human Directional Feedback,” IEEE Transactions on Robotics, vol. 42, pp. 750–769, 2026. [DOI] [Code]
10. PA2
    A. Robey, H. Hassani, E. Wong and G. J. Pappas, “Defending Large Language Models Against Jailbreaking Attacks,” U.S. Patent Application 2026/0099593, published April 9, 2026. [Google Patents]
11. C417
    F. Marchiori, R. Sinha, C. Agia, A. Robey, G. J. Pappas, M. Conti and M. Pavone, “Preventing Robotic Jailbreaking via Multimodal Domain Adaptation,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Vienna, Austria, June 2026. [DOI]
12. C416
    N. Dal Fabbro, M. Mesbahi, R. Mendes, J. Borges de Sousa and G. J. Pappas, “Long-Term Mapping of the Douro River Plume with Multi-Agent Reinforcement Learning,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Vienna, Austria, June 2026. [DOI] [Project] [Video]
13. J165
    A. Robey, Z. Ravichandran, E. K. Jones, J. Perlo, F. Barez, V. Kumar, J. Z. Kolter, H. Hassani and G. J. Pappas, “Beyond Alignment: Why Robotic Foundation Models Need Context-Aware Safety,” Science Robotics, vol. 11, no. 113, April 2026. [DOI]
14. J164
    D. S. Sundarsingh, Y. Li, T. Tang, G. J. Pappas, N. Atanasov and Y. Kantaros, “Safe Planning in Unknown Environments Using Conformalized Semantic Maps,” IEEE Robotics and Automation Letters, vol. 11, no. 4, pp. 4921–4928, April 2026. [DOI] [Video]
15. J163
    Z. Ravichandran, A. Robey, V. Kumar, G. J. Pappas and H. Hassani, “Safety Guardrails for LLM-Enabled Robots,” IEEE Robotics and Automation Letters, vol. 11, no. 4, pp. 4649–4656, April 2026. [DOI] [Project] [Video] [Code]
16. C415
    S. Kiyani, H. Hassani, G. J. Pappas and A. Roth, “Robust Decision-Making with Partially Calibrated Forecasters,” in Proc. International Conference on Learning Representations (ICLR), Rio de Janeiro, Brazil, April 2026. [PDF] [OpenReview]

2025 Show / hide

1. J162
   L. Lindemann, Y. Zhao, X. Yu, G. J. Pappas and J. V. Deshmukh, “Formal Verification and Control with Conformal Prediction: Practical Safety Guarantees for Autonomous Systems,” IEEE Control Systems Magazine, vol. 45, no. 6, pp. 72–122, December 2025. IEEE CSS Control Systems Magazine Outstanding Paper Award, 2026 [DOI]
2. C404
   A. Somalwar, B. D. Lee, G. J. Pappas and N. Matni, “Learning with Imperfect Models: When Multi-Step Prediction Mitigates Compounding Error,” in Proc. 64th IEEE Conference on Decision and Control (CDC), pp. 82–89, Rio de Janeiro, Brazil, December 2025. [DOI]
3. C403
   C. Stamouli, A. Tsiamis, M. Morari and G. J. Pappas, “Layered Multirate Control of Constrained Linear Systems,” in Proc. 64th IEEE Conference on Decision and Control (CDC), pp. 3027–3034, Rio de Janeiro, Brazil, December 2025. [DOI]
4. C402
   T. Fujinami, B. D. Lee, N. Matni and G. J. Pappas, “Policy Gradient for LQR with Domain Randomization,” in Proc. 64th IEEE Conference on Decision and Control (CDC), pp. 4174–4181, Rio de Janeiro, Brazil, December 2025. [DOI]
5. C401
   S. Joshi, S. Kiyani, G. J. Pappas, E. Dobriban and H. Hassani, “Conformal Inference under High-Dimensional Covariate Shifts via Likelihood-Ratio Regularization,” in Advances in Neural Information Processing Systems (NeurIPS), San Diego, CA, December 2025. [DOI]
6. C400
   S. Noorani, S. Kiyani, G. J. Pappas and H. Hassani, “Conformal Prediction Beyond the Seen: A Missing Mass Perspective for Uncertainty Quantification in Generative Models,” in Advances in Neural Information Processing Systems (NeurIPS), San Diego, CA, December 2025. [DOI] [Video] [Code]
7. C399
   V. Tassopoulou, C. Stamouli, H. Shou, G. J. Pappas and C. Davatzikos, “Uncertainty-Calibrated Prediction of Randomly-Timed Biomarker Trajectories with Conformal Bands,” in Advances in Neural Information Processing Systems (NeurIPS), San Diego, CA, December 2025. [DOI] [Code]
8. J161
   H. Cao, G. J. Pappas and N. Atanasov, “PKF: Probabilistic Data Association Kalman Filter for Multi-Object Tracking,” IEEE Robotics and Automation Letters, vol. 10, no. 11, pp. 11506–11513, November 2025. [DOI] [Code]
9. C414
   J. Ji, B. Hou, A. Robey, G. J. Pappas, H. Hassani, Y. Zhang, E. Wong and S. Chang, “Defending Large Language Models Against Jailbreak Attacks via Semantic Smoothing,” in Proc. 14th International Joint Conference on Natural Language Processing (IJCNLP), 2025. [DOI] [Code]
10. C413
    Z. Ravichandran, I. Hounie, F. Cladera, A. Ribeiro, G. J. Pappas and V. Kumar, “Distilling on-Device Language Models for Robot Planning with Minimal Human Intervention,” in Proc. Conference on Robot Learning (CoRL), PMLR vol. 305, pp. 4859–4884, Seoul, Korea, 2025. [Proceedings] [Project] [Video] [Code]
11. C398
    N. Bousias, L. Lindemann and G. J. Pappas, “Deep Equivariant Multi-Agent Control Barrier Functions,” in Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 997–1004, Hangzhou, China, October 2025. [DOI]
12. J160
    P. Akella, A. Dixit, M. Ahmadi, L. Lindemann, M. P. Chapman, G. J. Pappas, A. D. Ames and J. W. Burdick, “Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification [Focus on Education],” IEEE Control Systems Magazine, vol. 45, no. 4, pp. 46–78, August 2025. [DOI]
13. C397
    S. Kiyani, G. J. Pappas, A. Roth and H. Hassani, “Decision Theoretic Foundations for Conformal Prediction: Optimal Uncertainty Quantification for Risk-Averse Agents,” in Proc. International Conference on Machine Learning (ICML), PMLR vol. 267, pp. 30943–30965, Vancouver, Canada, July 2025. ICML Spotlight [Proceedings] [Code]
14. C396
    M. Sabbaghi, P. Kassianik, G. J. Pappas, A. Karbasi and H. Hassani, “Adversarial Reasoning at Jailbreaking Time,” in Proc. International Conference on Machine Learning (ICML), PMLR vol. 267, pp. 52526–52551, Vancouver, Canada, July 2025. [Proceedings] [Code]
15. B6
    National Academies of Sciences, Engineering, and Medicine (G. J. Pappas, Committee Chair), “Machine Learning for Safety-Critical Applications: Opportunities, Challenges, and a Research Agenda,” The National Academies Press, Washington, DC, 2025. [DOI]
16. J159
    F. Cladera, Z. Ravichandran, J. Hughes, V. Murali, C. Nieto-Granda, M. A. Hsieh, G. J. Pappas, C. J. Taylor and V. Kumar, “Air-Ground Collaboration for Language-Specified Missions in Unknown Environments,” IEEE Transactions on Field Robotics, vol. 2, pp. 626–642, 2025. [DOI] [Project]
17. J158
    N. Dal Fabbro, A. Mitra, R. W. Heath, L. Schenato and G. J. Pappas, “Finite-Time Analysis of over-The-Air Federated TD Learning,” IEEE Transactions on Wireless Communications, 2025. [DOI]
18. J157
    C. Stamouli, L. F. Toso, A. Tsiamis, G. J. Pappas and J. Anderson, “Policy Gradient Bounds in Multitask LQR,” IEEE Control Systems Letters, vol. 9, pp. 2495–2500, 2025. [DOI]
19. J156
    A. Tsiamis, D. Kalogerias, A. Ribeiro and G. J. Pappas, “Linear Quadratic Control with Risk Constraints,” Automatica, vol. 174, article 112095, 2025. [DOI]
20. J155
    A. Robey, E. Wong, H. Hassani and G. J. Pappas, “SmoothLLM: Defending Large Language Models Against Jailbreaking Attacks,” Transactions on Machine Learning Research, 2025. [PDF] [OpenReview] [Blog] [Code]
21. J154
    Y. He, A. Robey, N. Murata, Y. Jiang, J. N. Williams, G. J. Pappas, H. Hassani, Y. Mitsufuji, R. Salakhutdinov and J. Z. Kolter, “Automated Black-Box Prompt Engineering for Personalized Text-To-Image Generation,” Transactions on Machine Learning Research, 2025. [PDF] [OpenReview]
22. C408
    I. M. Ziemann, N. Matni and G. J. Pappas, “State Space Models, Emergence, and Ergodicity: How Many Parameters Are Needed for Stable Predictions?,” in Proc. Conference on Learning for Dynamics and Control (L4DC), pp. 1–11, 2025. [Proceedings]
23. C407
    T. Fujinami, B. D. Lee, N. Matni and G. J. Pappas, “Domain Randomization Is Sample Efficient for Linear Quadratic Control,” in Proc. Conference on Learning for Dynamics and Control (L4DC), pp. 907–919, 2025. [Proceedings]
24. C406
    N. Bousias, S. Pertigkiozoglou, K. Daniilidis and G. J. Pappas, “Symmetries-Enhanced Multi-Agent Reinforcement Learning,” in Proc. Conference on Learning for Dynamics and Control (L4DC), pp. 999–1011, 2025. [Proceedings]
25. C405
    S. Yang, H. Zheng, C.-I. Vasile, G. J. Pappas and R. Mangharam, “STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems,” in Proc. Conference on Learning for Dynamics and Control (L4DC), pp. 1102–1114, 2025. [Proceedings] [Code]
26. C412
    K. Y. Chee, P.-A. Hsieh, G. J. Pappas and M. A. Hsieh, “Flying Quadrotors in Tight Formations Using Learning-Based Model Predictive Control,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Atlanta, GA, 2025. [DOI] [Video]
27. C411
    A. Robey, Z. Ravichandran, V. Kumar, H. Hassani and G. J. Pappas, “Jailbreaking LLM-Controlled Robots,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Atlanta, GA, 2025. [DOI] [Project] [Video] [Blog] [Code]
28. C410
    Z. Ravichandran, V. Murali, M. Tzes, G. J. Pappas and V. Kumar, “SPINE: Online Semantic Planning for Missions with Incomplete Natural Language Specifications in Unstructured Environments,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Atlanta, GA, 2025. [DOI] [Project] [Video] [Code]
29. C409
    S. Wang, J. H. Seidman, S. Sankaran, H. Wang, G. J. Pappas and P. Perdikaris, “CViT: Continuous Vision Transformer for Operator Learning,” in Proc. International Conference on Learning Representations (ICLR), Singapore, 2025. [PDF] [OpenReview] [Code]
30. C395
    P. Chao, A. Robey, E. Dobriban, H. Hassani, G. J. Pappas and E. Wong, “Jailbreaking Black Box Large Language Models in Twenty Queries,” in Proc. IEEE Conference on Secure and Trustworthy Machine Learning (SaTML), 2025. [DOI] [Project] [Code]

2024 Show / hide

1. C394
   P. Chao, E. Debenedetti, A. Robey, M. Andriushchenko, F. Croce, V. Sehwag, E. Dobriban, N. Flammarion, G. J. Pappas, F. Tramèr, H. Hassani and E. Wong, “JailbreakBench: An Open Robustness Benchmark for Jailbreaking Large Language Models,” in Advances in Neural Information Processing Systems (NeurIPS), Vancouver, Canada, 2024. [DOI] [Project] [Code]
2. C393
   S. Kiyani, G. J. Pappas and H. Hassani, “Length Optimization in Conformal Prediction,” in Advances in Neural Information Processing Systems (NeurIPS), Vancouver, Canada, 2024. [DOI] [Code]
3. C389
   C. J. Stamouli, I. M. Ziemann and G. J. Pappas, “Rate-Optimal Non-Asymptotics for the Quadratic Prediction Error Method,” in Proc. 63rd IEEE Conference on Decision and Control (CDC), pp. 5723–5730, Milan, Italy, 2024. [DOI]
4. C388
   Y. Zhang, S. Kalluraya, G. J. Pappas and Y. Kantaros, “Reactive Planning for Teams of Heterogeneous Robots with Dynamic Collaborative Temporal Logic Missions,” in Proc. 63rd IEEE Conference on Decision and Control (CDC), pp. 1599–1606, Milan, Italy, 2024. [DOI]
5. C387
   B. D. Lee, I. M. Ziemann, G. J. Pappas and N. Matni, “Active Learning for Control-Oriented Identification of Nonlinear Systems,” in Proc. 63rd IEEE Conference on Decision and Control (CDC), pp. 3011–3018, Milan, Italy, 2024. [DOI]
6. C386
   N. Dal Fabbro, A. Adibi, H. V. Poor, S. R. Kulkarni, A. Mitra and G. J. Pappas, “DASA: Delay-Adaptive Multi-Agent Stochastic Approximation,” in Proc. 63rd IEEE Conference on Decision and Control (CDC), pp. 3889–3896, Milan, Italy, 2024. [DOI]
7. C385
   O. Romero, M. Benosman and G. J. Pappas, “From Convexity to Strong Convexity and Beyond: Bridging the Gap in Convergence Rates,” in Proc. 63rd IEEE Conference on Decision and Control (CDC), pp. 5484–5489, Milan, Italy, 2024. [DOI]
8. C392
   I. Ziemann, S. Tu, G. J. Pappas and N. Matni, “Sharp Rates in Dependent Learning Theory: Avoiding Sample Size Deflation for the Square Loss,” in Proc. International Conference on Machine Learning (ICML), Vienna, Austria, 2024. ICML Spotlight [Proceedings]
9. C391
   S. Kiyani, G. J. Pappas and H. Hassani, “Conformal Prediction with Learned Features,” in Proc. International Conference on Machine Learning (ICML), Vienna, Austria, 2024. [Proceedings]
10. C390
    T. Zhang, B. D. Lee, I. Ziemann, G. J. Pappas and N. Matni, “Guarantees for Nonlinear Representation Learning: Non-Identical Covariates, Dependent Data, Fewer Samples,” in Proc. International Conference on Machine Learning (ICML), Vienna, Austria, 2024. [Proceedings]
11. J153
    H. Wang, A. Mitra, H. Hassani, G. J. Pappas and J. Anderson, “Federated TD Learning with Linear Function Approximation under Environmental Heterogeneity,” Transactions on Machine Learning Research, 2024. [PDF] [OpenReview]
12. J151
    A. Mitra, G. J. Pappas and H. Hassani, “Temporal Difference Learning with Compressed Updates: Error-Feedback Meets Reinforcement Learning,” Transactions on Machine Learning Research, 2024. [PDF] [OpenReview]
13. J150
    E. Nozari, M. Bertolero, E. Cornblath, A. Mahadevan, L. Caciagli, X. He, G. J. Pappas and D. S. Bassett, “Macroscopic Resting-State Brain Dynamics Are Best Described by Linear Models,” Nature Biomedical Engineering, vol. 8, pp. 68–84, 2024. [DOI] [Code]
14. PT2
    G. J. Pappas, H. Hassani and A. Robey, “Model-Based Robust Deep Learning,” U.S. Patent 11,961,283, issued April 16, 2024. [Google Patents]
15. J152
    A. M. Annaswamy, K. H. Johansson and G. J. Pappas, “Control for Societal-Scale Challenges: Road Map 2030,” IEEE Control Systems Magazine, vol. 44, no. 3, pp. 30–32, June 2024. [DOI]
16. C384
    K. Y. Chee, T. C. Silva, M. A. Hsieh and G. J. Pappas, “Uncertainty Quantification and Robustification of Model-Based Controllers Using Conformal Prediction,” in Proc. Conference on Learning for Dynamics and Control (L4DC), pp. 528–540, 2024. [PDF] [Proceedings]
17. C383
    C. J. Stamouli, L. Lindemann and G. J. Pappas, “Recursively Feasible Shrinking-Horizon MPC in Dynamic Environments with Conformal Prediction Guarantees,” in Proc. Conference on Learning for Dynamics and Control (L4DC), pp. 1330–1342, 2024. [PDF] [Proceedings]
18. C382
    R. Tumu, M. Cleaveland, R. Mangharam, G. J. Pappas and L. Lindemann, “Multi-Modal Conformal Prediction Regions by Optimizing Convex Shape Templates,” in Proc. Conference on Learning for Dynamics and Control (L4DC), pp. 1343–1356, 2024. [PDF] [Proceedings] [Code]
19. C381
    N. Dal Fabbro, A. Adibi, A. Mitra and G. J. Pappas, “Finite-Time Analysis of Asynchronous Multi-Agent TD Learning,” in Proc. American Control Conference (ACC), pp. 2090–2097, Toronto, Canada, 2024. [DOI]
20. C380
    C. Stamouli, E. Chatzipantazis and G. J. Pappas, “Structural Risk Minimization for Learning Nonlinear Dynamics,” in Proc. American Control Conference (ACC), pp. 2897–2904, Toronto, Canada, 2024. AACC American Control Conference Best Student Paper Award [DOI]
21. C379
    A. Robey, F. Latorre, G. J. Pappas, H. Hassani and V. Cevher, “Adversarial Training Should Be Cast as a Non-Zero-Sum Game,” in Proc. International Conference on Learning Representations (ICLR), Vienna, Austria, 2024. [PDF] [OpenReview]
22. C378
    Z. Dai, A. Asgharivaskasi, T. Duong, S. Lin, M. Tzes, G. J. Pappas and N. Atanasov, “Optimal Scene Graph Planning with Large Language Model Guidance,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Yokohama, Japan, 2024. [DOI]
23. C377
    A. Adibi, N. Dal Fabbro, L. Schenato, S. Kulkarni, H. V. Poor, G. J. Pappas, H. Hassani and A. Mitra, “Stochastic Approximation with Delayed Updates: Finite-Time Rates under Markovian Sampling,” in Proc. International Conference on Artificial Intelligence and Statistics (AISTATS), pp. 2746–2754, Valencia, Spain, 2024. [PDF] [Proceedings]
24. C376
    M. Cleaveland, I. Lee, G. J. Pappas and L. Lindemann, “Conformal Prediction Regions for Time Series Using Linear Complementarity Programming,” in Proc. AAAI Conference on Artificial Intelligence, pp. 20984–20992, Vancouver, Canada, 2024. [DOI] [Code]

2023 Show / hide

1. J149
   A. Tsiamis, I. Ziemann, N. Matni and G. J. Pappas, “Statistical Learning Theory for Control: A Finite-Sample Perspective,” IEEE Control Systems Magazine, vol. 43, no. 6, pp. 67–97, December 2023. [DOI]
2. C375
   I. Ziemann, A. Tsiamis, B. Lee, Y. Jedra, N. Matni and G. J. Pappas, “A Tutorial on the Non-Asymptotic Theory of System Identification,” in Proc. 62nd IEEE Conference on Decision and Control (CDC), Singapore, December 2023. [DOI]
3. C374
   I. Boero, I. Spasojevic, M. del Castillo, G. J. Pappas, V. Kumar and A. Ribeiro, “Navigation with Shadow Prices to Optimize Multi Commodity Flow Rates,” in Proc. 62nd IEEE Conference on Decision and Control (CDC), Singapore, December 2023. [DOI]
4. C373
   S. Chen, K. Y. Chee, N. Matni, M. A. Hsieh and G. J. Pappas, “Safety Filter Design for Neural Network Systems via Convex Optimization,” in Proc. 62nd IEEE Conference on Decision and Control (CDC), Singapore, December 2023. [DOI] [Code]
5. C372
   K. Y. Chee, M. A. Hsieh and G. J. Pappas, “Uncertainty Quantification for Learning-Based MPC Using Weighted Conformal Prediction,” in Proc. 62nd IEEE Conference on Decision and Control (CDC), Singapore, December 2023. [DOI]
6. C371
   S. Yang, G. J. Pappas, R. Mangharam and L. Lindemann, “Safe Perception-Based Control under Stochastic Sensor Uncertainty Using Conformal Prediction,” in Proc. 62nd IEEE Conference on Decision and Control (CDC), Singapore, December 2023. [DOI]
7. C370
   S. Kalluraya, G. J. Pappas and Y. Kantaros, “Resilient Temporal Logic Planning in the Presence of Robot Failures,” in Proc. 62nd IEEE Conference on Decision and Control (CDC), Singapore, December 2023. [DOI]
8. C369
   I. Ziemann, S. Tu, G. J. Pappas and N. Matni, “The Noise Level in Linear Regression with Dependent Data,” in Advances in Neural Information Processing Systems (NeurIPS), December 2023. [DOI]
9. C368
   K. Y. Chee, T. C. Silva, M. A. Hsieh, G. J. Pappas and E. S. Efficiency, “Uncertainty Compensation in Learning-Based Model Predictive Control for Aerial Robots,” in Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), November 2023. [DOI]
10. C367
    I. Spasojevic, X. Liu, A. Prabhu, A. Ribeiro, G. J. Pappas and V. Kumar, “Robust Localization of Aerial Vehicles via Active Control of Identical Ground Vehicles,” in Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), November 2023. [DOI]
11. J148
    L. Lindemann, M. Cleaveland, G. Shim and G. J. Pappas, “Safe Planning in Dynamic Environments Using Conformal Prediction,” IEEE Robotics and Automation Letters, vol. 8, no. 8, pp. 5116–5123, August 2023. [DOI]
12. J147
    X. Cai, B. Schlotfeldt, K. Khosoussi, N. Atanasov, G. J. Pappas and J. P. How, “Energy-Aware, Collision-Free Information Gathering for Heterogeneous Robot Teams,” IEEE Transactions on Robotics, vol. 39, no. 4, pp. 2585–2602, August 2023. [DOI]
13. C366
    I. Spasojevic, X. Liu, A. Ribeiro, G. J. Pappas and V. Kumar, “Active Collaborative Localization in Heterogeneous Robot Teams,” in Proc. Robotics: Science and Systems (RSS), July 2023. [DOI]
14. C365
    J. H. Seidman, G. Kissas, G. J. Pappas and P. Perdikaris, “Variational Autoencoding Neural Operators,” in Proc. International Conference on Machine Learning (ICML), July 2023. [PDF] [Proceedings] [Code]
15. C364
    T. Beckers, T. Z. Jiahao and G. J. Pappas, “Learning Switching Port-Hamiltonian Systems with Uncertainty Quantification,” in Proc. IFAC World Congress, July 2023. [DOI]
16. B5
    A. M. Annaswamy, K. H. Johansson and G. J. Pappas, editors, “Control for Societal-Scale Challenges: Roadmap 2030,” IEEE Control Systems Society, 2023. [PDF] [Publisher]
17. J146
    N. Dal Fabbro, A. Mitra and G. J. Pappas, “Federated TD Learning over Finite-Rate Erasure Channels: Linear Speedup under Markovian Sampling,” IEEE Control Systems Letters, vol. 7, pp. 2461–2466, 2023. [DOI]
18. J141
    A. Rodionova, L. Lindemann, M. Morari and G. J. Pappas, “Combined Left and Right Temporal Robustness for Control under STL Specifications,” IEEE Control Systems Letters, vol. 7, pp. 619–624, 2023. [DOI]
19. PA1
    P. Perdikaris, J. H. Seidman, G. Kissas and G. J. Pappas, “Computer Systems and Methods for Learning Operators,” U.S. Patent Application 2023/0214661, published July 6, 2023. [Google Patents]
20. C363
    A. Mitra, H. Hassani and G. J. Pappas, “Linear Stochastic Bandits over a Bit-Constrained Channel,” in Proc. Conference on Learning for Dynamics and Control (L4DC), June 2023. L4DC Oral Spotlight [PDF] [Proceedings]
21. C362
    T. Beckers, Q. Wu and G. J. Pappas, “Physics-Enhanced Gaussian Process Variational Autoencoder,” in Proc. Conference on Learning for Dynamics and Control (L4DC), June 2023. [PDF] [Proceedings]
22. C361
    T. Cui, T. Bertalan, G. J. Pappas, M. Morari, Y. Kevrekidis and M. Fazlyab, “Certified Invertibility in Neural Networks via Mixed-Integer Programming,” in Proc. Conference on Learning for Dynamics and Control (L4DC), June 2023. [PDF] [Proceedings]
23. C360
    A. Dixit, L. Lindemann, S. Wei, M. Cleaveland, G. J. Pappas and J. W. Burdick, “Adaptive Conformal Prediction for Motion Planning Among Dynamic Agents,” in Proc. Conference on Learning for Dynamics and Control (L4DC), June 2023. [PDF] [Proceedings]
24. J145
    A. Tsiamis and G. J. Pappas, “Online Learning of the Kalman Filter with Logarithmic Regret,” IEEE Transactions on Automatic Control, Special Issue on Learning and Control, vol. 68, no. 5, pp. 2774–2789, May 2023. [DOI]
25. J144
    L. Lindemann, L. Jiang, N. Matni and G. J. Pappas, “Risk of Stochastic Systems for Temporal Logic Specifications,” ACM Transactions on Embedded Computing Systems, vol. 22, no. 3, art. vol. 54, pp. 1–31, May 2023. [DOI]
26. C359
    A. K. Chen, B. L. Ferguson, D. Shishika, M. Dorothy, J. R. Marden, G. J. Pappas and V. Kumar, “Path Defense in Dynamic Defender-Attacker Blotto Games (dDAB) with Limited Information,” in Proc. American Control Conference (ACC), May 2023. [DOI]
27. C358
    L. Lindemann, X. Qin, J. Deshmukh and G. J. Pappas, “Conformal Prediction for STL Runtime Verification,” in Proc. ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), May 2023. [DOI]
28. C357
    M. Tzes, N. Bousias, E. Chatzipantazis and G. J. Pappas, “Graph Neural Networks for Multi-Robot Active Information Acquisition,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), May 2023. IEEE RAS ICRA Outstanding Multi-Robot Systems Paper [DOI] [Video]
29. C356
    S. Kalluraya, G. J. Pappas and Y. Kantaros, “Multi-Robot Mission Planning in Dynamic Semantic Environments,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), May 2023. [DOI] [Video]
30. C355
    M. Malencia, G. J. Pappas and V. Kumar, “Socially Fair Coverage Control,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), May 2023. [DOI]
31. J143
    Y. Yuan, D. Zhang, F. Miao, J. Stankovic, T. He, G. J. Pappas and S. Lin, “Mobility-Driven Integration of Heterogeneous Urban Cyber-Physical Systems under Disruptive Events,” IEEE Transactions on Mobile Computing, vol. 22, no. 2, pp. 906–922, 1 February 2023. [DOI]
32. C354
    H. Wu, T. Tagomori, A. Robey, F. Yang, N. Matni, H. Hassani, G. J. Pappas, C. Pasareanu and C. Barrett, “Toward Certified Robustness Against Real-World Distribution Shifts,” in Proc. IEEE Conference on Secure and Trustworthy Machine Learning (SaTML), February 2023. [DOI]
33. J142
    A. Rodionova, L. Lindemann, M. Morari and G. J. Pappas, “Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design,” ACM Transactions on Embedded Computing Systems, vol. 22, no. 1, pp. 1–44, January 2023. [DOI]

2022 Show / hide

1. J140
   M. Cleaveland, L. Lindemann, R. Ivanov and G. J. Pappas, “Risk Verification of Stochastic Systems with Neural Network Controllers,” Artificial Intelligence Journal, vol 313, article 103782, December 2022. [DOI]
2. C353
   T. Beckers, L. Colombo, M. Morari and G. J. Pappas, “Learning-Based Balancing of Model-Based and Feedback Control for Second-Order Mechanical Systems,” in Proc. 61st IEEE Conference on Decision and Control (CDC), Cancun, Mexico, December 2022. [DOI]
3. C352
   T. Beckers, G. J. Pappas and L. J. Colombo, “Learning Rigidity-Based Flocking Control Using Gaussian Processes with Probabilistic Stability Guarantees,” in Proc. 61st IEEE Conference on Decision and Control (CDC), Cancun, Mexico, December 2022. [DOI]
4. C351
   A. Xue, L. Lindemann, A. Robey, H. Hassani, G. J. Pappas and R. Alur, “Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks,” in Proc. 61st IEEE Conference on Decision and Control (CDC), Cancun, Mexico, December 2022. [DOI] [Code]
5. C350
   T. Beckers, J. H. Seidman, P. Perdikaris and G. J. Pappas, “Gaussian Process Port-Hamiltonian Systems: Bayesian Learning with Physics Prior,” in Proc. 61st IEEE Conference on Decision and Control (CDC), Cancun, Mexico, December 2022. [DOI]
6. C349
   A. Impicciatore, A. Tsiamis, Y. Zacchia Lun, A. D’Innocenzo and G. J. Pappas, “Secure State Estimation over Markov Wireless Communication Channels,” in Proc. 61st IEEE Conference on Decision and Control (CDC), Cancun, Mexico, December 2022. [DOI]
7. C348
   A. Adibi, A. Mitra, G. J. Pappas and H. Hassani, “Distributed Statistical Min-Max Learning in the Presence of Byzantine Agents,” in Proc. 61st IEEE Conference on Decision and Control (CDC), Cancun, Mexico, December 2022. [DOI]
8. C347
   O. Romero, M. Benosman and G. J. Pappas, “ODE Discretization Schemes as Optimization Algorithms,” in Proc. 61st IEEE Conference on Decision and Control (CDC), Cancun, Mexico, December 2022. [DOI]
9. C346
   J. H. Seidman, G. Kissas, P. Perdikaris and G. J. Pappas, “NOMAD: Nonlinear Manifold Decoders for Operator Learning,” in Advances in Neural Information Processing Systems (NeurIPS), November 2022. [DOI] [Code]
10. C345
    A. Mitra, A. Adibi, G. J. Pappas and H. Hassani, “Collaborative Linear Bandits with Adversarial Agents: Near-Optimal Regret Bounds,” in Advances in Neural Information Processing Systems (NeurIPS), November 2022. [DOI]
11. C344
    C. Eastwood, A. Robey, S. Singh, J. von Kügelgen, H. Hassani, G. J. Pappas and B. Schölkopf, “Probable Domain Generalization via Quantile Risk Minimization,” in Advances in Neural Information Processing Systems (NeurIPS), November 2022. [DOI] [Code]
12. C343
    M. Malencia, S. Manjanna, M. A. Hsieh, G. J. Pappas and V. Kumar, “Adaptive Sampling of Latent Phenomena Using Heterogeneous Robot Teams,” in Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), November 2022. [DOI]
13. J139
    S. Bowman, K. Daniilidis and G. J. Pappas, “Robust Object-Level Semantic Visual SLAM Using Semantic Keypoints,” Field Robotics, vol. 2, no. 1, pp. 513–524, October 2022. [DOI]
14. J138
    L. Lindemann, G. J. Pappas and D. Dimarogonas, “Reactive and Risk-Aware Control for Signal Temporal Logic,” IEEE Transactions on Automatic Control, vol. 67, no. 10, pp. 5262–5277, October 2022. [DOI]
15. J137
    L. Zhou, V. Tzoumas, G. J. Pappas and P. Tokekar, “Distributed Attack-Robust Submodular Maximization for Multi-Robot Planning,” IEEE Transactions on Robotics, vol. 38, no. 5, pp. 3097–3112, October 2022. [DOI] [Video]
16. J136
    Y. Kantaros, S. Kalluraya, Q. Jin and G. J. Pappas, “Perception-Based Temporal Logic Planning in Uncertain Semantic Maps, In,” IEEE Transactions on Robotics, vol. 38, no. 4, pp. 2536–2556, Aug. 2022. [DOI]
17. J135
    G. Kissas, J. Seidman, L. F. Guilhoto, V. Preciado, G. J. Pappas and P. Perdikaris, “Learning Operators with Coupled Attention,” Journal of Machine Learning Research, vol. 23, no. 215, pp. 1–63, July 2022. [PDF] [Publisher] [Code]
18. C342
    A. Robey, L. F. O. Chamon, G. J. Pappas and H. Hassani, “Probabilistically Robust Learning: Balancing Average- and Worst-Case Performance,” in Proc. International Conference on Machine Learning (ICML), Baltimore, MD, July 2022. [PDF] [Proceedings] [Code]
19. J132
    T. Beckers, L. Colombo, S. Hirche and G. J. Pappas, “Online Learning-Based Trajectory Tracking for Underactuated Vehicles with Uncertain Dynamics,” IEEE Control Systems Letters, vol. 6, pp. 2090–2095, 2022. [DOI]
20. C341
    A. Tsiamis, I. M. Ziemann, M. Morari, N. Matni and G. J. Pappas, “Learning to Control Linear Systems Can Be Hard,” in Proc. Conference on Learning Theory (COLT), pp. 3820–3857, London, June 2022. [PDF] [Proceedings]
21. C340
    C. Stamouli, A. Tsiamis, M. Morari and G. J. Pappas, “Adaptive Stochastic MPC under Unknown Noise Distribution,” in Proc. Conference on Learning for Dynamics and Control (L4DC), pp. 596–607, Stanford, CA, June 2022. [PDF] [Proceedings]
22. C339
    M. Tzes, V. Vasilopoulos, Y. Kantaros and G. J. Pappas, “Reactive Informative Planning for Mobile Manipulation Tasks under Sensing and Environmental Uncertainty,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), May 2022. [DOI]
23. C338
    A. Zhou, F. Tajwar, A. Robey, T. Knowles, G. J. Pappas, H. Hassani and C. Finn, “Do Deep Networks Transfer Invariances Across Classes?,” in Proc. International Conference on Learning Representations (ICLR), April 2022. [PDF] [OpenReview] [Code]
24. C337
    L. Lindemann, A. Rodionova and G. J. Pappas, “Temporal Robustness of Stochastic Signals,” in Proc. ACM International Conference on Hybrid Systems: Computation and Control (HSCC), April 2022. [DOI]
25. J134
    A. Alexandru and G. J. Pappas, “Private Weighted Sum Aggregation,” IEEE Transactions on Control of Network Systems, vol. 9, no. 1, pp. 219–230, March 2022. [DOI]
26. J133
    B. Schlotfeldt, V. Tzoumas and G. J. Pappas, “Resilient Active Information Acquisition with Teams of Robots,” IEEE Transactions on Robotics, vol. 38, no. 1, pp. 244–261, February 2022. [DOI]
27. J131
    V. Tzoumas, A. Jadbabaie and G. J. Pappas, “Robust and Adaptive Sequential Submodular Optimization,” IEEE Transactions on Automatic Control, vol. 67, no. 1, pp. 89–104, January 2022. [DOI]
28. J130
    M. Fazlyab, M. Morari and G. J. Pappas, “Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming,” IEEE Transactions on Automatic Control, vol. 67, no. 1, pp. 1–15, January 2022. IEEE CSS George S. Axelby Outstanding Paper Award, 2024 [DOI] [Code]

2021 Show / hide

1. J129
   K. Daniilidis, L. Guibas, L. Kavraki, P. Koumoutsakos, K. Kyriakopoulos, J. Lygeros, G. J. Pappas, M. Triantafyllou and P. Tsiotras, “Robotics in the AI Era: A Vision for a Hellenic Robotics Initiative,” Foundations and Trends in Robotics: vol, 9, no. 3, pp. 201–265, December 2021. [DOI]
2. C336
   A. Robey, L. F. O. Chamon, G. J. Pappas, A. Ribeiro and H. Hassani, “Adversarial Robustness with Semi-Infinite Constrained Learning,” in Advances in Neural Information Processing Systems (NeurIPS), December 2021. [PDF] [Proceedings] [Code]
3. C335
   A. Robey, H. Hassani and G. J. Pappas, “Model-Based Domain Generalization,” in Advances in Neural Information Processing Systems (NeurIPS), December 2021. [PDF] [Proceedings] [Code]
4. C334
   W. Jin, S. Mou and G. J. Pappas, “Safe Pontryagin Differentiable Programming,” in Advances in Neural Information Processing Systems (NeurIPS), December 2021. [PDF] [Proceedings] [Code]
5. C333
   A. Mitra, R. Jaafar, G. J. Pappas and H. Hassani, “Linear Convergence in Federated Learning: Tackling Client Heterogeneity and Sparse Gradients,” in Advances in Neural Information Processing Systems (NeurIPS), December 2021. [PDF] [Proceedings]
6. C332
   A. Tsiamis and G. J. Pappas, “Linear Systems Can Be Hard to Learn,” in Proc. 60th IEEE Conference on Decision and Control (CDC), Austin, Texas, December 2021. [DOI]
7. C331
   A. Mitra, H. Hassani and G. J. Pappas, “Online Federated Learning,” in Proc. 60th IEEE Conference on Decision and Control (CDC), Austin, Texas, December 2021. [DOI]
8. C330
   A. Rodionova, L. Lindemann, M. Morari and G. J. Pappas, “Time-Robust Control for STL Specifications,” in Proc. 60th IEEE Conference on Decision and Control (CDC), Austin, Texas, December 2021. IEEE CSS CDC Best Student Paper Award [DOI]
9. C329
   L. Lindemann, N. Matni and G. J. Pappas, “STL Robustness Risk over Discrete-Time Stochastic Processes,” in Proc. 60th IEEE Conference on Decision and Control (CDC), Austin, Texas, December 2021. [DOI]
10. C328
    A. B. Alexandru, A. Tsiamis and G. J. Pappas, “Encrypted Distributed Lasso for Sparse Data Predictive Control,” in Proc. 60th IEEE Conference on Decision and Control (CDC), Austin, Texas, December 2021. [DOI]
11. C327
    L. Lindemann, M. Cleaveland, Y. Kantaros and G. J. Pappas, “Robust Motion Planning in the Presence of Estimation Uncertainty,” in Proc. 60th IEEE Conference on Decision and Control (CDC), Austin, Texas, December 2021. [DOI]
12. C326
    R. Jaafar, A. Mitra, G. J. Pappas and H. Hassani, “Federated Learning with Incrementally Aggregated Gradients,” in Proc. 60th IEEE Conference on Decision and Control (CDC), Austin, Texas, December 2021. [DOI]
13. C325
    S. Chen, M. Fazlyab, M. Morari, G. J. Pappas and V. M. Preciado, “Learning Region of Attraction for Nonlinear Systems,” in Proc. 60th IEEE Conference on Decision and Control (CDC), Austin, Texas, December 2021. [DOI]
14. C324
    M. Fazlyab, M. Morari and G. J. Pappas, “An Introduction to Neural Network Analysis via Semidefinite Programming,” in Proc. 60th IEEE Conference on Decision and Control (CDC), Austin, Texas, December 2021. [DOI]
15. C323
    C. Hsu, H. Jeong, G. J. Pappas and P. Chaudhari, “Scalable Reinforcement Learning Policies for Multi-Agent Control,” in Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Prague, Czech Republic, November 2021. [DOI] [Code]
16. C322
    M.-E. Tzes, Y. Kantaros and G. J. Pappas, “Distributed Sampling-Based Planning forNon-Myopic Active Information Gathering,” in Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Prague, Czech Republic, November 2021. [DOI]
17. J128
    J. Li, X. Chen, S. Pequito, G. J. Pappas and V. M. Preciado, “On the Structural Target Controllability of Undirected Networks,” IEEE Transactions on Automatic Control, vol. 66, no. 10, pp. 4836–4843, October 2021. [DOI]
18. C321
    H. Kumar, D. S. Kalogerias, G. J. Pappas and A. Ribeiro, “Actor-Only Deterministic Policy Gradient via Zeroth-Order Gradient Oracles in Action Space,” in Proc. IEEE International Symposium on Information Theory (ISIT), pp. 1676–1681, Melbourne, Australia, July 2021. [DOI]
19. C320
    H. Riess, I. Kantaros, G. J. Pappas and R. Ghrist, “A Temporal Logic-Based Hierarchical Network Connectivity Controller,” in Proc. SIAM Conference on Control and Its Applications, July 2021. [DOI]
20. B4
    A. Jadbabaie, J. Lygeros, G. J. Pappas, P. Parrilo, B. Recht, C. Tomlin and M. Zeilinger, editors, “Proceedings of the 3rd Conference on Learning for Dynamics and Control (L4DC),” vol. 144 of Proceedings of Machine Learning Research, 2021. [Proceedings]
21. PT1
    K. Daniilidis, S. L. Bowman, N. A. Atanasov and G. J. Pappas, “Probabilistic Data Association for Simultaneous Localization and Mapping,” U.S. Patent 11,187,536, issued November 30, 2021. [Google Patents]
22. J127
    Y. Kantaros, B. Schlotfeldt, N. Atanasov and G. J. Pappas, “Sampling-Based Planning for Non-Myopic Multi-Robot Information Gathering,” Autonomous Robots, June 2021. [DOI]
23. J126
    K. Sun, B. Schlotfeldt, G. J. Pappas and V. Kumar, “Stochastic Motion Planning under Partial Observability for Mobile Robots with Continuous Range Measurements,” IEEE Transactions on Robotics, vol. 37, no. 3, pp. 979–995, June 2021. [DOI]
24. C319
    A. Robey, A. Adibi, B. Schlotfeldt, H. Hassani and G. J. Pappas, “Optimal Algorithms for Submodular Maximization with Distributed Constraints,” in Proc. Conference on Learning for Dynamics and Control (L4DC), Zurich, Switzerland, June 2021. [Proceedings]
25. C318
    R. Ivanov, T. Carpenter, J. Weimer, R. Alur, G. J. Pappas and I. Lee, “Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning,” in Proc. 33rd Conference on Computer Aided-Verification (CAV), Los Angeles, CA, June 2021. [DOI] [Code]
26. C317
    Y. Kantaros and G. J. Pappas, “Distributed Active Information Acquisition for Multi-Robot Systems,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Xian, June 2021. [DOI] [Video]
27. C316
    H. Jeong, H. Hassani, M. Morari, D. Lee and G. J. Pappas, “Deep Reinforcement Learning for Active Target Tracking,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Xian, June 2021. [DOI]
28. C315
    V. Vasilopoulos, Y. Kantaros, G. J. Pappas and D. Koditschek, “Reactive Planning for Mobile Manipulation Tasks in Unexplored Semantic Environments,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Xian, June 2021. [DOI] [Video]
29. C314
    X. Cai, B. Schlotfeldt, K. Khosoussi, N. Atanasov, G. J. Pappas and J. P. How, “Non-Monotone Energy-Aware Information Gathering for Heterogeneous Robot Teams,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Xian, June 2021. [DOI] [Video]
30. C313
    A. K. Chen, D. G. Macharet, D. Shishika, G. J. Pappas and V. Kumar, “Optimal Multi-Robot Perimeter Defense Using Flow Networks,” in Proc. 15th International Symposium on Distributed Autonomous Robotic Systems, June 2021. [DOI]
31. J125
    M. Schulze Darup, A. B. Alexandru, D. E. Quevedo and G. J. Pappas, “Encrypted Control for Networked Systems - An Illustrative Introduction and Current Challenges,” IEEE Control Systems Magazine, vol. 41, no. 3, pp. 58–78, May 2021. [DOI]
32. J124
    A. Alexandru, K. Gatsis, Y. Shoukry, S. Seshia, P. Tabuada and G. J. Pappas, “Cloud-Based Quadratic Optimization with Partially Homomorphic Encryption,” IEEE Transactions on Automatic Control, vol. 66, no. 5, pp. 2357–2364, May 2021. [DOI]
33. C312
    B. Angelico, L. F. O. Chamon, S. Paternain, A. Ribeiro and G. J. Pappas, “Source Seeking in Unknown Environments with Convex Obstacles,” in Proc. American Control Conference (ACC), New Orleans, LA, May 2021. [DOI]
34. C311
    S. Chen, M. Fazlyab, M. Morari, G. J. Pappas and V. M. Preciado, “Learning Lyapunov Functions for Hybrid Systems,” in Proc. ACM International Conference on Hybrid Systems: Computation and Control (HSCC), May 2021. [DOI]
35. J123
    J. Kim, Z. Lu, E. Nozari, G. J. Pappas and D. Bassett, “Teaching Recurrent Neural Networks to Infer Global Temporal Structure from Local Examples,” Nature Machine Intelligence, vol. 3, pp. 316–323, April 2021. [DOI]
36. J122
    M. Malencia, V. Kumar, G. J. Pappas and A. Prorok, “Fair Robust Assignment Using Redundancy,” IEEE Robotics and Automation Letters, vol. 6, no. 2, pp. 4217–4224, April 2021. [DOI]
37. J121
    V. Tzoumas, L. Carlone, G. J. Pappas and A. Jadbabaie, “LQG Control and Sensing Co-Design,” IEEE Transactions on Automatic Control, vol. 66, no. 4, pp. 1468–1483, April 2021. [DOI]
38. J120
    K. Gatsis, H. Hassani and G. J. Pappas, “Latency-Reliability Tradeoffs for State Estimation,” IEEE Transactions on Automatic Control, vol. 66, no. 3, pp. 1009–1023, March 2021. [DOI]
39. J119
    K. Gatsis and G. J. Pappas, “Statistical Learning for Analysis of Networked Control Systems over Unknown Channels,” Automatica, vol. 125, art. 109386, March 2021. [DOI]
40. J118
    F. Miao, S. He, L. Pepin, S. Han, A. Hendawi, M. E. Khalefa, J. Stankovic and G. J. Pappas, “Data-Driven Distributionally Robust Optimization for Vehicle Balancing of Mobility-On-Demand Systems,” ACM Transactions on Cyber-physical Systems, vol. 5, no. 2, pp. 1–27, January 2021. [DOI]
41. J117
    L. F. D. O. Chamon, G. J. Pappas and A. Ribeiro, “Approximate Supermodularity of Kalman Filter Sensor Selection,” IEEE Transactions on Automatic Control, vol. 66, no. 1, pp. 49–63, January 2021. [DOI]
42. C310
    D. Kalogerias, M. Eisen, G. J. Pappas and A. Ribeiro, “Almost-Zero Duality Gaps in Model-Free Resource Allocation for Wireless Systems,” in Proc. 28th European Signal Processing Conference (EUSIPCO), pp. 1727–1731, Amsterdam, Netherland, January 2021. [DOI]

2020 Show / hide

1. J116
   R. Ivanov, T. Carpenter, J. Weimer, R. Alur, G. J. Pappas and I. Lee, “Verifying the Safety of Autonomous Systems with Neural Network Controllers,” ACM Transactions on Embedded Computing Systems, vol. 20, no. 1, pp. 1–26, December 2020. ACM Transactions on Embedded Computing Systems Best Paper Award, 2022 [DOI]
2. C309
   A. B. Alexandru, A. Tsiamis and G. J. Pappas, “Towards Private Data-Driven Control,” in Proc. 59th IEEE Conference on Decision and Control (CDC), Jeju, Korea, December 2020. [DOI]
3. C308
   H. Hu, M. Fazlyab, M. Morari and G. J. Pappas, “Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming,” in Proc. 59th IEEE Conference on Decision and Control (CDC), Jeju, Korea, December 2020. [DOI]
4. C307
   L. Lindemann, G. J. Pappas and D. V. Dimarogonas, “Control Barrier Functions for Nonholonomic Systems under Risk Signal Temporal Logic Specifications,” in Proc. 59th IEEE Conference on Decision and Control (CDC), Jeju, Korea, December 2020. [DOI]
5. C306
   A. Tsiamis, D. Kalogerias, L. F. O. Chamon, A. Ribeiro and G. J. Pappas, “Risk-Constrained Linear Quadratic Regulators,” in Proc. 59th IEEE Conference on Decision and Control (CDC), Jeju, Korea, December 2020. [DOI]
6. C305
   P. Jagtap, G. J. Pappas and M. Zamani, “Control Barrier Functions for Unknown Nonlinear Systems Using Gaussian Processes,” in Proc. 59th IEEE Conference on Decision and Control (CDC), Jeju, Korea, December 2020. [DOI]
7. J115
   P. Srivastava, E. Nozari, J. Z. Kim, H. Ju, D. Zhou, C. Becker, F. Pasqualetti, G. J. Pappas and D. S. Bassett, “Models of Communication and Control for Brain Networks: Distinctions, Convergence, and Future Outlook,” Network Neuroscience, vol. 4, no. 4, pp. 1122–1159, November 2020. [DOI]
8. C304
   D. G. Macharet, A. K. Chen, D. Shishika, G. J. Pappas and V. Kumar, “Adaptive Partitioning for Coordinated Multi-Agent Perimeter Defense,” in Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Las Vegas, NV, November 2020. [DOI]
9. J114
   D. S. Kalogerias, M. Eisen, L. Chamon, G. J. Pappas and A. Ribeiro, “Model-Free Learning of Optimal Ergodic Policies in Wireless Systems,” IEEE Transactions on Signal Processing, vol. 68, pp. 6272–6286, October 2020. [DOI]
10. J113
    C. Becker, S. Pequito, G. J. Pappas and V. M. Preciado, “Network Design for Controllability Metrics,” IEEE Transactions on Control of Network Systems, vol. 7, no. 3, pp. 1404–1415, September 2020. [DOI]
11. J112
    V. Vasilopoulos, G. Pavlakos, S. L. Bowman, J. D. Caporale, K. Daniilidis, G. J. Pappas and D. E. Koditschek, “Reactive Semantic Planning in Unexplored Semantic Environments Using Deep Perceptual Feedback,” IEEE Robotics and Automation Letters, vol. 5, no. 3, pp. 4455–4462, July 2020. [DOI] [Project] [Video] [Code]
12. C303
    K. Gatsis and G. J. Pappas, “Learning to Control over Unknown Wireless Channels,” in Proc. IFAC World Congress, Berlin, Germany, July 2020. [DOI]
13. C302
    A. Alexandru and G. J. Pappas, “Private Weighted Sum Aggregation for Distributed Control Systems,” in Proc. IFAC World Congress, Berlin, Germany, July 2020. [DOI]
14. C301
    H. Hu, K. Gatsis, M. Morari and G. J. Pappas, “Non-Cooperative Distributed MPC with Iterative Learning,” in Proc. IFAC World Congress, Berlin, Germany, July 2020. [DOI]
15. J111
    S. Bowman, C. Nowzari and G. J. Pappas, “Consensus of Multi-Agent Systems via Asynchronous Cloud Communication,” IEEE Transactions on Control of Network Systems, vol. 7, no. 2, pp. 627–637, June 2020. [DOI]
16. C300
    A. Tsiamis, N. Matni and G. J. Pappas, “Sample Complexity of Kalman Filtering for Unknown Systems,” in Proc. Conference on Learning for Dynamics and Control (L4DC), Berkeley, CA, June 2020. L4DC Oral Spotlight [PDF] [Proceedings]
17. C299
    J. Seidman, M. Fazlyab, V. Preciado and G. J. Pappas, “Robust Deep Learning as Optimal Control: Insights and Convergence Guarantees,” in Proc. Conference on Learning for Dynamics and Control (L4DC), Berkeley, CA, June 2020. [PDF] [Proceedings]
18. C298
    Y. Kantaros, M. Malencia, V. Kumar and G. J. Pappas, “Reactive Temporal Logic Planning for Multiple Robots in Unknown Environments,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Paris, June 2020. [DOI]
19. C297
    K. Saulnier, N. Atanasov, G. J. Pappas and V. Kumar, “Information Theoretic Active Exploration in Signed Distance Fields,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Paris, June 2020. [DOI]
20. C296
    L. Zhou, V. Tzoumas, G. J. Pappas and P. Tokekar, “Distributed Attack-Robust Submodular Maximization for Multi-Robot Planning,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Paris, June 2020. [DOI]
21. J110
    A. Tsiamis, K. Gatsis and G. J. Pappas, “State-Secrecy Codes for Networked Linear Systems,” IEEE Transactions on Automatic Control, vol. 65, no. 5, pp. 2001–2015, May 2020. [DOI]
22. J109
    A. Alessandretti, S. Pequito, G. J. Pappas and A. P. Aguiar, “Finite-Dimensional Control of Linear Discrete-Time Fractional Order Systems,” Automatica, vol. 115, art. 108112, May 2020. [DOI]
23. C295
    D. Kalogerias, L. Chamon, G. J. Pappas and A. Ribeiro, “Better Safe than Sorry: Risk-Aware Nonlinear Bayesian Estimation,” in Proc. IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Barcelona, Spain, May 2020. IEEE SPS ICASSP Best Paper Award [DOI]
24. C294
    D. Kalogerias, M. Eisen, G. J. Pappas and A. Ribeiro, “A Zeroth-Order Learning Algorithm for Ergodic Optimization of Wireless Systems with No Models and No Gradients,” in Proc. IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Barcelona, Spain, May 2020. [DOI]
25. C293
    R. Ivanov, T. J. Carpenter, J. Weimer, R. Alur, G. J. Pappas and I. Lee, “Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller,” in Proc. ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Sydney, Australia, April 2020. [DOI] [Code]
26. J108
    A. Ashourvan, S. Pequito, A. N. Khambhati, F. Mikhail, S. N. Baldassano, K. A. Davis, T. H. Lucas, J. M. Vettel, B. Litt, G. J. Pappas and D. S. Bassett, “Model-Based Design for Seizure Control by Stimulation,” Journal of Neural Engineering, vol. 17, no. 2, art. 026009, March 2020. [DOI]
27. J107
    N. Watkins, C. Nowzari and G. J. Pappas, “Robust Economic Model Predictive Control of Continuous-Time Epidemic Processes,” IEEE Transactions on Automatic Control, vol. 65, no. 3, pp. 1116–1131, March 2020. [DOI]
28. J106
    J. Seidman, M. Fazlyab, V. Preciado and G. J. Pappas, “A Control-Theoretic Approach to Analysis and Parameter Selection of Douglas-Rachford Splitting,” IEEE Control Systems Letters, vol. 4, no. 1, pp. 199–204, January 2020. [DOI]

2019 Show / hide

1. C292
   M. Fazlyab, A. Robey, H. Hassani, M. Morari and G. J. Pappas, “Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks,” in Advances in Neural Information Processing Systems (NeurIPS), pp. 11423–11434, December 2019. NeurIPS Oral Spotlight [PDF] [Proceedings] [Code]
2. C291
   A. Tsiamis and G. J. Pappas, “Finite Sample Analysis of Stochastic System Identification,” in Proc. 58th IEEE Conference on Decision and Control (CDC), Nice, France, December 2019. [DOI]
3. C290
   A. B. Alexandru, M. Schulze Darup and G. J. Pappas, “Encrypted Cooperative Control Revisited,” in Proc. 58th IEEE Conference on Decision and Control (CDC), Nice, France, December 2019. [DOI]
4. C289
   M. Hasanbeig, Y. Kantaros, A. Abate, D. Kroening, G. J. Pappas and I. Lee, “Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees,” in Proc. 58th IEEE Conference on Decision and Control (CDC), Nice, France, December 2019. [DOI]
5. C288
   M. Fazlyab, M. Morari and G. J. Pappas, “Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming,” in Proc. 58th IEEE Conference on Decision and Control (CDC), Nice, France, December 2019. [DOI] [Code]
6. Ch38
   A. Alexandru and G. J. Pappas, “Secure Multi-Party Computation for Cloud-Based Control,” in F. Farokhi, editor, Privacy in Dynamical Systems, pp. 179–207, Springer, November 2019. [DOI]
7. C287
   Y. Kantaros and G. J. Pappas, “Optimal Temporal Logic Planning for Multi-Robot Systems in Uncertain Semantic Maps,” in Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Macau, Hong Kong, November 2019. [DOI]
8. C286
   B. Schlotfeldt, N. Atanasov and G. J. Pappas, “Maximum Information Bounds for Planning Active Sensing Trajectories,” in Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Macau, Hong Kong, November 2019. [DOI]
9. C285
   H. Jeong, B. Schlotfeldt, H. Hassani, M. Morari, D. Lee and G. J. Pappas, “Learning Q-Network for Active Information Acquisition,” in Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Macau, Hong Kong, November 2019. [DOI] [Code]
10. C284
    E. Tolstaya, F. Gama, J. Paulos, G. J. Pappas, V. Kumar and A. Ribeiro, “Learning Decentralized Controllers for Robot Swarms with Graph Neural Networks,” in Proc. Conference on Robot Learning (CoRL), PMLR vol. 100, pp. 671–682, Osaka, Japan, October 2019. [Proceedings] [Code]
11. C283
    H. Hu, K. Gatsis, M. Morari and G. J. Pappas, “Tuning Communication Latency for Distributed Model Predictive Control,” in Proc. IFAC Workshop on Distributed Estimation and Control in Networked Systems (NecSys), Chicago, IL, September 2019. [DOI]
12. C282
    H. Jeong, C. Zhang, G. J. Pappas and D. Lee, “Assumed Density Filtering Q-Learning,” in Proc. 28th International Joint Conference on Artificial Intelligence (IJCAI), Macau, China, August 2019. [DOI] [Code]
13. C281
    A. Tsiamis, A. B. Alexandru and G. J. Pappas, “Motion Planning with Secrecy,” in Proc. American Control Conference (ACC), Philadelphia, PA, July 2019. AACC American Control Conference Best Student Paper Award Finalist [DOI]
14. C280
    P. P. V. Tecchio, N. Atanasov, S. Shahrampour and G. J. Pappas, “N-Dimensional Distributed Network Localization with Noisy Range Measurements and Arbitrary Anchor Placement,” in Proc. American Control Conference (ACC), Philadelphia, PA, July 2019. [DOI]
15. C279
    N. J. Watkins and G. J. Pappas, “Optimal Reset Strategies for Mitigating Malware Epidemics,” in Proc. American Control Conference (ACC), Philadelphia, PA, July 2019. [DOI]
16. C278
    J. Li, X. Chen, S. Pequito, G. J. Pappas and V. M. Preciado, “Resilient Structural Stabilizability of Undirected Networks,” in Proc. American Control Conference (ACC), Philadelphia, PA, July 2019. [DOI]
17. J105
    S. Pequito, F. Khorrami, P. Krishnamurthy and G. J. Pappas, “Analysis and Design of Actuation-Sensing-Communication Interconnection Structures Towards Secured/Resilient LTI Closed-Loop Systems,” IEEE Transactions on Control of Network Systems, vol. 6, no. 2, pp. 667–678, June 2019. [DOI]
18. C277
    Y. Kantaros, B. Schlotfeldt, N. Atanasov and G. J. Pappas, “Asymptotically Optimal Planning for Non-Myopic Multi-Robot Information Gathering,” in Proc. Robotics: Science and Systems (RSS), Freiburg, Germany, June 2019. [DOI]
19. J104
    N. J. Watkins and G. J. Pappas, “Control of Generalized Discrete-Time SIS Epidemics via Submodular Function Minimization,” IEEE Control Systems Letters, vol. 3, no. 2, pp. 314–319, April 2019. [DOI]
20. C276
    A. Alexandru and G. J. Pappas, “Encrypted LQG Using Labeled Homomorphic Encryption,” in Proc. ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Montreal, Canada, April 2019. ACM/IEEE ICCPS Best Paper Award Finalist [DOI]
21. C275
    R. Ivanov, J. Weimer, R. Alur, G. J. Pappas and I. Lee, “Verisig: Verifying Safety Properties of Hybrid Systems with Neural Network Controllers,” in Proc. ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Montreal, Canada, April 2019. [DOI] [Code]
22. J103
    X. Chen, S. Pequito, G. J. Pappas and V. M. Preciado, “Minimal Edge Addition for Network Controllability,” IEEE Transactions on Control of Network Systems, vol. 6, no. 1, pp. 312–323, March 2019. [DOI]
23. J102
    M. Eisen, K. Gatsis, G. J. Pappas and A. Ribeiro, “Learning in Wireless Control Systems over Non-Stationary Channels,” IEEE Transactions on Signal Processing, vol. 67, no. 5, pp. 1123–1137, March 2019. [DOI]
24. J101
    A. Jadbabaie, A. Olshevsky, G. J. Pappas and V. Tzoumas, “Minimal Reachability Is Hard to Approximate,” IEEE Transactions on Automatic Control, vol. 64, no. 2, pp. 783–789, February 2019. [DOI]
25. J100
    R. Ivanov, N. Atanasov, M. Pajic, J. Weimer, G. J. Pappas and I. Lee, “Continuous Estimation Using Context-Dependent Discrete Measurements,” IEEE Transactions on Automatic Control, vol. 64, no. 1, pp. 238–253, January 2019. [DOI]
26. J99
    L. Zhou, V. Tzoumas, G. J. Pappas and P. Tokekar, “Resilient Active Target Tracking with Multiple Robots,” IEEE Robotics and Automation Letters, vol. 4, no. 1, pp. 129–136, January 2019. [DOI] [Video]
27. J98
    F. Miao, S. Han, S. Lin, Q. Wang, J. A. Stankovic, A. Hendawi, D. Zhang, T. He and G. J. Pappas, “Data-Driven Robust Taxi Dispatch under Demand Uncertainties,” IEEE Transactions on Control Systems Technology, vol. 27, no. 1, pp. 175–191, January 2019. [DOI]

2018 Show / hide

1. C274
   K. Gatsis and G. J. Pappas, “Sample Complexity of Networked Control Systems over Unknown Channels,” in Proc. 57th IEEE Conference on Decision and Control (CDC), Miami, FL, December 2018. [DOI]
2. C273
   A. B. Alexandru, M. Morari and G. J. Pappas, “Cloud-Based MPC with Encrypted Data,” in Proc. 57th IEEE Conference on Decision and Control (CDC), Miami, FL, December 2018. [DOI]
3. C272
   V. Tzoumas, A. Jadbabaie and G. J. Pappas, “Resilient Monotone Sequential Maximization,” in Proc. 57th IEEE Conference on Decision and Control (CDC), Miami, FL, December 2018. [DOI]
4. C271
   J. H. Seidman, M. Fazlyab, G. J. Pappas and V. M. Preciado, “A Chebyshev-Accelerated Primal-Dual Method for Distributed Optimization,” in Proc. 57th IEEE Conference on Decision and Control (CDC), Miami, FL, December 2018. [DOI]
5. C270
   A. Tsiamis, K. Gatsis and G. J. Pappas, “An Information Matrix Approach for State Secrecy,” in Proc. 57th IEEE Conference on Decision and Control (CDC), Miami, FL, December 2018. [DOI]
6. C269
   N. J. Watkins, C. Nowzari and G. J. Pappas, “A Robust Moment Closure for General Continuous-Time Epidemic Processes,” in Proc. 57th IEEE Conference on Decision and Control (CDC), Miami, FL, December 2018. [DOI]
7. C268
   J. Li, X. Chen, S. Pequito, G. J. Pappas and V. M. Preciado, “Structural Target Controllability of Undirected Networks,” in Proc. 57th IEEE Conference on Decision and Control (CDC), Miami, FL, December 2018. [DOI]
8. C267
   B. Schlotfeldt, D. Thakur, N. Atanasov, V. Kumar and G. J. Pappas, “Resilient Active Information Gathering with Mobile Robots,” in Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Madrid, Spain, October 2018. [DOI]
9. J97
   Y. Shoukry, P. Nuzzo, A. L. Sangiovanni-Vincentelli, S. A. Seshia, G. J. Pappas and P. Tabuada, “SMC: Satisfiability Modulo Convex Programming,” Proceedings of the IEEE, vol. 106, no. 9, pp. 1655–1679, September 2018. [DOI]
10. J96
    F. Koufogiannis and G. J. Pappas, “Diffusing Private Data over Networks,” IEEE Transactions on Control of Network Systems, vol. 5, no. 3, pp. 1027–1037, September 2018. [DOI]
11. J95
    F. Miao, Q. Zhu, M. Pajic and G. J. Pappas, “A Hybrid Stochastic Game for Secure Control of Cyber-Physical Systems,” Automatica, vol. 93, no. 2018, pp. 55–63, July 2018. [DOI]
12. C266
    N. Atanasov, S. L. Bowman, K. Daniilidis and G. J. Pappas, “A Unifying View of Geometry, Semantics, and Data Association in SLAM,” in Proc. 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence, Stockholm, Sweden, July 2018. [DOI]
13. J94
    V. Tzoumas, Y. Xue, S. Pequito, P. Bogdan and G. J. Pappas, “Selecting Sensors in Biological Fractional-Order Systems,” IEEE Transactions on Control of Network Systems, Special issue on Approaches to Control Biological and Biologically Inspired Networks, vol. 5, no. 2, pp. 709–721, June 2018. [DOI]
14. C265
    A. Tsiamis, K. Gatsis and G. J. Pappas, “State-Secrecy Codes for Stable Systems,” in Proc. American Control Conference (ACC), Milwaukee, WI, June 2018. [DOI]
15. C264
    V. Tzoumas, L. Carlone, G. J. Pappas and A. Jadbabaie, “Sensing-Constrained LQG Control,” in Proc. American Control Conference (ACC), Milwaukee, WI, June 2018. [DOI]
16. C263
    N. J. Watkins, K. Gatsis, M. Morari and G. J. Pappas, “Scenario-Based Model Predictive Control for Energy Harvesting Actuators,” in Proc. American Control Conference (ACC), Milwaukee, WI, June 2018. [DOI]
17. C262
    K. Sun, K. Saulnier, N. Atanasov, G. J. Pappas and V. Kumar, “Dense 3-D Mapping with Spatial Correlation via Gaussian Filtering,” in Proc. American Control Conference (ACC), Milwaukee, WI, June 2018. [DOI]
18. C261
    M. Eisen, K. Gatsis, G. J. Pappas and A. Ribeiro, “Learning in Non-Stationary Wireless Control Systems via Newton’s Method,” in Proc. American Control Conference (ACC), Milwaukee, WI, June 2018. [DOI]
19. C260
    S. Chen, K. Saulnier, N. Atanasov, D. D. Lee, V. Kumar, G. J. Pappas and M. Morari, “Approximating Explicit Model Predictive Control Using Constrained Neural Networks,” in Proc. American Control Conference (ACC), Milwaukee, WI, June 2018. [DOI]
20. C259
    M. Eisen, K. Gatsis, G. J. Pappas and A. Ribeiro, “Optimization of Switched Linear Systems over NonStationary Wireless Channels,” in Proc. IEEE International Workshop on Signal Processing Advances in Wireless Communications (SPAWC), Kalamata, Greece, June 2018. [DOI]
21. J93
    S. Han and G. J. Pappas, “Privacy in Control and Dynamical Systems,” Annual Reviews in Control, Robotics, and Autonomous Systems, vol. 1, pp. 309–332, May 2018. [DOI]
22. J92
    K. Gatsis, A. Ribeiro and G. J. Pappas, “Random Access Design for Wireless Control Systems,” Automatica, vol. 91, pp. 1–9, May 2018. [DOI]
23. Ch37
    L. Doyen, G. Frehse, G. J. Pappas and A. Platzer, “Verification of Hybrid Systems,” in E. Clarke, T. Henzinger, H. Veith and R. Bloem, editors, Handbook of Model Checking, pp. 1047–1110, Springer, May 2018. [DOI]
24. J91
    B. Schlotfeldt, D. Thakur, N. Atanasov, V. Kumar and G. J. Pappas, “Anytime Planning for Decentralized Multi-Robot Active Information Gathering,” IEEE Robotics and Automation Letters, vol. 3, no. 2, pp. 1025–1032, April 2018. [DOI]
25. C258
    Y. Yuan, D. Zhang, F. Miao, J. A. Stankovic, T. He, G. J. Pappas and S. Lin, “Dynamic Integration of Heterogeneous Transportation Modes under Disruptive Events,” in Proc. ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Porto, Portugal, April 2018. [DOI]
26. C257
    M. Eisen, K. Gatsis, G. J. Pappas and A. Ribeiro, “Learning Statistically Accurate Resource Allocations in Non-Stationary Wireless Systems,” in Proc. IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Alberta, Canada, April 2018. [DOI]
27. J90
    N. Watkins, C. Nowzari, V. Preciado and G. J. Pappas, “Optimal Resource Allocation for Competitive Spreading Processes on Bilayer Networks,” IEEE Transactions on Control of Network Systems, vol. 5, no. 1, pp. 298–307, March 2018. [DOI]
28. J89
    C. O. Becker, S. Pequito, G. J. Pappas, M. B. Miller, S. T. Grafton, D. S. Bassett and V. M. Preciado, “Spectral Mapping of Brain Functional Connectivity from Diffusion Imaging,” Nature Scientific Reports. Scientific Reports 8, art. 1411, January 2018. [DOI]

2017 Show / hide

1. C256
   V. Tzoumas, K. Gatsis, A. Jadbabaie and G. J. Pappas, “Resilient Monotone Submodular Function Maximization,” in Proc. 56th IEEE Conference on Decision and Control (CDC), Melbourne, Australia, December 2017. IEEE CSS CDC Best Student Paper Award Finalist [DOI]
2. C255
   A. Tsiamis, K. Gatsis and G. J. Pappas, “State Estimation Codes for Perfect Secrecy,” in Proc. 56th IEEE Conference on Decision and Control (CDC), Melbourne, Australia, December 2017. [DOI]
3. C254
   L. F. D. O. Chamon, G. J. Pappas and A. Ribeiro, “The Mean Square Error in Kalman Filtering Sensor Selection Is Approximately Supermodular,” in Proc. 56th IEEE Conference on Decision and Control (CDC), Melbourne, Australia, December 2017. [DOI]
4. C253
   A. B. Alexandru, S. Pequito, A. Jadbabaie and G. J. Pappas, “On the Limited Communication Analysis and Design for Decentralized Estimation,” in Proc. 56th IEEE Conference on Decision and Control (CDC), Melbourne, Australia, December 2017. [DOI]
5. C252
   F. Koufogiannis and G. J. Pappas, “Differential Privacy for Dynamical Sensitive Data,” in Proc. 56th IEEE Conference on Decision and Control (CDC), Melbourne, Australia, December 2017. [DOI]
6. C251
   N. J. Watkins, K. Gatsis, C. Nowzari and G. J. Pappas, “Battery Management for Control Systems with Energy Harvesting Sensors,” in Proc. 56th IEEE Conference on Decision and Control (CDC), Melbourne, Australia, December 2017. [DOI]
7. C250
   C. Becker, S. Pequito, G. J. Pappas and V. M. Preciado, “Network Design for Controllability Metrics,” in Proc. 56th IEEE Conference on Decision and Control (CDC), Melbourne, Australia, December 2017. [DOI]
8. C249
   Y. Shoukry, P. Nuzzo, A. Balkan, I. Saha, A. L. Sangiovanni-Vincentelli, S. A. Seshia, G. J. Pappas and P. Tabuada, “Linear Temporal Logic Motion Planning for Teams of Underactuated Robots Using Satisfiability Modulo Convex Programming,” in Proc. 56th IEEE Conference on Decision and Control (CDC), Melbourne, Australia, December 2017. [DOI]
9. C248
   X. Chen, F. Miao, G. J. Pappas and V. M. Preciado, “Hierarchical Data-Driven Vehicle Dispatch and Ride-Sharing,” in Proc. 56th IEEE Conference on Decision and Control (CDC), pp. 4458–4463, Melbourne, Australia, December 2017. [DOI]
10. C247
    A. Alexandru, K. Gatsis and G. J. Pappas, “Privacy Preserving Cloud-Based Quadratic Optimization,” in Proc. Allerton Conference on Communication, Control, and Computing, Allerton, IL, October 2017. [DOI]
11. C246
    A. Tsiamis, S. Pequito and G. J. Pappas, “Distributed Leader Selection in Switching Networks of High-Order Integrators,” in Proc. Allerton Conference on Communication, Control, and Computing, Allerton, IL, October 2017. [DOI]
12. C245
    A. Tsiamis, K. Gatsis and G. J. Pappas, “State Estimation with Secrecy Against Eavesdroppers,” in Proc. IFAC World Congress, Toulouse, France, July 2017. IFAC World Congress Young Author Prize Finalist [DOI]
13. W3
    E. Mynatt, D. Lopresti, G. J. Pappas, J. Clark, G. Morrisett, S. Patel, G. Hager, K. Nahrstedt, J. Rexford, H. Wright and B. Zorn, “A National Research Agenda for Intelligent Infrastructure,” Computing Community Consortium white paper, Computing Research Association, 2017. [PDF] [Publisher]
14. W2
    C. Dwork and G. J. Pappas, “Privacy in Information-Rich Intelligent Infrastructure,” Computing Community Consortium white paper, Computing Research Association, 2017. [PDF] [Publisher]
15. W1
    R. Mangharam, H. Balakrishnan, L. Richards, M. Reyerson, A. Bayen, L. Bagley, S. Viscelli, S. Amin and G. J. Pappas, “Mobility21: Strategic Investments for Transportation Infrastructure & Technology,” Computing Community Consortium white paper, Computing Research Association, 2017. [PDF] [Publisher]
16. J88
    C. N. V. Preciado and G. J. Pappas, “Optimal Resource Allocation for Control of Networked Epidemic Models,” IEEE Transactions on Control of Network Systems, vol. 4, no. 2, pp. 159–169, June 2017. [DOI]
17. C244
    S. Bowman, N. Atanasov, K. Daniilidis and G. J. Pappas, “Probabilistic Data Association for Semantic SLAM,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Singapore, June 2017. IEEE RAS ICRA Best Conference Paper Award [DOI]
18. C243
    S. Han, U. Topcu and G. J. Pappas, “Quantification on the Efficiency Gain of Automated Ridesharing Services,” in Proc. American Control Conference (ACC), Seattle, WA, May 2017. [DOI]
19. C242
    V. Tzoumas, N. Atanasov, A. Jadbabaie and G. J. Pappas, “Scheduling Nonlinear Sensors for Stochastic Process Estimation,” in Proc. American Control Conference (ACC), Seattle, WA, May 2017. [DOI]
20. C241
    N. J. Watkins, C. Nowzari and G. J. Pappas, “Inference, Prediction and Control of Networked Epidemics,” in Proc. American Control Conference (ACC), Seattle, WA, May 2017. [DOI]
21. C240
    S. Pequito, A. Clark and G. J. Pappas, “Discrete-Time Fractional-Order Multiple Scenario-Based Sensor Selection,” in Proc. American Control Conference (ACC), Seattle, WA, May 2017. [DOI]
22. C239
    S. Pequito, A. Ashourvan, D. Bassett, B. Litt and G. J. Pappas, “Spectral Control of Cortical Activity,” in Proc. American Control Conference (ACC), Seattle, WA, May 2017. [DOI]
23. J87
    M. Pajic, I. Lee and G. J. Pappas, “Attack-Resilient State Estimation for Noisy Dynamical Systems,” IEEE Transactions on Control of Network Systems, Special issue on Cyber-physical systems security, vol. 4, no. 1, pp. 82–92, April 2017. [DOI]
24. J86
    F. Miao, Q. Zhu, M. Pajic and G. J. Pappas, “Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks,” IEEE Transactions on Control of Network Systems, Special issue on Cyber-physical systems security, vol. 4, no. 1, pp. 106–117, April 2017. [DOI]
25. J85
    M. Pajic, J. Weimer, N. Bezzo, O. Sokolsky, G. J. Pappas and I. Lee, “Design and Implementation of Attack-Resilient Cyberphysical Systems: With a Focus on Attack-Resilient State Estimators,” IEEE Control Systems Magazine, vol. 37, no. 2, pp. 66–81, April 2017. [DOI]
26. J84
    K. Saulnier, D. Saldana, A. Prorok, G. J. Pappas and V. Kumar, “Resilient Flocking for Mobile Robot Teams,” IEEE Robotics and Automation Letters, vol. 2, no. 2, pp. 1039–1046, April 2017. [DOI]
27. J83
    S. Pequito and G. J. Pappas, “Structural Minimum Controllability Problem for Switched Linear Continuous-Time Systems,” Automatica, vol. 78, pp. 216–222, April 2017. [DOI]
28. C238
    C. di Franco, A. Prorok, N. Atanasov, B. Kempke, P. Dutta, V. Kumar and G. J. Pappas, “Calibration-Free Network Localization Using Non-Line-Of-Sight Ultra-Wideband Measurements,” in Proc. ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN), Pittsburgh, PA, April 2017. [DOI]
29. C237
    Y. Shoukry, P. Nuzzo, A. L. Sangiovanni-Vincentelli, S. A. Seshia, G. J. Pappas and P. Tabuada, “SMC: Satisfiability Modulo Convex Optimization,” in Proc. ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Pittsburgh, PA, April 2017. [DOI]
30. C236
    F. Miao, S. Han, A. Hendawi, M. E. Khalefa, J. A. Stankovic and G. J. Pappas, “Data-Driven Distributionally Robust Vehicle Balancing Using Dynamic Region Partitions,” in Proc. ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Pittsburgh, PA, April 2017. [DOI]
31. C235
    K. Gatsis and G. J. Pappas, “Poster Abstract: Wireless Control for the IoT: Power, Spectrum, and Security Challenges,” in Proc. 2nd IEEE/ACM International Conference on Internet-of-Things Design and Implementation (IoTDI), pp. 341–342, Pittsburgh, PA, April 2017. IEEE/ACM IoTDI Best Poster Award [DOI]
32. W4
    G. J. Pappas, “Mentor the Researcher, Not the Research: An Essay on PhD Mentoring,” University of Pennsylvania Almanac, vol. 63, no. 25, February 2017. [Publisher]
33. J82
    F. Koufogiannis, S. Han and G. J. Pappas, “Gradual Release of Sensitive Data under Differential Privacy,” Journal of Privacy and Confidentiality, vol. 7, no. 2, art. 3, January 2017. [DOI]
34. J81
    S. Pequito, V. Preciado, A. L. Barabasi and G. J. Pappas, “Trade-Offs Between Driving Nodes and Time-To-Control in Complex Networks,” Nature Scientific Reports 7, art. 39978, January 2017. [DOI]
35. J80
    S. Han, U. Topcu and G. J. Pappas, “Differentially-Private Distributed Constrained Optimization,” IEEE Transactions on Automatic Control, vol. 62, no. 1, pp. 50–64, January 2017. [DOI]

2016 Show / hide

1. B3
   National Academies of Sciences, Engineering, and Medicine (G. J. Pappas, Committee Member), “A 21st Century Cyber-Physical Systems Education,” The National Academies Press, Washington, DC, December 2016. [DOI]
2. C234
   J. Cortes, G. E. Dullerud, S. Han, J. Le Ny, S. Mitra and G. J. Pappas, “Differential Privacy in Control and Network Systems,” in Proc. 55th IEEE Conference on Decision and Control (CDC), Las Vegas, NV, December 2016. [DOI]
3. C233
   Y. Shoukry, K. Gatsis, A. Alanwar, G. J. Pappas, S. A. Seshia, M. Srivastava and P. Tabuada, “Privacy-Aware Quadratic Optimization Using Partially Homomorphic Encryption,” in Proc. 55th IEEE Conference on Decision and Control (CDC), Las Vegas, NV, December 2016. [DOI]
4. C232
   Y. Shoukry, P. Nuzzo, I. Saha, A. Sangiovanni-Vincentelli, S. A. Seshia, G. J. Pappas and P. Tabuada, “Scalable Lazy SMT-Based Motion Planning,” in Proc. 55th IEEE Conference on Decision and Control (CDC), Las Vegas, NV, December 2016. [DOI]
5. C231
   V. Tzoumas, A. Jadbabaie and G. J. Pappas, “Near-Optimal Sensor Scheduling for Batch State Estimation: Complexity, Algorithms, and Limits,” in Proc. 55th IEEE Conference on Decision and Control (CDC), Las Vegas, NV, December 2016. [DOI]
6. C230
   K. Gatsis, A. Ribeiro and G. J. Pappas, “State-Based Communication Design for Wireless Control Systems,” in Proc. 55th IEEE Conference on Decision and Control (CDC), Las Vegas, NV, December 2016. [DOI]
7. C229
   F. Koufogiannis and G. J. Pappas, “Location-Dependent Privacy,” in Proc. 55th IEEE Conference on Decision and Control (CDC), Las Vegas, NV, December 2016. [DOI]
8. C228
   F. Koufogiannis and G. J. Pappas, “Multi-Owner Multi-User Privacy,” in Proc. 55th IEEE Conference on Decision and Control (CDC), Las Vegas, NV, December 2016. [DOI]
9. C227
   A. B. Alexandru, S. Pequito, A. Jadbabaie and G. J. Pappas, “Decentralized Observability with Limited Communication Between Sensors,” in Proc. 55th IEEE Conference on Decision and Control (CDC), Las Vegas, NV, December 2016. [DOI]
10. C226
    S. L. Bowman, C. Nowzari and G. J. Pappas, “Coordination of Multi-Agent Systems via Asynchronous Cloud Communication,” in Proc. 55th IEEE Conference on Decision and Control (CDC), Las Vegas, NV, December 2016. [DOI]
11. C225
    M. Fazlyab, C. Nowzari, G. J. Pappas, A. Ribeiro and V. M. Preciado, “Self-Triggered Time-Varying Convex Optimization,” in Proc. 55th IEEE Conference on Decision and Control (CDC), Las Vegas, NV, December 2016. [DOI]
12. C223
    C. O. Becker, S. Pequito, G. J. Pappas and V. M. Preciado, “Approximation of Network Linear Operators Using Similarity Shift Filters,” in Proc. IEEE Global Conference on Signal and Information Processing (GlobalSIP), pp. 420–424, Washington, DC, December 2016. [DOI]
13. C222
    N. Bezzo, K. Mohta, C. Nowzari, I. Lee, V. Kumar and G. J. Pappas, “Online Planning for Energy-Efficient and Disturbance-Aware UAV Operations,” in Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Daejeon, Korea, October 2016. [DOI]
14. C221
    Y. Xue, S. Pequito, J. M. R. Coelho, P. Bogdan and G. J. Pappas, “Minimum Number of Sensors to Ensure Observability of Physiological Systems: A Case Study,” in Proc. Allerton Conference on Communication, Control, and Computing, Allerton, IL, October 2016. [DOI]
15. C220
    S. Han, U. Topcu and G. J. Pappas, “Event-Based Information-Theoretic Privacy: A Case Study of Smart Meters,” in Proc. American Control Conference (ACC), Boston, MA, July 2016. [DOI]
16. C219
    C. Nowzari and G. J. Pappas, “Multi-Agent Coordination with Asynchronous Cloud Access,” in Proc. American Control Conference (ACC), Boston, MA, July 2016. [DOI]
17. C218
    S. Pequito, A. Khambhati, G. J. Pappas, D. D. Siljak, D. Bassett and B. Litt, “Structural Analysis and Design of Dynamic-Flow Networks: Implications in the Brain Dynamics,” in Proc. American Control Conference (ACC), Boston, MA, July 2016. [DOI]
18. C217
    F. Koufogiannis and G. J. Pappas, “Diffusing Private Data over Networks,” in Proc. American Control Conference (ACC), Boston, MA, July 2016. [DOI]
19. C216
    V. Tzoumas, A. Jadbabaie and G. J. Pappas, “Sensor Placement for Optimal Kalman Filtering: Fundamental Limits, Submodularity, and Algorithms,” in Proc. American Control Conference (ACC), Boston, MA, July 2016. [DOI]
20. C224
    J. Zillies, S. Westphal, V. Kumar, D. Thakur, G. J. Pappas and D. Scheidt, “A Column Generation Approach for Optimized Routing and Coordination of a UAV Fleet,” in Proc. IEEE International Symposium on Safety, Security and Rescue Robotics (SSRR), Lausanne, Switzerland, 2016. [DOI]
21. C215
    J. Fu, N. Atanasov, U. Topcu and G. J. Pappas, “Optimal Temporal Logic Planning in Probabilistic Semantic Maps,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Stockholm, Sweden, May 2016. [DOI]
22. J79
    F. Miao, S. Han, S. Lin, S. Munir, J. A. Stankovic, H. Huang, D. Zhang, T. He and G. J. Pappas, “Taxi Dispatch with Real-Time Sensing Data in Metropolitan Areas: A Receding Horizon Control Approach,” IEEE Transactions on Automation Science and Engineering, vol. 13, no. 2, pp. 463–478, April 2016. [DOI]
23. C214
    K. Gatsis, A. Ribeiro and G. J. Pappas, “Control-Aware Random Access Communication,” in Proc. ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Vienna, Austria April 2016. [DOI]
24. C213
    R. Ivanov, N. Atanasov, J. Weimer, M. Pajic, A. Simpao, M. Rehman, G. J. Pappas and I. Lee, “Estimation of Blood Oxygen Content Using Context-Aware Filtering,” in Proc. ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Vienna, Austria April 2016. [DOI]
25. C212
    I. Saha, R. Ramaitithima, V. Kumar, G. J. Pappas and S. A. Seshia, “Implan: Scalable Incremental Motion Planning for Multi-Robot Systems,” in Proc. ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Vienna, Austria April 2016. [DOI]
26. J78
    V. Tzoumas, M. A. Rahimian, G. J. Pappas and A. Jadbabaie, “Minimal Actuator Placement with Bounds on Control Effort,” IEEE Transactions on Control of Network Systems, vol. 3, no. 1, pp. 67–78, March 2016. [DOI]
27. J77
    S. Lin, F. Miao, J. Zhang, G. Zhou, L. Gu, T. He, J. Stankovic, S. Song and G. J. Pappas, “ATPC: Adaptive Transmission Power Control for Wireless Sensor Networks,” ACM Transactions on Sensor Networks, vol. 12, no. 1, art. 6, pp. 1–31, March 2016. [DOI]
28. J76
    C. Nowzari, V. Preciado and G. J. Pappas, “Analysis and Control of Epidemics: A Survey of Spreading Processes on Complex Networks,” IEEE Control Systems Magazine, vol. 36, no. 1, pp. 26–46, February 2016. IEEE CSS Control Systems Magazine Outstanding Paper Award, 2018 [DOI]
29. J75
    N. Atanasov, M. Zhu, K. Daniilidis and G. J. Pappas, “Localization from Semantic Observations via the Matrix Permanent,” International Journal of Robotics Research, vol. 35, no. 1-3, pp. 73–99, January 2016. [DOI]

2015 Show / hide

1. J73
   K. Gatsis, M. Pajic, A. Ribeiro and G. J. Pappas, “Opportunistic Control over Shared Wireless Channels,” IEEE Transactions on Automatic Control, vol. 60, no. 12, pp. 3140–3155, December 2015. [DOI]
2. C211
   S. Pequito, V. Preciado and G. J. Pappas, “Distributed Leader Selection,” in Proc. 54th IEEE Conference on Decision and Control (CDC), Osaka, Japan, December 2015. [DOI]
3. C210
   V. Tzoumas, A. Jadbabaie and G. J. Pappas, “Minimal Reachability Problems,” in Proc. 54th IEEE Conference on Decision and Control (CDC), Osaka, Japan, December 2015. [DOI]
4. C209
   X. Meng, L. Xie, Y. C. Soh, C. Nowzari and G. J. Pappas, “Periodic Event-Triggered Average Consensus over Directed Graphs,” in Proc. 54th IEEE Conference on Decision and Control (CDC), Osaka, Japan, December 2015. [DOI]
5. C208
   F. Miao, S. Han, S. Lin and G. J. Pappas, “Robust Taxi Dispatch under Model Uncertainties,” in Proc. 54th IEEE Conference on Decision and Control (CDC), Osaka, Japan, December 2015. [DOI]
6. C207
   K. Gatsis, A. Ribeiro and G. J. Pappas, “Control with Random Access Wireless Sensors,” in Proc. 54th IEEE Conference on Decision and Control (CDC), Osaka, Japan, December 2015. [DOI]
7. C206
   C. Nowzari, M. Ogura, V. M. Preciado and G. J. Pappas, “A General Class of Spreading Processes with Non-Markovian Dynamics,” in Proc. 54th IEEE Conference on Decision and Control (CDC), Osaka, Japan, December 2015. [DOI]
8. C205
   S. Pequito, P. Bogdan and G. J. Pappas, “Minimum Number of Probes for Brain Dynamics Observability,” in Proc. 54th IEEE Conference on Decision and Control (CDC), Osaka, Japan, December 2015. [DOI]
9. C204
   J. Carvalho, S. Pequito, A. P. Aguiar, S. Kar and G. J. Pappas, “Static Output Feedback: On Essential Feasible Information Patterns,” in Proc. 54th IEEE Conference on Decision and Control (CDC), Osaka, Japan, December 2015. [DOI]
10. C203
    S. Han, U. Topcu and G. J. Pappas, “A Sublinear Algorithm for Barrier-Certificate-Based Data-Driven Model Validation of Dynamical Systems,” in Proc. 54th IEEE Conference on Decision and Control (CDC), Osaka, Japan, December 2015. [DOI]
11. C202
    M. Pajic, P. Tabuada, I. Lee and G. J. Pappas, “Attack-Resilient State Estimation in the Presence of Noise,” in Proc. 54th IEEE Conference on Decision and Control (CDC), Osaka, Japan, December 2015. [DOI]
12. C201
    S. A. Aleem, C. Nowzari and G. J. Pappas, “Self-Triggered Pursuit of a Single Evader,” in Proc. 54th IEEE Conference on Decision and Control (CDC), Osaka, Japan, December 2015. [DOI]
13. J74
    S. Han, V. Preciado, C. Nowzari and G. J. Pappas, “Data-Driven Network Resource Allocation for Controlling Spreading Processes,” IEEE Transactions on Network Science, vol. 2, no. 4, pp. 127–138, October-December 2015. [DOI]
14. C199
    R. Ivanov, N. A. Atanasov, M. Pajic, G. J. Pappas and I. Lee, “Robust Estimation Using Context-Aware Filtering,” in Proc. Allerton Conference on Communication, Control, and Computing, Allerton, IL, October 2015. [DOI]
15. C198
    M. Pajic, I. Lee and G. J. Pappas, “Automatic Verification of Linear Controller Software,” in Proc. International Conference on Embedded Software (EMSOFT), Amsterdam, Netherlands, October 2015. [DOI]
16. C197
    K. Gatsis, A. Ribeiro and G. J. Pappas, “Decentralized Channel Access for Wireless Control Systems,” in Proc. IFAC Workshop on Distributed Estimation and Control in Networked Systems (NecSys), Philadelphia, PA, September 2015. [DOI]
17. C196
    S. Pequito, J. Svacha, G. J. Pappas and V. Kumar, “Sparsest Minimum Multiple-Cost Structural Leader Selection,” in Proc. IFAC Workshop on Distributed Estimation and Control in Networked Systems (NecSys), Philadelphia, PA, September 2015. [DOI]
18. C195
    V. Tzoumas, M. A. Rahimian, G. J. Pappas and A. Jadbabaie, “Minimal Actuator Placement with Optimal Control Constraints,” in Proc. American Control Conference (ACC), Chicago, IL, July 2015. [DOI]
19. C194
    C. Nowzari, J. Cortes and G. J. Pappas, “Team-Triggered Coordination of Robotic Networks for Optimal Deployment,” in Proc. American Control Conference (ACC), Chicago, IL, July 2015. [DOI]
20. C193
    S. Han, U. Topcu and G. J. Pappas, “An Approximately Truthful Mechanism for Electric Vehicle Charging via Joint Differential Privacy,” in Proc. American Control Conference (ACC), Chicago, IL, July 2015. [DOI]
21. C192
    K. Gatsis, U. Topcu and G. J. Pappas, “Value of Forecasts in Planning under Uncertainty,” in Proc. American Control Conference (ACC), Chicago, IL, July 2015. [DOI]
22. C191
    S. Pequito, S. Kar and G. J. Pappas, “Minimum Cost Constrained Input-Output and Control Configuration Co-Design Problem: A Structural Systems Approach,” in Proc. American Control Conference (ACC), Chicago, IL, July 2015. AACC O. Hugo Schuck Best Paper Award, 2016 [DOI]
23. C190
    N. J. Watkins, C. Nowzari, V. M. Preciado and G. J. Pappas, “Optimal Resource Allocation for Competing Epidemics over Arbitrary Networks,” in Proc. American Control Conference (ACC), Chicago, IL, July 2015. [DOI]
24. C189
    C. Enyioha, A. Jadbabaie, V. Preciado and G. J. Pappas, “Distributed Resource Allocation for Control of Spreading Processes,” in Proc. European Control Conference (ECC), pp. 2216–2221, Linz, Austria, July 2015. [DOI]
25. C200
    C. Nowzari, M. Ogura, V. M. Preciado and G. J. Pappas, “Optimal Resource Allocation for Containing Epidemics on Time-Varying Networks,” in Proc. Asilomar Conference on Signals, Systems, and Computers, Pacific Grove, California, 2015. [DOI]
26. C188
    N. Atanasov, J. Le Ny, K. Daniilidis and G. J. Pappas, “Decentralized Active Information Acquisition: Theory and Application to Multi-Robot SLAM,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Seattle, WA, May 2015. [DOI]
27. C187
    F. Miao, S. Lin, S. Munir, J. A. Stankovic, H. Huang, D. Zhang, T. He and G. J. Pappas, “Taxi Dispatch with Real-Time Sensing Data in Metropolitan Areas- a Receding Horizon Control Approach,” in Proc. ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Seattle, WA, April 2015. ACM/IEEE ICCPS Best Paper Award Finalist [DOI]
28. C186
    S. Pequito and G. J. Pappas, “Smart Building: A Private Cyber-Physical System Approach,” in Proc. 2nd International Workshop on the Swarm at the Edge of the Cloud (SWEC), pp. 1–6, Seattle, WA, April 2015. [DOI]
29. J72
    N. Atanasov, J. Le Ny and G. J. Pappas, “Distributed Algorithms for Stochastic Source Seeking with Mobile Robot Networks,” ASME Journal on Dynamic Systems, Measurement, and Control, vol. 137, no. 3, March 2015. [DOI]

2014 Show / hide

1. C185
   C. Nowzari, V. M. Preciado and G. J. Pappas, “Stability Analysis of Generalized Epidemic Models over Directed Networks,” in Proc. 53rd IEEE Conference on Decision and Control (CDC), Los Angeles, CA, December 2014. [DOI]
2. C184
   F. Miao, Q. Zhu, M. Pajic and G. J. Pappas, “Coding Sensor Outputs for Injection Attacks Detection,” in Proc. 53rd IEEE Conference on Decision and Control (CDC), Los Angeles, CA, December 2014. [DOI]
3. C183
   K. Gatsis, M. Pajic, A. Ribeiro and G. J. Pappas, “Opportunistic Sensor Scheduling in Wireless Control Systems,” in Proc. 53rd IEEE Conference on Decision and Control (CDC), Los Angeles, CA, December 2014. [DOI]
4. C182
   N. Atanasov, R. Tron, V. M. Preciado and G. J. Pappas, “Joint Estimation and Localization in Sensor Networks,” in Proc. 53rd IEEE Conference on Decision and Control (CDC), Los Angeles, CA, December 2014. [DOI]
5. C181
   S. Han, U. Topcu and G. J. Pappas, “Differentially Private Convex Optimization with Piecewise Affine Objectives,” in Proc. 53rd IEEE Conference on Decision and Control (CDC), Los Angeles, CA, December 2014. [DOI]
6. C180
   C. Enyioha, M. A. Rahimian, G. J. Pappas and A. Jadbabaie, “Controllability and Fraction of Leaders in Infinite Networks,” in Proc. 53rd IEEE Conference on Decision and Control (CDC), Los Angeles, CA, December 2014. [DOI]
7. C179
   F. Koufogiannis, S. Han and G. J. Pappas, “Computation of Privacy-Preserving Prices in Smart Grids,” in Proc. 53rd IEEE Conference on Decision and Control (CDC), Los Angeles, CA, December 2014. [DOI]
8. E5
   K. H. Johansson, G. J. Pappas, P. Tabuada and C. J. Tomlin, “Guest Editorial: Special Issue on Control of Cyber-Physical Systems,” IEEE Transactions on Automatic Control, vol. 59, no. 12, pp. 3120–3121, December 2014. [DOI]
9. J71
   N. Atanasov, B. Sankaran, G. J. Pappas and K. Daniilidis, “Nonmyopic View Planning for Active Object Classification and Pose Estimation,” IEEE Transactions on Robotics, vol. 30, no. 5, pp. 1078–1090, October 2014. [DOI]
10. C178
    S. Han, U. Topcu and G. J. Pappas, “Differentially Private Distributed Protocol for Electric Vehicle Charging,” in Proc. Allerton Conference on Communication, Control, and Computing, pp. 242–249, Monticello, IL, October 2014. [DOI]
11. C177
    I. Saha, R. Ramaithitima, V. Kumar, G. J. Pappas and S. A. Seshia, “Automated Composition of Motion Primitives for Multi-Robot Systems from Safe LTL Specifications,” in Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Chicago, IL, September 2014. [DOI]
12. C176
    N. Bezzo, J. Weimer, M. Pajic, O. Sokolsky, G. J. Pappas and I. Lee, “Attack Resilient State Estimation for Autonomous Robotic Systems,” in Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Chicago, IL, September 2014. [DOI]
13. C175
    M. Zhu, N. Atanasov, K. Daniilidis and G. J. Pappas, “Active Deformable Part Models Inference,” in Proc. European Conference on Computer Vision (ECCV), Lecture Notes in Computer Science, vol. 8695, 2014, pp 281-296, Zurich, Switzerland, September 2014. [DOI]
14. C174
    N. Atanasov, M. Zhu, K. Daniilidis and G. J. Pappas, “Semantic Localization via the Matrix Permanent,” in Proc. Robotics: Science and Systems (RSS), Berkeley, CA, July 2014. [DOI]
15. J70
    E. Lee, J. Rabaye, D. Blaauw, P. Dutta, K. Fu, C. Guestrin, R. Jafari, D. Jones, J. Kubiatowicz, V. Kumar, R. Murray, G. J. Pappas, A. Rowe, A. Sangiovanni-Vincentelli, C. M. Sechen, S. A. Seshia, T. S. Rosing, B. Taskar, J. Wawrzynek and D. Wessel, “The Swarm at the Edge of the Cloud,” IEEE Design and Test of Computers on Cloud Computing for Embedded Systems, vol. 31, no. 3, pp. 8–20, June 2014. [DOI]
16. J69
    K. Gatsis, A. Ribeiro and G. J. Pappas, “Optimal Power Management in Wireless Control Systems,” IEEE Transactions on Automatic Control, vol. 59, no. 6, pp. 1495–1510, June 2014. [DOI]
17. C173
    N. Atanasov, J. Le Ny, K. Daniilidis and G. J. Pappas, “Information Acquisition with Sensing Robots: Algorithms and Error Bounds,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Hong Kong, China, May 2014. [DOI]
18. C172
    J. Le Ny, A. Touati and G. J. Pappas, “Real-Time Privacy-Preserving Model-Based Estimation of Traffic Flows,” in Proc. ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin, Germany, April 2014. [DOI]
19. C171
    K. Gatsis, M. Pajic, A. Ribeiro and G. J. Pappas, “Opportunistic Scheduling of Control Tasks over Shared Wireless Channels,” in Proc. ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin, Germany, April 2014. ACM/IEEE ICCPS Best Paper Award Finalist [DOI]
20. C170
    M. Pajic, J. Weimer, N. Bezzo, P. Tabuada, O. Sokolsky, I. Lee and G. J. Pappas, “Robustness of Attack-Resilient State Estimators,” in Proc. ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin, Germany, April 2014. ACM/IEEE ICCPS Best Paper Award [DOI]
21. J68
    V. Preciado, M. Zargham, C. Enyioha, A. Jadbabaie and G. J. Pappas, “Optimal Resource Allocation for Network Protection Against Spreading Processes,” IEEE Transactions on Control of Network Systems, vol. 1, no. 1, pp. 99–108, March 2014. [DOI]
22. J67
    J. Le Ny and G. J. Pappas, “Differentially Private Filtering,” IEEE Transactions on Automatic Control, vol. 59, no. 2, pp. 341–354, February 2014. [DOI]
23. J66
    S. Azuma and G. J. Pappas, “Discrete Abstraction of Stochastic Nonlinear Systems,” IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, vol. E97-A, no. 2, pp. 452–458, February 2014. [DOI]

2013 Show / hide

1. C169
   M. Pajic, S. Sundaram and G. J. Pappas, “Stabilizability over Deterministic Relay Networks,” in Proc. 52nd IEEE Conference on Decision and Control (CDC), Florence, Italy, December 2013. [DOI]
2. C168
   F. Miao, G. J. Pappas and M. Pajic, “Stochastic Game Approach for Replay Attack Detection,” in Proc. 52nd IEEE Conference on Decision and Control (CDC), Florence, Italy, December 2013. [DOI]
3. C167
   V. M. Preciado, M. Zargham, C. Enyioha, A. Jadbabaie and G. J. Pappas, “Optimal Vaccine Allocation to Control Epidemic Outbreaks in Arbitrary Networks,” in Proc. 52nd IEEE Conference on Decision and Control (CDC), Florence, Italy, December 2013. [DOI]
4. C166
   K. Gatsis, M. Pajic, A. Ribeiro and G. J. Pappas, “Power-Aware Communication for Wireless Sensor-Actuator Systems,” in Proc. 52nd IEEE Conference on Decision and Control (CDC), Florence, Italy, December 2013. [DOI]
5. Ch36
   J. Weimer, N. Bezzo, M. Pajic, G. J. Pappas, O. Sokolsky and I. Lee, “Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control,” in D. C. Tarraf, editor, Control of Cyber-Physical Systems, vol. 449 of Lecture Notes in Control and Information Sciences, pp. 197–216, Springer, 2013. [DOI]
6. C165
   K. Gatsis, A. Ribeiro and G. J. Pappas, “Optimal Power Management in Wireless Control Systems,” in Proc. American Control Conference (ACC), Washington, DC, June 2013. AACC American Control Conference Best Student Paper Award; AACC O. Hugo Schuck Best Paper Award, 2014 [DOI]
7. C164
   T. X. Nghiem, G. J. Pappas and R. Mangharam, “Event-Based Green Scheduling of Radiant Systems in Buildings,” in Proc. American Control Conference (ACC), Washington, DC, June 2013. [DOI]
8. C163
   F. Miao, M. Pajic, R. Mangharam and G. J. Pappas, “Networked Realization of Discrete-Time Controllers,” in Proc. American Control Conference (ACC), Washington, DC, June 2013. [DOI]
9. C162
   N. Atanasov, B. Sankaran, J. Le Ny, T. Koletschka, G. J. Pappas and K. Daniilidis, “Hypothesis Testing Framework for Active Object Detection,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Karlshrue, Germany, May 2013. [DOI]
10. J65
    M. Pajic, S. Sundharam, R. Mangharam and G. J. Pappas, “Topological Conditions for in-Network Stabilization of Dynamical Systems,” IEEE Transactions in Selected Areas of Communications, vol. 31, no. 4, pp. 794–807, April 2013. [DOI]
11. C161
    M. Pajic, N. Bezzo, J. Weimer, R. Alur, R. Mangharam, N. Michael, G. J. Pappas, O. Sokolsky, P. Tabuada, S. Weirich and I. Lee, “Towards Synthesis of Platform-Aware Attack-Resilient Control Systems,” in Proc. International Conference on High Confidence Networked Systems (HiCoNS), Philadelphia, PA, April 2013. [DOI]
12. C160
    J. Le Ny and G. J. Pappas, “Privacy-Preserving Release of Aggregate Dynamic Models,” in Proc. International Conference on High Confidence Networked Systems (HiCoNS), Philadelphia, PA, April 2013. [DOI]
13. C159
    C. Enyioha, V. Preciado and G. J. Pappas, “Bio-Inspired Strategy for Control of Viral Spreading in Networks,” in Proc. International Conference on High Confidence Networked Systems (HiCoNS), Philadelphia, PA, April 2013. [DOI]
14. C158
    M. Pajic, N. Michael, N. Bezzo, G. J. Pappas, J. Weimer, P. Tabuada, O. Sokolsky and I. Lee, “Demo Abstract: Synthesis of Platform-Aware Attack-Resilient Vehicular Systems,” in Proc. ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Philadelphia, PA, April 2013. [DOI]
15. J64
    J. Le Ny and G. J. Pappas, “Adaptive Deployment of Mobile Robotic Networks,” IEEE Transactions on Automatic Control, vol. 58, no. 3, pp. 654–666, March 2013. [DOI]
16. J63
    M. Zavlanos, A. Ribeiro and G. J. Pappas, “Network Integrity in Mobile Robotic Networks,” IEEE Transactions on Automatic Control, vol. 58, no. 1, pp. 3–18, January 2013. [DOI]

2012 Show / hide

1. C157
   J. Le Ny and G. J. Pappas, “Differentially Private Filtering,” in Proc. 51st IEEE Conference on Decision and Control (CDC), Maui, HI, December 2012. [DOI]
2. C156
   protrusion=falseT. Nghiem, M. Behl, G. J. Pappas and R. Mangharam, “Green Scheduling for Radiant Systems in Buildings,” in Proc. 51st IEEE Conference on Decision and Control (CDC), Maui, HI, December 2012.protrusion=true. [DOI]
3. C155
   C. Sloth, R. Wisniewski and G. J. Pappas, “On the Existence of Compositional Barrier Certificates,” in Proc. 51st IEEE Conference on Decision and Control (CDC), Maui, HI, December 2012. [DOI]
4. J62
   S. Sundharam, S. Revzen and G. J. Pappas, “A Control-Theoretic Approach to Disseminating Values and Overcoming Malicious Links in Wireless Networks,” Automatica, vol. 48, no. 11, pp. 2894–2901, November 2012. [DOI]
5. C154
   J. Le Ny and G. J. Pappas, “Differentially Private Kalman Filtering,” in Proc. Allerton Conference on Communication, Control, and Computing, Allerton, IL, October 2012. [DOI]
6. J61
   S.-i. Azuma, M. S. Sakar and G. J. Pappas, “Stochastic Source Seeking by Mobile Robots,” IEEE Transactions on Automatic Control, vol. 57, no. 9, pp. 2308–2311, September 2012. [DOI]
7. J60
   T. Nghiem, G. J. Pappas, R. Alur and A. Girard, “Time-Triggered Implementations of Dynamic Controllers,” ACM Transactions on Embedded Computing Systems, vol. 11, no. S2, art. 58, August 2012. [DOI]
8. Ch35
   A. A. Julius, M. S. Sakar, E. B. Steager, G. J. Pappas and V. Kumar, “Stochastic Models and Control of Bacterial Bioactuators and Biomicrorobots,” Microrobotics, 2012. [DOI]
9. Ch34
   E. B. Steager, M. S. Sakar, D. H. Kim, V. Kumar, G. J. Pappas and M. J. Kim, “Bacteria-Powered Microrobots,” in M. Kim, A. A. Julius and E. Steager, editors, Microbiorobotics, pp. 249–275, Elsevier, 2012. [DOI]
10. J59
    J. Le Ny, A. Ribeiro and G. J. Pappas, “Adaptive Communication-Constrained Deployment of Unmanned Vehicle Systems,” IEEE Transactions on Selected Areas of Communications, vol. 30, no. 5, pp. 923–934, June 2012. [DOI]
11. C153
    J. Le Ny, A. Ribeiro and G. J. Pappas, “Adaptive Communication-Constrained Deployment of Mobile Robotic Networks,” in Proc. American Control Conference (ACC), Montreal, Canada, June 2012. [DOI]
12. C152
    T. X. Nghiem, M. Behl, R. Mangharam and G. J. Pappas, “Scalable Scheduling of Building Control Systems for Peak Demand Reduction,” in Proc. American Control Conference (ACC), Montreal, Canada, June 2012. [DOI]
13. C151
    N. Atanasov, J. Le Ny, N. Michael and G. J. Pappas, “Stochastic Source Seeking in Complex Environments,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Minnesota, MN. May 2012. [DOI]
14. C150
    J. Le Ny and G. J. Pappas, “Sequential Composition of Robust Controller Specifications,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Minnesota, MN. May 2012. [DOI]
15. C149
    M. Pajic, S. Sundaram, J. Le Ny, G. J. Pappas and R. Mangharam, “Closing the Loop: A Simple Distributed Method for Control over Wireless Networks,” in Proc. ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN), Beijing, China, April 2012. ACM/IEEE IPSN Best Presentation Award [DOI]
16. C148
    J. Chang, K. K. Venkatasubramanian, C. Enyioha, S. Sundaram, G. J. Pappas and I. Lee, “HMM-Based Characterization of Channel Behavior for Networked Control Systems,” in Proc. International Conference on High Confidence Networked Systems (HiCoNS), Beijing, China, April 2012. [DOI]
17. C147
    C. Sloth, G. J. Pappas and R. Wisniewski, “Compositional Safety Analysis Using Barrier Certificates,” in Proc. ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Beijing, China, April 2012. [DOI]

2011 Show / hide

1. C146
   J. Le Ny, A. Ribeiro and G. J. Pappas, “Robot Deployment with End-To-End Communication Constraints,” in Proc. 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC), Orlando, FL, December 2011. [DOI]
2. C145
   T. Nghiem, M. Behl, R. Mangharam and G. J. Pappas, “Green Scheduling of Control Systems for Peak Demand Reduction,” in Proc. 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC), Orlando, FL, December 2011. [DOI]
3. C144
   M. Pajic, S. Sundaram, G. J. Pappas and R. Mangharam, “Topological Conditions for Wireless Control Networks,” in Proc. 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC), Orlando, FL, December 2011. [DOI]
4. C143
   Z. Li, P. C. Huang, A. Mok, T. Nghiem, M. Behl, G. J. Pappas and R. Mangharam, “On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem,” in Proc. IEEE Real-Time Systems Symposium (RTSS), Vienna, Austria, December 2011. [DOI]
5. C142
   M. Pajic, S. Sundaram, G. J. Pappas and R. Mangharam, “Network Synthesis for Dynamical System Stabilization,” in Proc. Asilomar Conference on Signals, Systems, and Computers, Pacific Grove, CA, November 2011. [DOI]
6. C141
   M. Zavlanos, A. Ribeiro and G. J. Pappas, “A Framework for Integrating Mobility and Routing in Mobile Communication Networks,” in Proc. Asilomar Conference on Signals, Systems, and Computers, Pacific Grove, CA, November 2011. [DOI]
7. J57
   M. Pajic, S. Sundaram, G. J. Pappas and R. Mangharam, “The Wireless Control Network: A New Approach for Control over Networks,” IEEE Transactions on Automatic Control, vol. 56, no. 10, pp. 2305–2318, October 2011. [DOI]
8. J56
   R. Alur, A. D’Innocenzo, K. H. Johansson, G. J. Pappas and G. Weiss, “Compositional Modeling and Analysis of Multi-Hop Control Networks,” IEEE Transactions on Automatic Control, vol. 56, no. 10, pp. 2345–2357, October 2011. [DOI]
9. J55
   J. Le Ny and G. J. Pappas, “Joint Metering and Conflict Resolution in Air Traffic Control,” AIAA Journal on Guidance, Control, and Navigation, vol. 34, no. 5, pp. 1507–1518, September-October 2011. [DOI]
10. J54
    M. M. Zavlanos, M. B. Egerstedt and G. J. Pappas, “Graph Theoretic Connectivity Control of Mobile Robot Networks,” Proceedings of the IEEE, vol. 99, no. 9, pp. 1525–1540, September 2011. [DOI]
11. C140
    T. Nghiem and G. J. Pappas, “Receding-Horizon Supervisory Control of Green Buildings,” in Proc. American Control Conference (ACC), San Francisco, CA, July 2011. [DOI]
12. C139
    T. Nghiem, M. Behl, G. J. Pappas and R. Mangharam, “Green Scheduling: Scheduling of Control Systems for Peak Power Reduction,” in Proc. International Green Computing Conference and Workshops (IGCC), Orlando, FL, July 2011. [DOI]
13. J58
    A. Girard and G. J. Pappas, “Approximate Bisimulation: A Bridge Between Computer Science and Control Theory,” European Journal of Control, vol. 17, no. 5-6, pp. 568–578, 2011. [DOI]
14. J53
    M. Zavlanos, A. A. Julius, S. Boyd and G. J. Pappas, “Inferring Stable Genetic Networks from Steady-State Data,” Automatica, vol. 47, no. 6, pp. 1113–1122, June 2011. [DOI]
15. C138
    M. Zavlanos, A. Ribeiro and G. J. Pappas, “Distributed Control of Mobility & Routing in Networks of Robots,” in Proc. IEEE International Workshop on Signal Processing Advances in Wireless Communications (SPAWC), San Francisco, CA, June 2011. [DOI]
16. J52
    M. S. Sakar, E. B. Steager, D. H. Kim, A. A. Julius, M. Kim, V. Kumar and G. J. Pappas, “Modeling, Control and Experimental Characterization of Microbiorobots,” International Journal of Robotics Research, vol. 30, no. 6, pp. 647–658, May 2011. [DOI]
17. C137
    M. S. Sakar, E. Steager, A. Crowley, V. Kumar and G. J. Pappas, “Wireless Manipulation of Single Cells Using Magnetic Microtransporters,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Shanghai, China, May 2011. IEEE RAS ICRA Best Manipulation Paper Award Finalist [DOI]
18. C136
    S. Sundaram, J. Chang, K. K. Venkatasubramanian, C. Eniyoha, I. Lee and G. J. Pappas, “Reputation-Based Networked Control with Data-Corrupting Channels,” in Proc. ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Chicago, IL, April 2011. [DOI]
19. C135
    J. Le Ny, E. Feron and G. J. Pappas, “Resource-Constrained LQR Control under Fast Sampling,” in Proc. ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Chicago, IL, April 2011. [DOI]
20. C134
    M. Pajic, S. Sundaram, G. J. Pappas and R. Mangharam, “A Simple Distributed Method for Control over Wireless Networks,” Workshop on Real-Time Wireless for Industrial Applications, RealWIN, Chicago, IL, April 2011.
21. C133
    M. Pajic, S. Sundaram, M. Aneja, S. Vemuri, R. Mangharam and G. J. Pappas, “Architecture for a Fully Distributed Wireless Control Network,” in Proc. ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN), pp. 117–118, Chicago, IL, April 2011.
22. J51
    E. B. Steager, M. S. Sakar, D. H. Kim, V. Kumar, G. J. Pappas and M. J. Kim, “Electrokinetic and Optical Control of Bacterial Microrobots,” Journal of Micromechanics and Microengineering, vol. 21, no. 3, March 2011. [DOI]

2010 Show / hide

1. C132
   M. M. Zavlanos, A. Ribeiro and G. J. Pappas, “Mobility and Routing Control in Networks of Robots,” in Proc. 49th IEEE Conference on Decision and Control (CDC), Atlanta, GA, December 2010. [DOI]
2. C131
   S. Sundaram, M. Pajic, C. Hadjicostis, R. Mangharam and G. J. Pappas, “The Wireless Control Network: Monitoring for Malicious Behavior,” in Proc. 49th IEEE Conference on Decision and Control (CDC), Atlanta, GA, December 2010. [DOI]
3. C130
   M. Pajic, S. Sundaram, J. Le Ny, G. J. Pappas and R. Mangharam, “The Wireless Control Network: Synthesis and Robustness,” in Proc. 49th IEEE Conference on Decision and Control (CDC), Atlanta, GA, December 2010. [DOI]
4. C129
   S.-i. Azuma, M. S. Sakar and G. J. Pappas, “Nonholonomic Source Seeking in Switching Random Fields,” in Proc. 49th IEEE Conference on Decision and Control (CDC), Atlanta, GA, December 2010. [DOI]
5. C128
   J. Le Ny and G. J. Pappas, “Sensor Based Robot Deployment Algorithms,” in Proc. 49th IEEE Conference on Decision and Control (CDC), Atlanta, GA, December 2010. [DOI]
6. C127
   E. Steager, M. S. Sakar, D. H. Kim, V. Kumar, G. J. Pappas and M. J. Kim, “Hybrid Control and Transport Using Bacteria-Driven Microbiorobots,” in Proc. ASME International Mechanical Engineering Congress and Exposition (IMECE), vol. 12, pp. 689–694, Vancouver, Canada, November 2010. [DOI]
7. C126
   J. Le Ny and G. J. Pappas, “Geometric Programming and Mechanism Design for Air Traffic Conflict Resolution,” in Proc. American Control Conference (ACC), Baltimore, MD, June 2010. [DOI]
8. C125
   S.-i. Azuma and G. J. Pappas, “Discrete Abstraction of Stochastic Nonlinear Systems: A Bisimulation Function Approach,” in Proc. American Control Conference (ACC), Baltimore, MD, June 2010. [DOI]
9. C124
   V. Preciado, M. M. Zavlanos, A. Jadbabaie and G. J. Pappas, “Distributed Control of the Laplacian Spectral Moments of a Network,” in Proc. American Control Conference (ACC), Baltimore, MD, June 2010. [DOI]
10. C123
    N. Motee, A. Jadbabaie and G. J. Pappas, “Path Planning for Multiple Robots: An Alternative Duality Approach,” in Proc. American Control Conference (ACC), Baltimore, MD, June 2010. [DOI]
11. C122
    M. S. Sakar, E. Steager, A. Julius, M. Kim, V. Kumar and G. J. Pappas, “Biosensing and Actuation for Microbiorobots,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Anchorage, AK, May 2010. [DOI]
12. C121
    H. Kress-Gazit and G. J. Pappas, “Automatic Synthesis of Robot Controllers for Tasks with Locative Prepositions,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Anchorage, AK, May 2010. [DOI]
13. C120
    N. Motee, A. Jadbabaie and G. J. Pappas, “A Duality Approach to Path Planning for Multiple Robots,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Anchorage, AK, May 2010. [DOI]
14. C119
    J. Le Ny and G. J. Pappas, “Robustness Analysis for the Certification of Digital Controller Implementations,” in Proc. ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Stockholm, Sweden, April 2010. [DOI]
15. C118
    T. Nghiem, S. Sankaranarayanan, G. Fainekos, F. Ivancic, A. Gupta and G. J. Pappas, “Monte-Carlo Techniques for Falsification of Temporal Properties of Non-Linear Hybrid Systems,” in Proc. ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Stockholm, Sweden, April 2010. [DOI]
16. E4
    O. Khatib, V. Kumar and G. J. Pappas, “Editorial: Special Issue on the Eleventh International Symposium on Experimental Robotics,” International Journal of Robotics Research, vol. 29, no. 5, pp. 483–484, April 2010. [DOI]
17. J50
    M. S. Sakar, E. B. Steager, D. H. Kim, M. J. Kim, G. J. Pappas and V. Kumar, “Single Cell Manipulation Using Ferromagnetic Composite Microtransporters,” Applied Physics Letters, vol. 96, art. 043705, January 2010. [DOI]

2009 Show / hide

1. J49
   H. Kress-Gazit, G. Fainekos and G. J. Pappas, “Temporal Logic Based Reactive Mission and Motion Planning,” IEEE Transactions on Robotics, vol. 25, no. 6, pp. 1370–1381, December 2009. [DOI]
2. J48
   G. L. Mariottini, F. Morbidi, D. Prattichizzo, N. V. Valk, N. Michael, G. J. Pappas and K. Daniilidis, “Vision-Based Localization for Leader-Follower Formation Control,” IEEE Transactions on Robotics, vol. 25, no. 6, pp. 1431–1438, December 2009. [DOI]
3. J47
   M. Zavlanos, H. Tanner, A. Jadbabaie and G. J. Pappas, “Hybrid Control for Connectivity Preserving Flocking,” IEEE Transactions on Automatic Control, vol. 54, no. 12, pp. 2869–2875, December 2009. [DOI]
4. C117
   R. Alur, A. D’Innocenzo, K. H. Johansson, G. J. Pappas and G. Weiss, “Robust Stability of Multi-Hop Control Networks,” in Proc. 48th IEEE Conference on Decision and Control (CDC), Shanghai, China, December 2009. [DOI]
5. C116
   J. Le Ny and G. J. Pappas, “On Trajectory Optimization for Active Sensing in Gaussian Process Models,” in Proc. 48th IEEE Conference on Decision and Control (CDC), Shanghai, China, December 2009. [DOI]
6. C115
   J. Le Ny, M. M. Zavlanos and G. J. Pappas, “Resource Allocation for Signal Detection with Active Sensors,” in Proc. 48th IEEE Conference on Decision and Control (CDC), Shanghai, China, December 2009. [DOI]
7. C114
   E. Steager, M. S. Sakar, U. K. Cheang, D. Casale, V. Kumar, G. J. Pappas and M. J. Kim, “Galvanotactic Control of Self-Powered Microstructures,” in Proc. ASME International Mechanical Engineering Congress and Exposition (IMECE), vol. 13, pp. 365–370, Lake Buena Vista, FL, November 2009. [DOI]
8. J46
   G. Fainekos and G. J. Pappas, “Robustness of Temporal Logic Specifications for Continuous-Time Signals,” Theoretical Computer Science, vol. 410, no. 42, pp. 4262–4291, September 2009. [DOI]
9. C113
   A. D’Innocenzo, G. Weiss, R. Alur, A. J. Isaksson, K. H. Johansson and G. J. Pappas, “Scalable Scheduling Algorithms for Wireless Networked Control Systems,” in Proc. IEEE Conference on Automation Science and Engineering (CASE), Bangalore, India, August 2009. [DOI]
10. J45
    A. A. Julius and G. J. Pappas, “Approximations of Stochastic Hybrid Systems,” IEEE Transactions on Automatic Control, vol. 54, no. 6, pp. 1193–1203, June 2009. [DOI]
11. C112
    G. Fainekos and G. J. Pappas, “MTL Robust Testing and Verification for LPV Systems,” in Proc. American Control Conference (ACC), St. Louis, MO, June 2009. [DOI]
12. C111
    M. Zavlanos, D. E. Koditschek and G. J. Pappas, “A Distributed Dynamical Scheme for Fastest Mixing Markov Chains,” in Proc. American Control Conference (ACC), St. Louis, MO, June 2009. [DOI]
13. J44
    A. A. Julius, M. Zavlanos, S. P. Boyd and G. J. Pappas, “Genetic Network Identification Using Convex Programming,” IET Systems Biology, vol. 3, no. 3, pp. 155–166, May 2009. [DOI]
14. C110
    A. A. Julius, M. S. Sakar, E. Steager, U. K. Cheang, M. Kim, V. Kumar and G. J. Pappas, “Harnessing Bacterial Power in Microscale Actuation,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Kobe, Japan, May 2009. [DOI]
15. C109
    A. Ahmadzadeh, N. Motee, A. Jadbabaie and G. J. Pappas, “Multi-Vehicle Path Planning in Dynamically Changing Environments,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Kobe, Japan, May 2009. [DOI]
16. B2
    O. Khatib, V. Kumar and G. J. Pappas, editors, “Experimental Robotics: The Eleventh International Symposium,” vol. 54 of Springer Tracts in Advanced Robotics, Springer-Verlag, April 2009. [DOI]
17. Ch33
    A. A. Julius and G. J. Pappas, “Trajectory Based Verification Using Local Finite-Time Invariance,” Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, Springer-Verlag, April 2009. [DOI]
18. Ch32
    N. Michael, M. Zavlanos, V. Kumar and G. J. Pappas, “Maintaining Connectivity in Mobile Robot Networks,” in O. Khatib, V. Kumar, and G. J. Pappas, editors, Experimental Robotics, vol. 54 of Springer tracts in Advanced Robotics, Springer-Verlag, April 2009. [DOI]
19. C108
    R. Alur, A. D’Innocenzo, K. H. Johansson, G. J. Pappas and G. Weiss, “Modeling and Analysis of Multi-Hop Control Networks,” in Proc. IEEE Real-Time Technology and Applications Symposium (RTAS), San Francisco, CA, April 2009. [DOI]
20. J43
    A. Girard and G. J. Pappas, “Hierarchical Control System Design Using Approximate Simulation,” Automatica, vol. 45, no. 2, pp. 566–571, February 2009. [DOI]
21. J42
    G. Fainekos, A. Girard, H. Kress-Gazit and G. J. Pappas, “Temporal Logic Motion Planning for Dynamic Robots,” Automatica, vol. 45, no. 2, pp. 343–352, February 2009. [DOI]
22. J41
    A. A. Julius, A. D’Innocenzo, M. di Bennedetto and G. J. Pappas, “Approximate Equivalence and Synchronization of Metric Transition Systems,” Systems and Control Letters, vol. 58, no. 2, pp. 94–101, January 2009. [DOI]

2008 Show / hide

1. J40
   M. Zavlanos and G. J. Pappas, “Distributed Connectivity Control of Mobile Networks,” IEEE Transactions on Robotics, vol. 24, no. 6, pp. 1416–1428, December 2008. [DOI]
2. J39
   H. Kress-Gazit, G. Fainekos and G. J. Pappas, “Translating Structured English to Robot Controllers,” Advanced Robotics, vol. 22, no. 12, pp. 1343–1359, December 2008. [DOI]
3. C107
   A. Julius, M. Imielinski and G. J. Pappas, “Metabolic Network Analysis Using Convex Optimization,” in Proc. 47th IEEE Conference on Decision and Control (CDC), Cancun, Mexico, December 2008. [DOI]
4. C106
   A. Julius and G. J. Pappas, “Probabilistic Testing for Stochastic Hybrid Systems,” in Proc. 47th IEEE Conference on Decision and Control (CDC), Cancun, Mexico, December 2008. [DOI]
5. C105
   M. M. Zavlanos, L. Spesivtsev and G. J. Pappas, “A Distributed Auction Algorithm for the Assignment Problem,” in Proc. 47th IEEE Conference on Decision and Control (CDC), Cancun, Mexico, December 2008. [DOI]
6. J38
   M. Zavlanos and G. J. Pappas, “A Dynamical Systems Approach to Weighted Graph Matching,” Automatica, vol. 44, no. 11, pp. 2817–2824, November 2008. [DOI]
7. C104
   H. Kress-Gazit and G. J. Pappas, “Automatically Synthesizing a Planning and Control Subsystem for the DARPA Urban Challenge,” in Proc. IEEE Conference on Automation Science and Engineering (CASE), Washington, DC, August 2008. [DOI]
8. C103
   H. Kress-Gazit, N. Ayanian, V. Kumar and G. J. Pappas, “Recycling Controllers,” in Proc. IEEE Conference on Automation Science and Engineering (CASE), Washington, DC, August 2008. [DOI]
9. J37
   P. Tabuada, A. Ames, A. A. Julius and G. J. Pappas, “Approximate Reduction of Dynamic Systems,” Systems and Control Letters, vol. 57, no. 7, pp. 538–545, July 2008. [DOI]
10. J36
    A. Girard, A. A. Julius and G. J. Pappas, “Approximate Simulation Relations for Hybrid Systems,” Discrete Event Dynamic Systems, vol. 18, no. 2, pp. 163–179, June 2008. [DOI]
11. C102
    M. M. Zavlanos, A. Julius, S. P. Boyd and G. J. Pappas, “Identification of Stable Genetic Networks Using Convex Programming,” in Proc. American Control Conference (ACC), Seattle, WA, June 2008. [DOI]
12. C101
    M. M. Zavlanos, A. Tahbaz-Salehi, A. Jadbabaie and G. J. Pappas, “Distributed Topology Control of Dynamic Networks,” in Proc. American Control Conference (ACC), Seattle, WA, June 2008. [DOI]
13. C100
    A. Ahmadzadeh, A. Jadbabaie, G. J. Pappas and V. Kumar, “Elastic Multi-Particle Systems for Bounded-Curvature Path Planning,” in Proc. American Control Conference (ACC), Seattle, WA, June 2008. [DOI]
14. C99
    N. Michael, M. M. Zavlanos, V. Kumar and G. J. Pappas, “Distributed Multi-Robot Task Assignment and Formation Control,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Pasadena, CA, May 2008. [DOI]
15. C98
    A. M. Halasz, A. A. Julius, G. J. Pappas and V. Kumar, “From Discrete to Continuous and Back: Abstractions and Mesoscopic Phenomena in Cells,” in Proc. 9th International Workshop on Discrete Event Systems (WODES), pp. 269–274, Göteborg, Sweden, May 2008. [DOI]
16. J35
    H. Kress-Gazit, D. C. Conner, H. Choset, A. A. Rizzi and G. J. Pappas, “Courteous Cars: Decentralized Multi-Agent Traffic Coordination,” IEEE Robotics and Automation Magazine, vol. 15, no. 1, pp. 30–38, March 2008. [DOI]
17. J34
    M. Zavlanos and G. J. Pappas, “Dynamic Assignment in Distributed Motion Planning with Local Coordination,” IEEE Transactions on Robotics, vol. 24, no. 1, pp. 232–242, February 2008. [DOI]
18. E3
    R. Alur and G. J. Pappas, “Introduction to the Special Issue on Hybrid Systems: Computation and Control,” Formal Methods in System Design, vol. 32, no. 1, p. 1, February 2008. [DOI]
19. J33
    A. A. Julius, A. Halasz, M. S. Sakar, H. Rubin, V. Kumar and G. J. Pappas, “Stochastic Modeling and Control of Biological Systems: The Lactose Regulation System of Escherichia coli,” IEEE Transactions on Automatic Control, Special Issue on Systems Biology. vol. 53, no. 1, pp. 51–65, January 2008. [DOI]

2007 Show / hide

1. C97
   M. M. Zavlanos and G. J. Pappas, “Distributed Connectivity Control of Mobile Networks,” in Proc. 46th IEEE Conference on Decision and Control (CDC), New Orleans, LA, December 2007. [DOI]
2. C96
   M. M. Zavlanos and G. J. Pappas, “Distributed Formation Control with Permutation Symmetries,” in Proc. 46th IEEE Conference on Decision and Control (CDC), New Orleans, LA, December 2007. [DOI]
3. C95
   M. M. Zavlanos, A. Jadbabaie and G. J. Pappas, “Flocking While Preserving Network Connectivity,” in Proc. 46th IEEE Conference on Decision and Control (CDC), New Orleans, LA, December 2007. [DOI]
4. C94
   A. Julius, M. S. Sakar, A. Bemporad and G. J. Pappas, “Hybrid Model Predictive Control of Induction of Escherichia coli,” in Proc. 46th IEEE Conference on Decision and Control (CDC), New Orleans, LA, December 2007. [DOI]
5. C93
   A. Girard and G. J. Pappas, “Approximate Hierarchies of Linear Control Systems,” in Proc. 46th IEEE Conference on Decision and Control (CDC), New Orleans, LA, December 2007. [DOI]
6. C92
   A. Ahmadzadeh, A. Jadbabaie, G. J. Pappas and V. Kumar, “Stable Multi-Particle Systems and Application in Multi-Vehicle Path Planning and Coverage,” in Proc. 46th IEEE Conference on Decision and Control (CDC), New Orleans, LA, December 2007. [DOI]
7. C91
   A. D’Innocenzo, A. Julius, G. J. Pappas, M. D. Di Benedetto and S. Di Gennaro, “Verification of Temporal Properties on Hybrid Automata by Simulation Relations,” in Proc. 46th IEEE Conference on Decision and Control (CDC), New Orleans, LA, December 2007. [DOI]
8. C90
   A. D’Innocenzo, A. Julius, M. D. Di Benedetto and G. J. Pappas, “Approximate Timed Abstractions of Hybrid Automata,” in Proc. 46th IEEE Conference on Decision and Control (CDC), New Orleans, LA, December 2007. [DOI]
9. C89
   D. Conner, H. Kress-Gazit, H. Choset, A. Rizzi and G. J. Pappas, “Valet Parking Without a Valet,” in Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), San Diego, CA, October 2007. IEEE/RSJ IROS Best Paper Award Finalist [DOI]
10. C88
    H. Kress-Gazit, G. Fainekos and G. J. Pappas, “From Structured English to Robot Motion,” in Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), San Diego, CA, October 2007. [DOI]
11. Ch31
    G. Fainekos and G. J. Pappas, “Robust Sampling for MITL Specifications,” in 5th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Salzburg, Austria, September 2007. [DOI]
12. J32
    S. Prajna, A. Jadbabaie and G. J. Pappas, “A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates,” IEEE Transactions on Automatic Control, vol. 52, no. 8, pp. 1415–1428, August 2007. [DOI]
13. J31
    M. Zavlanos and G. J. Pappas, “Potential Fields for Maintaining Connectivity of Mobile Networks,” IEEE Transactions on Robotics, vol. 23, no. 4, pp. 812–816, August 2007. [DOI]
14. J30
    A. Girard and G. J. Pappas, “Approximate Bisimulation Relations for Constrained Linear Systems,” Automatica, vol. 43, no. 8, pp. 1307–1317, August 2007. [DOI]
15. C87
    A. A. Julius, A. Halasz, V. Kumar and G. J. Pappas, “Controlling Biological Systems: The Lactose Regulation System of Escherichia coli,” in Proc. American Control Conference (ACC), New York, NY, July 2007. [DOI]
16. C86
    M. Zavlanos and G. J. Pappas, “Dynamic Assignment in Distributed Motion Planning with Limited Information,” in Proc. American Control Conference (ACC), New York, NY, July 2007. [DOI]
17. C85
    A. Ahmadzadeh, A. Jadbabaie, V. Kumar and G. J. Pappas, “Cooperative Coverage Using Receding Horizon Control,” in Proc. European Control Conference (ECC), Kos, Greece, July 2007. [DOI]
18. J29
    A. Girard and G. J. Pappas, “Approximation Metrics for Discrete and Continuous Systems,” IEEE Transactions on Automatic Control, vol. 52, no. 5, pp. 782–798, May 2007. IEEE CSS George S. Axelby Outstanding Paper Award, 2009 [DOI]
19. J28
    H. Tanner, A. Jadbabaie and G. J. Pappas, “Flocking in Fixed and Switching Networks,” IEEE Transactions on Automatic Control, vol. 52, no. 5, pp. 863–868, May 2007. [DOI]
20. Ch30
    M. M. Zavlanos and G. J. Pappas, “Distributed Hybrid Control for Multiple-Pursuer Multiple-Evader Games,” in Hybrid Systems: Computation and Control, vol. 4416 of Lecture Notes in Computer Science, pp. 787–789, Springer-Verlag, April 2007. [DOI]
21. C84
    M. Zavlanos and G. J. Pappas, “Sensor-Based Dynamic Assignment in Distributed Motion Planning,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Rome, Italy, April 2007. [DOI]
22. C83
    H. Kress-Gazit, G. Fainekos and G. J. Pappas, “Where’s Waldo ? Sensor-Based Temporal Logic Motion Planning,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Rome, Italy, April 2007. IEEE RAS ICRA Best Student Paper Award Finalist [DOI]
23. C82
    P. Cheng, G. J. Pappas and V. Kumar, “Decidability of Motion Planning with Differential Constraints,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Rome, Italy, April 2007. [DOI]
24. C81
    G. Mariottini, F. Morbidi, D. Prattichizzo, G. J. Pappas and K. Daniilidis, “Leader-Follower Formations: Uncalibrated Vision-Based Localization and Control,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Rome, Italy, April 2007. [DOI]
25. J27
    C. Belta, A. Bicchi, M. Egerstedt, E. Frazzoli, E. Klavins and G. J. Pappas, “Symbolic Planning and Control of Robot Motion: Grand Challenges of Robotics,” IEEE Robotics and Automation Magazine, vol. 14, no. 1, pp. 61–70, March 2007. [DOI]
26. Ch29
    A. A. Julius, G. E. Fainekos, M. Anand, I. Lee and G. J. Pappas, “Robust Test Generation and Coverage for Hybrid Systems,” Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, Springer-Verlag, March 2007. [DOI]
27. Ch28
    G. Fainekos, A. Girard and G. J. Pappas, “Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications,” Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, Springer-Verlag, March 2007. [DOI]

2006 Show / hide

1. J26
   P. Tabuada and G. J. Pappas, “Linear Time Logic Control of Discrete-Time Linear Systems,” IEEE Transactions on Automatic Control, vol. 51, no. 12, pp. 1862–1877, December 2006. [DOI]
2. C80
   A. A. Julius and G. J. Pappas, “Approximate Equivalence and Approximate Synchronization of Metric Transition Systems,” in Proc. 45th IEEE Conference on Decision and Control (CDC), San Diego, CA, December 2006. [DOI]
3. C79
   M. Zavlanos and G. J. Pappas, “A Dynamical Systems Approach to Weighted Graph Matching,” in Proc. 45th IEEE Conference on Decision and Control (CDC), San Diego, CA, December 2006. IEEE CSS CDC Best Student Paper Award Finalist [DOI]
4. C78
   G. E. Fainekos, S. Loizou and G. J. Pappas, “Translating Temporal Logic to Controller Specifications,” in Proc. 45th IEEE Conference on Decision and Control (CDC), San Diego, CA, December 2006. [DOI]
5. C77
   A. A. Julius, A. M. Halasz, V. Kumar and G. J. Pappas, “Finite state abstraction of a stochastic model of the lactose regulation system of Escherichia coli,” in Proc. 45th IEEE Conference on Decision and Control (CDC), San Diego, CA, December 2006. [DOI]
6. C76
   A. Girard and G. J. Pappas, “Hierarchical Control Using Approximate Simulation Relations,” in Proc. 45th IEEE Conference on Decision and Control (CDC), San Diego, CA, December 2006. [DOI]
7. C75
   A. Ahmadzadeh, J. Keller, G. J. Pappas, A. Jadbabaie and V. Kumar, “Multi-UAV Cooperative Surveillance with Spatio-Temporal Specifications,” in Proc. 45th IEEE Conference on Decision and Control (CDC), San Diego, CA, December 2006. [DOI]
8. C74
   P. Tabuada, A. Ames, A. Julius and G. J. Pappas, “Approximate Reduction of Dynamical Systems,” in Proc. 45th IEEE Conference on Decision and Control (CDC), San Diego, CA, December 2006. [DOI]
9. C73
   T. Nghiem, G. J. Pappas, A. Girard and R. Alur, “Time-Triggered Implementations of Dynamic Controllers,” In Proceedings of the 6th ACM & IEEE International conference on Embedded Software (EMSOFT), pp. 2–11, ACM Press, October 2006. [DOI]
10. C72
    M. Anand, I. Lee, O. Sokolsky and G. J. Pappas, “Unit & Dynamic Typing in Hybrid Systems Modeling with CHARON,” in Proc. IEEE International Symposium on Computer-Aided Control Systems Design, Munich, Germany, October 2006. [DOI]
11. J25
    B. Grocholsky, J. Keller, V. Kumar and G. J. Pappas, “Cooperative Air and Ground Surveillance,” Robotics and Automation Magazine, vol. 13, no. 3, pp. 16–26, September 2006. [DOI]
12. Ch27
    G. Fainekos, A. Girard and G. J. Pappas, “Temporal Logic Verification Using Simulation,” in 4th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), vol. 4202 of Lecture Notes in Computer Science, pp. 171–186, Springer-Verlag, September 2006. [DOI]
13. Ch26
    G. Fainekos and G. J. Pappas, “Robustness of Temporal Logic Specifications,” in Formal Approaches to Testing and Runtime Verification (FATES/RV), vol. 4262 of Lecture Notes in Computer Science, pp. 178–192, Springer-Verlag, Seattle, WA, August 2006. International Conference on Runtime Verification (RV) Test of Time Award, 2025 [DOI]
14. Ch25
    A. Ahmadzadeh, J. Keller, G. J. Pappas, A. Jadbabaie and V. Kumar, “An Optimization-Based Approach to Time Critical Cooperative Surveillance and Coverage with Unmanned Aerial Vehicles,” in O. Khatib, V. Kumar, and D. Rus, editors, Experimental Robotics, vol. 39 of Springer tracts in Advanced Robotics, pp. 491–500, Springer-Verlag, July 2006. [DOI]
15. E1
    P. Tabuada and G. J. Pappas, “Corrigendum to ‘Hierarchical Trajectory Refinement for a Class of Nonlinear Systems’,” Automatica, vol. 42, no. 3, 2006. [DOI]
16. C71
    A. Girard, A. A. Julius and G. J. Pappas, “Approximate Simulation Relations for Hybrid Systems,” in Proc. IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Alghero, Italy, June 2006. [DOI]
17. C70
    A. A. Julius, A. Girard and G. J. Pappas, “Approximate Bisimulation for a Class of Stochastic Hybrid Systems,” in Proc. American Control Conference (ACC), Minneapolis, MN, June 2006. [DOI]
18. E2
    M. B. Egerstedt, E. Frazzoli and G. J. Pappas, “Special Section on Symbolic Methods for Complex Control Systems,” IEEE Transactions on Automatic Control, vol. 51, no. 6, pp. 921–923, June 2006. [DOI]
19. J24
    I. Lee, G. J. Pappas, R. Cleaveland, J. Hatchcliff, B. Krogh, P. Lee, H. Rubin and L. Sha, “High-Confidence Medical Device Software and Systems,” IEEE Computer, vol. 39, no. 4, pp. 33–38, April 2006. [DOI]
20. Ch24
    A. Girard and G. J. Pappas, “Verification Using Simulation,” in J. Hespanha and A. Tiwari, editors, Hybrid Systems: Computation and Control, vol. 3927 of Lecture Notes in Computer Science, pp. 272–286, Springer-Verlag, March 2006. [DOI]
21. Ch23
    F. Kratz, O. Sokolsky, G. J. Pappas and I. Lee, “R-Charon, a Modeling Language for Reconfigurable Hybrid Systems,” in J. Hespanha and A. Tiwari, editors, Hybrid Systems: Computation and Control, vol. 3927 of Lecture Notes in Computer Science, pp. 392–406, Springer-Verlag, March 2006. [DOI]

2005 Show / hide

1. C69
   H. Yazarel, A. Girard, G. J. Pappas and R. Alur, “Quantifying the Gap Between Embedded Control Models and Time-Triggered Implementations,” in Proc. IEEE Real-Time Systems Symposium (RTSS), Miami, FL, December 2005. [DOI]
2. C68
   M. M. Zavlanos and G. J. Pappas, “Controlling Connectivity of Dynamic Graphs,” in Proc. 44th IEEE Conference on Decision and Control (CDC), Seville, Spain, December 2005. [DOI]
3. C67
   A. Girard and G. J. Pappas, “Approximate Bisimulations for Nonlinear Dynamical Systems,” in Proc. 44th IEEE Conference on Decision and Control (CDC), Seville, Spain, December 2005. [DOI]
4. C66
   A. Girard and G. J. Pappas, “Approximate Bisimulations for Constrained Linear Systems,” in Proc. 44th IEEE Conference on Decision and Control (CDC), Seville, Spain, December 2005. [DOI]
5. C65
   N. Giorgetti, G. J. Pappas and A. Bemporad, “Bounded Model Checking of Hybrid Dynamical Systems,” in Proc. 44th IEEE Conference on Decision and Control (CDC), Seville, Spain, December 2005. [DOI]
6. C64
   G. Fainekos, H. Kress-Gazit and G. J. Pappas, “Hybrid Controllers for Path Planning: A Temporal Logic Approach,” in Proc. 44th IEEE Conference on Decision and Control (CDC), Seville, Spain, December 2005. [DOI]
7. C63
   G. Mariottini, G. J. Pappas, D. Prattichizzo and K. Daniilidis, “Vision-Based Localization of Leader-Follower Formations,” in Proc. 44th IEEE Conference on Decision and Control (CDC), Seville, Spain, December 2005. [DOI]
8. J23
   C. Belta, V. Isler and G. J. Pappas, “Discrete Abstractions for Robot Motion Planning and Control in Polygonal Environments,” IEEE Transactions on Robotics, vol. 21, no. 5, pp. 864–874, October 2005. [DOI]
9. J22
   E. Hagverdi, P. Tabuada and G. J. Pappas, “Bisimulation Relations for Dynamical, Control, and Hybrid Systems,” Theoretical Computer Science, vol. 342, no. 2-3, pp. 229–261, September 2005. [DOI]
10. J20
    P. Tabuada and G. J. Pappas, “Quotients of Fully Nonlinear Control Systems,” SIAM Journal of Control and Optimization, vol. 43, no. 5, pp. 1844–1866, 2005. [DOI]
11. Ch22
    M. Babaali and G. J. Pappas, “Observability of Switched Linear Systems in Continuous Time,” in M. Morari and L. Thiele, editors, Hybrid Systems: Computation and Control, vol. 3414 of Lecture Notes in Computer Science, pp. 103–117, Springer-Verlag, 2005. [DOI]
12. J21
    P. Tabuada, G. J. Pappas and P. Lima, “Motion Feasibility of Multi-Agent Formations,” IEEE Transactions on Robotics, vol. 21, no. 3, pp. 387–392, June 2005. [DOI]
13. J19
    P. Tabuada and G. J. Pappas, “Hierarchical Trajectory Refinement for a Class of Nonlinear Systems,” Automatica, vol. 41, no. 4, pp. 701–708, April 2005. [DOI]
14. C62
    G. Fainekos, H. Kress-Gazit and G. J. Pappas, “Temporal Logic Motion Planning for Mobile Robots,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Barcelona, Spain, April 2005. [DOI]
15. C61
    B. Grocholsky, R. Swaminathan, J. Keller, V. Kumar and G. J. Pappas, “Information Driven Coordinated Air-Ground Proactive Sensing,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), Barcelona, Spain, April 2005. [DOI]

2004 Show / hide

1. C60
   S. Prajna, A. Jadbabaie and G. J. Pappas, “Stochastic Safety Verification Using Barrier Certificates,” in Proc. 43rd IEEE Conference on Decision and Control (CDC), The Bahamas, December 2004. IEEE CSS CDC Best Student Paper Award Finalist [DOI]
2. C59
   H. Yazarel, S. Prajna and G. J. Pappas, “S.O.S. for Safety,” in Proc. 43rd IEEE Conference on Decision and Control (CDC), The Bahamas, December 2004. [DOI]
3. C58
   S. Bayraktar, G. Fainekos and G. J. Pappas, “Experimental Cooperative Control of Fixed-Wing Unmanned Aerial Vehicles,” in Proc. 43rd IEEE Conference on Decision and Control (CDC), The Bahamas, December 2004. [DOI]
4. C57
   V. Isler, C. Belta, K. Daniilidis and G. J. Pappas, “Hybrid Control for Visibility-Based Pursuit Evasion Games,” in Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Sendai, Japan, September 2004. [DOI]
5. C56
   B. Grocholsky, S. Bayraktar, V. Kumar and G. J. Pappas, “UAV and UGV Collaboration for Active Ground Feature Search and Localization,” in Proc. AIAA 3rd “Unmanned Unlimited” Technical Conference, Workshop and Exhibit, vol. 2, pp. 812–819, Chicago, IL, September 2004. [DOI]
6. Ch21
   H. Tanner, A. Jadbabaie and G. J. Pappas, “Flocking in Teams of Nonholonomic Agents,” in V. Kumar, N. Leonard, and S. Morse, editors, Cooperative control, vol. 309 of Lecture Notes in Control and Information Systems, pp. 229–239, Springer-Verlag, 2004. [DOI]
7. C55
   B. Grocholsky, R. Swaminathan, V. Kumar, C. J. Taylor and G. J. Pappas, “Coordinated Perception by Teams of Aerial and Ground Robots,” in Proc. SPIE, Unmanned/Unattended Sensors and Sensor Networks, vol. 5609, pp. 181–191, 2004. [DOI]
8. J18
   H. Tanner, G. J. Pappas and V. Kumar, “Leader-To-Formation Stability,” IEEE Transactions on Robotics and Automation, vol. 20, no. 3, pp. 443–455, June 2004. [DOI]
9. J17
   R. Alur, S. La Torre and G. J. Pappas, “Optimal Paths in Weighted Timed Automata,” Theoretical Computer Science, vol. 318, no. 3, pp. 297–322, June 2004. [DOI]
10. C54
    B. Grocholsky, S. Bayraktar, V. Kumar, C. J. Taylor and G. J. Pappas, “Synergies in Feature Localisation by Air-Ground Robot Teams,” in Proc. International Symposium on Experimental Robotics (ISER), Singapore, June 2004. [DOI]
11. C53
    H. Yazarel and G. J. Pappas, “Geometric Programming Relaxations for Linear System Reachability,” in Proc. American Control Conference (ACC), Boston, MA, June 2004. AACC American Control Conference Best Student Paper Award Finalist [DOI]
12. J16
    P. Tabuada and G. J. Pappas, “Bisimilar Control Affine Systems,” Systems & Control Letters, vol. 52, no. 1, pp. 49–58, May 2004. [DOI]
13. J15
    P. Tabuada, G. J. Pappas and P. Lima, “Compositional Abstractions of Hybrid Control Systems,” Discrete Event Dynamic Systems, vol. 14, no. 2, pp. 203–238, April 2004. [DOI]
14. B1
    R. Alur and G. J. Pappas, editors, “Hybrid Systems: Computation and Control (HSCC 2004),” vol. 2993 of Lecture Notes in Computer Science, Springer-Verlag, March 2004. [DOI]

2003 Show / hide

1. J14
   G. J. Pappas, “Bisimilar Linear Systems,” Automatica, vol. 39, no. 12, pp. 2035–2047, December 2003. [DOI]
2. J13
   P. Tabuada and G. J. Pappas, “Abstractions of Hamiltonian Control Systems,” Automatica, vol. 39, no. 12, pp. 2025–2033, December 2003. [DOI]
3. C52
   P. Tabuada and G. J. Pappas, “Finite Bisimulations of Controllable Linear Systems,” in Proc. 42nd IEEE Conference on Decision and Control (CDC), Maui, Hawaii, December 2003. [DOI]
4. C51
   P. Tabuada and G. J. Pappas, “From Discrete Specifications to Hybrid Control,” in Proc. 42nd IEEE Conference on Decision and Control (CDC), Maui, Hawaii, December 2003. [DOI]
5. C50
   P. Tabuada and G. J. Pappas, “Hierarchical Trajectory Generation for a Class of Nonlinear Systems,” in Proc. 42nd IEEE Conference on Decision and Control (CDC), Maui, Hawaii, December 2003. [DOI]
6. C49
   H. Tanner, A. Jadbabaie and G. J. Pappas, “Stable Flocking of Mobile Agents, Part I: Fixed Topology,” in Proc. 42nd IEEE Conference on Decision and Control (CDC), Maui, Hawaii, December 2003. [DOI]
7. C48
   H. Tanner, A. Jadbabaie and G. J. Pappas, “Stable Flocking of Mobile Agents, Part II: Dynamic Topology,” in Proc. 42nd IEEE Conference on Decision and Control (CDC), Maui, Hawaii, December 2003. [DOI]
8. J12
   P. Tabuada and G. J. Pappas, “From Nonlinear to Hamiltonian via Feedback,” IEEE Transactions on Automatic Control, vol. 48, no. 8, pp. 1439–1442, August 2003. [DOI]
9. Ch20
   T. J. Koo, G. J. Pappas and S. Sastry, “Multi-Modal Control of Constrained Nonlinear Systems,” in T. Samad and G. Balas, editors, Software-Enabled Control: Information Technology for Dynamical Systems, pp. 325–345, IEEE Press. 2003. [DOI]
10. Ch19
    P. Tabuada and G. J. Pappas, “Model Checking LTL over Controllable Linear Systems Is Decidable,” in O. Maler and A. Pnueli, editors, Hybrid Systems: Computation and Control, vol. 2623 of Lecture Notes in Computer Science, pp. 498–513, Springer-Verlag, 2003. [DOI]
11. C47
    H. Tanner, A. Jadbabaie and G. J. Pappas, “Coordination of Multiple Autonomous Vehicles,” in Proc. Mediterranean Conference on Control and Automation (MED), Rhodes, Greece, June 2003.
12. C46
    H. Tanner and G. J. Pappas, “Abstractions of Constrained Linear Systems,” in Proc. American Control Conference (ACC), Denver, CO, June 2003. [DOI]
13. C45
    E. Haghverdi, P. Tabuada and G. J. Pappas, “Bisimulation Relations for Dynamical and Control Systems,” in Proc. Category Theory and Computer Science, Electronic Notes in Theoretical Computer Science, Ottawa, Canada, February 2003. [DOI]
14. J11
    R. Alur, T. Dang, J. Esposito, Y. Hur, F. Ivancic, V. Kumar, I. Lee, P. Mishra, G. J. Pappas and O. Sokolsky, “Hierarchical Modeling and Analysis of Embedded Systems,” Proceedings of the IEEE, vol. 91, no. 1, pp. 11–28, January 2003. [DOI]

2002 Show / hide

1. C44
   P. Tabuada and G. J. Pappas, “Discrete Synchronization of Hybrid Systems,” in Proc. 41st IEEE Conference on Decision and Control (CDC), Las Vegas, NV, December 2002. [DOI]
2. C43
   P. Tabuada and G. J. Pappas, “From Nonlinear to Hamiltonian via Feedback,” in Proc. 41st IEEE Conference on Decision and Control (CDC), Las Vegas, NV, December 2002. [DOI]
3. C42
   P. Tabuada and G. J. Pappas, “Bisimilar Control Affine Systems,” in Proc. 41st IEEE Conference on Decision and Control (CDC), Las Vegas, NV, December 2002. [DOI]
4. C41
   H. Tanner, G. J. Pappas and V. Kumar, “Input-To-State Stability on Formation Graphs,” in Proc. 41st IEEE Conference on Decision and Control (CDC), Las Vegas, NV, December 2002. [DOI]
5. J10
   R. Fierro, A. Das, J. Spletzer, J. Esposito, V. Kumar, J. Ostrowski, G. J. Pappas, C. Taylor, Y. Hur, R. Alur, I. Lee, G. Grudic and B. Southall, “A Framework and Architecture for Multirobot Coordination,” International Journal of Robotic Research, vol. 21, no. 10-11, pp. 977–995, October-November 2002. [DOI]
6. C40
   P. Tabuada and G. J. Pappas, “Quotients of Fully Nonlinear Control Systems,” in Proc. International Symposium on Mathematical Theory of Networks and Systems (MTNS), Notre Dame, IN, August 2002.
7. C39
   E. Haghverdi, P. Tabuada and G. J. Pappas, “Unifying Bisimulation Relations for Discrete and Continuous Systems,” in Proc. International Symposium on Mathematical Theory of Networks and Systems (MTNS), Notre Dame, IN, August 2002.
8. C38
   H. Tanner, V. Kumar and G. J. Pappas, “Stability Properties of Interconnected Vehicles,” in Proc. International Symposium on Mathematical Theory of Networks and Systems (MTNS), Notre Dame, IN, August 2002.
9. C37
   H. Tanner and G. J. Pappas, “Formation Input-To-State Stability,” in Proc. IFAC World Congress, Barcelona, Spain, July 2002. [DOI]
10. C36
    H. Tanner and G. J. Pappas, “Simulation Relations for Discrete-Time Linear Systems,” in Proc. IFAC World Congress, Barcelona, Spain, July 2002. [DOI]
11. C35
    P. Tabuada, G. J. Pappas and P. Lima, “Decentralizing Formations of Multi-Agent Systems,” in Proc. Mediterranean Conference on Control and Automation (MED), Lisbon, Portugal, July 2002.
12. Ch18
    P. Tabuada, G. J. Pappas and P. Lima, “Composing Abstractions of Hybrid Systems,” in C. Tomlin and M.R. Greenstreet, editors, Hybrid Systems: Computation and Control, vol. 2289 of Lecture Notes in Computer Science, pp. 436–450, Springer-Verlag, 2002. [DOI]
13. J9
    G. J. Pappas and S. Simic, “Consistent Abstractions of Affine Control Systems,” IEEE Transactions on Automatic Control, vol. 47, no. 5, pp. 745–756, May 2002. [DOI]
14. C34
    P. Mishra and G. J. Pappas, “Flying Hot Potatoes,” in Proc. American Control Conference (ACC), pp. 754–759, Anchorage, Alaska, May 2002. [DOI]
15. C33
    H. Tanner, V. Kumar and G. J. Pappas, “The Effect of Feedback and Feedforward on Formation ISS,” in Proc. IEEE International Conference on Robotics and Automation (ICRA), pp. 3448–3453, Arlington, VA, May 2002. [DOI]
16. J8
    R. Alur, C. Belta, V. Kumar, M. Mintz, G. J. Pappas, H. Rubin and J. Schug, “Modeling and Analyzing Biomolecular Networks,” Computing in Science and Engineering, vol. 4, no. 1, pp. 20–31, January 2002. [DOI]

2001 Show / hide

1. C32
   G. J. Pappas and G. Lafferriere, “Hierarchies of Stabilizability Preserving Linear Systems,” in Proc. 40th IEEE Conference on Decision and Control (CDC), pp. 2081–2086, Orlando, FL, December 2001. [DOI]
2. C31
   P. Tabuada and G. J. Pappas, “Abstractions of Hamiltonian Control Systems,” in Proc. 40th IEEE Conference on Decision and Control (CDC), pp. 3394–3399, Orlando, FL, December 2001. IEEE CSS CDC Best Student Paper Award Finalist [DOI]
3. C30
   P. Tabuada, G. J. Pappas and P. Lima, “Compositional Abstractions of Hybrid Control Systems,” in Proc. 40th IEEE Conference on Decision and Control (CDC), pp. 352–357, Orlando, FL, December 2001. [DOI]
4. C29
   C. Belta, J. Schug, T. Dang, V. Kumar, M. Mintz, G. J. Pappas, H. Rubin and P. Dunlop, “Stability and Reachability Analysis of a Hybrid Model of Luminescence in the Marine Bacterium Vibrio fischeri,” in Proc. 40th IEEE Conference on Decision and Control (CDC), pp. 869–874, Orlando, FL, December 2001. [DOI]
5. C28
   T. J. Koo, G. J. Pappas and S. Sastry, “Multi-Modal Control of Systems with Constraints,” in Proc. 40th IEEE Conference on Decision and Control (CDC), pp. 2075–2080, Orlando, FL, December 2001. [DOI]
6. C27
   J. Esposito, V. Kumar and G. J. Pappas, “Multi-Agent Hybrid System Simulation,” in Proc. 40th IEEE Conference on Decision and Control (CDC), pp. 780–785, Orlando, FL, December 2001. [DOI]
7. J7
   G. Lafferriere, G. J. Pappas and S. Yovine, “Symbolic Reachability Computation for Families of Linear Vector Fields,” Journal of Symbolic Computation, vol. 32, no. 3, pp. 231–253, September 2001. [DOI]
8. C26
   P. Tabuada, G. J. Pappas and P. Lima, “Hybrid Abstractions: A Search and Rescue Case Study,” in Proc. European Control Conference (ECC), pp. 3864–3869, Porto, Portugal, September 2001. [DOI]
9. C25
   J. P. Hespanha, G. J. Pappas and M. Prandini, “Greedy Control for Hybrid Pursuit Games,” in Proc. European Control Conference (ECC), pp. 2621–2626, Porto, Portugal, September 2001. [DOI]
10. C24
    P. Tabuada, G. J. Pappas and P. Lima, “Cyclic Directed Formations of Multi-Agent Systems,” in Proc. European Control Conference (ECC), pp. 539–544, Porto, Portugal, September 2001. [DOI]
11. Ch17
    R. Alur, T. Dang, J. Esposito, R. Fierro, Y. Hur, F. Ivancic, V. Kumar, I. Lee, P. Mishra, G. J. Pappas and O. Sokolsky, “Hierarchical Hybrid Modeling of Embedded Systems,” in T. Henzinger and C. Kirsch, editors, Embedded Software, vol. 2211 of Lecture Notes in Computer Science, pp. 14–31, Springer-Verlag, 2001. [DOI]
12. Ch16
    R. Alur, A. Das, J. Esposito, R. Fierro, Y. Hur, G. Grudic, V. Kumar, I. Lee, J. P. Ostrowski, G. J. Pappas, J. B. Southall, J. Spletzer and C. J. Taylor, “A Framework and Architecture for Multirobot Coordination,” in D. Rus and S. Singh, editors, Experimental Robotics VII, vol. 271 of Lecture Notes in Control and Information Sciences, pp. 303–312, Springer-Verlag, 2001. [DOI]
13. Ch15
    P. Tabuada and G. J. Pappas, “Hybrid Abstractions That Preserve Timed Languages,” in A. Sangiovanni-Vincetelli and M. di Bennedeto, editors, Hybrid Systems: Computation and Control, vol. 2034 of Lecture Notes in Computer Science, pp. 501–514, Springer-Verlag, 2001. [DOI]
14. Ch14
    T. J. Koo, G. J. Pappas and S. Sastry, “Mode Switching Synthesis for Reachability Specifications,” in A. Sangiovanni-Vincetelli and M. di Bennedeto, editors, Hybrid Systems: Computation and Control, vol. 2034 of Lecture Notes in Computer Science, pp. 333–346, Springer-Verlag, 2001. [DOI]
15. Ch13
    R. Alur, S. La Torre and G. J. Pappas, “Optimal Paths in Weighted Timed Automata,” in A. Sangiovanni-Vincetelli and M. di Bennedeto, editors, Hybrid Systems: Computation and Control, vol. 2034 of Lecture Notes in Computer Science, pp. 49–62, Springer-Verlag, 2001. [DOI]
16. Ch12
    R. Alur, C. Belta, F. Ivancic, V. Kumar, M. Mintz, G. J. Pappas, H. Rubin and J. Schug, “Hybrid Modeling and Simulation of Biomolecular Networks,” in A. Sangiovanni-Vincetelli and M. di Bennedeto, editors, Hybrid Systems: Computation and Control, vol. 2034 of Lecture Notes in Computer Science, pp. 19–32, Springer-Verlag, 2001. [DOI]
17. Ch11
    O. Shakernia, G. J. Pappas and S. Sastry, “Semi-Decidable Synthesis for Triangular Hybrid Systems,” in A. Sangiovanni-Vincetelli and M. di Bennedeto, editors, Hybrid Systems: Computation and Control, vol. 2034 of Lecture Notes in Computer Science, pp. 487–500, Springer-Verlag, 2001. [DOI]
18. Ch10
    J. Esposito, V. Kumar and G. J. Pappas, “Accurate Event Detection for Simulating Hybrid Systems,” in A. Sangiovanni-Vincetelli and M. di Bennedeto, editors, Hybrid Systems: Computation and Control, vol. 2034 of Lecture Notes in Computer Science, pp. 204–217, Springer-Verlag, 2001. [DOI]
19. C23
    P. Tabuada, G. J. Pappas and P. Lima, “Feasible Formations of Multi-Agent Systems,” in Proc. American Control Conference (ACC), Arlington, VA, pp. 56–61, June 2001. AACC American Control Conference Best Student Paper Award Finalist [DOI]

2000 Show / hide

1. C22
   G. J. Pappas and S. Simic, “Consistent Hierarchies of Nonlinear Abstractions,” in Proc. 39th IEEE Conference on Decision and Control (CDC), pp. 4379–4384, Sydney, Australia, December 2000. [DOI]
2. C21
   O. Shakernia, G. J. Pappas and S. Sastry, “Semidecidable Controller Synthesis for Classes of Linear Hybrid Systems,” in Proc. 39th IEEE Conference on Decision and Control (CDC), pp. 1834–1839, Sydney, Australia, December 2000. [DOI]
3. J6
   R. Alur, T. Henzinger, G. Lafferriere and G. J. Pappas, “Discrete Abstractions of Hybrid Systems,” Proceedings of the IEEE, vol. 88, no. 2, pp. 971–984, July 2000. [DOI]
4. C20
   G. Lafferriere, G. J. Pappas, G. Schneider and S. Yovine, “Parameter Synthesis in Robot Motion Planning Using Symbolic Reachability Computation,” in Proc. Mediterranean Conference on Control and Automation (MED), Rio, Greece, July 2000.
5. Ch9
   O. Shakernia, G. J. Pappas and S. Sastry, “Decidable Controller Synthesis for Classes of Linear Systems,” in N. Lynch and B.H. Krogh, editors, Hybrid Systems: Computation and Control, vol. 1790 of Lecture Notes in Computer Science, pp. 407–420, Springer-Verlag, 2000. [DOI]
6. J5
   G. J. Pappas, G. Lafferriere and S. Sastry, “Hierarchically Consistent Control Systems,” IEEE Transactions on Automatic Control, vol. 45, no. 6, pp. 1144–1160, June 2000. [DOI]
7. J4
   G. Lafferriere, G. J. Pappas and S. Sastry, “O-Minimal Hybrid Systems,” Mathematics of Control, Signals, and Systems, vol. 13, no. 1, pp. 1–21, March 2000. [DOI]

1999 Show / hide

1. C17
   G. Lafferriere, G. J. Pappas and S. Yovine, “Reachability Computation for Linear Hybrid Systems,” in Proc. IFAC World Congress, vol. E, pp. 7–12, Beijing, P.R. China, 1999. [DOI]
2. Ch8
   G. Lafferriere, G. J. Pappas and S. Yovine, “A New Class of Decidable Hybrid Systems,” in F.W. Vaandrager and J.H. van Schuppen, editors, Hybrid Systems: Computation and Control, vol. 1569 of Lecture Notes in Computer Science, pp. 137–151, Springer-Verlag, 1999. [DOI]
3. Ch7
   G. Lafferriere, G. J. Pappas and S. Sastry, “Hybrid Systems with Finite Bisimulations,” in P. Antsaklis, W. Kohn, M. Lemmon, A. Nerode, and S. Sastry, editors, Hybrid Systems V, vol. 1567 of Lecture Notes in Computer Science, pp. 186–203, Springer-Verlag, 1999. [DOI]
4. C19
   J. Lygeros, G. J. Pappas and S. Sastry, “An Introduction to Hybrid System Modeling, Analysis, and Control,” in Preprints of the First Nonlinear Control Network Pedagogical School, pp. 307–329, Athens, Greece, 1999.
5. C18
   G. Lafferriere, G. J. Pappas and S. Yovine, “Reach Set Computation for Linear Vector Fields Using Quantifier Elimination,” in Electronic Proceedings of the IMAC Conference on Applications of Computer Algebra, El Escorial, Spain, 1999.

1998 Show / hide

1. C16
   G. Lafferriere, G. J. Pappas and S. Sastry, “Reachability Analysis of Hybrid Systems Using Bisimulations,” in Proc. 37th IEEE Conference on Decision and Control (CDC), pp. 1623–1628, Tampa, 1998. [DOI]
2. C15
   G. J. Pappas, G. Lafferriere and S. Sastry, “Hierarchically Consistent Control Systems,” in Proc. 37th IEEE Conference on Decision and Control (CDC), pp. 4336–4341, Tampa, 1998. IEEE CSS CDC Best Student Paper Award Finalist [DOI]
3. C14
   J. Kosecka, C. Tomlin, G. J. Pappas and S. Sastry, “2-1/2 D Conflict Resolution Maneuvers for ATMS,” in Proc. 37th IEEE Conference on Decision and Control (CDC), pp. 2650–2655, Tampa, 1998. [DOI]
4. J3
   G. J. Pappas and S. Sastry, “Straightening Out Rectangular Differential Inclusions,” Systems & Control Letters, vol. 35, no. 2, pp. 79–85, September 1998. [DOI]
5. Ch6
   G. J. Pappas, J. Lygeros, D. Tilbury and S. Sastry, “Exterior Differential Systems in Control and Robotics,” in J. Baillieul, S. Sastry, and H. Sussmann, editors, Essays on Mathematical Robotics, vol. 104 of IMA Volumes in Mathematics and its Applications, pp. 271–372, Springer-Verlag, 1998. [DOI]
6. Ch5
   G. Lafferriere, G. J. Pappas and S. Sastry, “Subanalytic Stratifications and Bisimulations,” in T. Henzinger and S. Sastry, editors, Hybrid Systems: Computation and Control, vol. 1386 of Lecture Notes in Computer Science, pp. 205–220, Springer-Verlag, 1998. [DOI]
7. Ch4
   J. Lygeros, G. J. Pappas and S. Sastry, “An Approach to the Verification of the Center-TRACON Automation System,” in T. Henzinger and S. Sastry, editors, Hybrid Systems: Computation and Control, vol. 1386 of Lecture Notes in Computer Science, pp. 289–304, Springer-Verlag, 1998. [DOI]
8. C13
   J. Lygeros, G. J. Pappas and S. Sastry, “Large Scale System Issues in Automated Highway and Air Traffic Management Systems,” in Proc. 8th IFAC Symposium on Large Scale Systems, pp. 722–727, Rio, Greece, 1998. [DOI]
9. C12
   A. Bicchi, A. Marigo, G. J. Pappas, M. Prandini, S. Sastry and C. Tomlin, “Decentralized ATMS: Performance and Robustness,” in Proc. IFAC Workshop on Motion Control, pp. 279–284, Grenoble, 1998.
10. J2
    C. Tomlin, G. J. Pappas and S. Sastry, “Conflict Resolution for Air Traffic Management: A Study in Multi-Agent Hybrid Systems,” IEEE Transactions on Automatic Control, vol. 43, no. 4, pp. 509–521, April 1998. [DOI]

1997 Show / hide

1. C10
   G. J. Pappas, C. Tomlin, J. Lygeros, D. N. Godbole and S. Sastry, “A Next Generation Architecture for Air Traffic Management Systems,” in Proc. 36th IEEE Conference on Decision and Control (CDC), pp. 2405–2410, San Diego, 1997. [DOI]
2. C9
   C. Tomlin, G. J. Pappas and S. Sastry, “Noncooperative Conflict Resolution,” in Proc. 36th IEEE Conference on Decision and Control (CDC), pp. 1816–1821, San Diego, 1997. [DOI]
3. C8
   J. Kosecka, C. Tomlin, G. J. Pappas and S. Sastry, “Generation of Conflict Resolution Maneuvers for Air Traffic Management,” in Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 1598–1603, Grenoble, 1997. [DOI]
4. Ch3
   G. J. Pappas and S. Sastry, “Towards Continuous Abstractions of Dynamical and Control Systems,” in P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid Systems IV, vol. 1273 of Lecture Notes in Computer Science, pp. 329–341, Springer-Verlag, 1997. [DOI]
5. Ch2
   C. Tomlin, G. J. Pappas, J. Lygeros, D. N. Godbole and S. Sastry, “Hybrid Control Models of Next Generation Air Traffic Management,” in P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid Systems IV, vol. 1273 of Lecture Notes in Computer Science, pp. 378–404, Springer-Verlag, 1997. [DOI]
6. C11
   T. J. Koo, Y. Ma, G. J. Pappas and C. Tomlin, “SmartATMS: A Simulator for Air Traffic Management Systems,” in Proc. Winter Simulation Conference, pp. 1199–1205, Atlanta, 1997. [DOI]
7. Ch1
   C. Tomlin, G. J. Pappas, J. Kosecka, J. Lygeros and S. Sastry, “Advanced Air Traffic Automation: A Case Study in Distributed Decentralized Control,” in B. Siciliano and K.P. Valavanis, editors, Control Problems in Robotics and Automation, vol. 230 of Lecture Notes in Control and Information Sciences, pp. 261–295, Springer-Verlag, 1997. [DOI]

1996 Show / hide

1. C7
   G. J. Pappas, C. Tomlin and S. Sastry, “Conflict Resolution for Multi-Agent Hybrid Systems,” in Proc. 35th IEEE Conference on Decision and Control (CDC), pp. 1184–1189, Kobe, Japan, 1996. [DOI]
2. C6
   G. J. Pappas, “Avoiding Saturation by Trajectory Reparameterization,” in Proc. 35th IEEE Conference on Decision and Control (CDC), pp. 76–81, Kobe, Japan, 1996. [DOI]
3. C5
   C. Tomlin, G. J. Pappas, J. Lygeros, D. Godbole, S. Sastry and G. Meyer, “Hybrid Control in Air Traffic Management,” in Proc. IFAC World Congress, vol. L, pp. 127–132, San Francisco, 1996. [DOI]

1995 Show / hide

1. C4
   G. J. Pappas, D. N. Godbole and J. Lygeros, “Stabilization and Tracking of Feedback Linearizable Systems under Input Constraints,” in Proc. 34th IEEE Conference on Decision and Control (CDC), pp. 596–601, New Orleans, 1995. [DOI]
2. C3
   S. Sastry, G. Meyer, C. Tomlin, J. Lygeros, D. Godbole and G. J. Pappas, “Hybrid Control in Air Traffic Management Systems,” in Proc. 34th IEEE Conference on Decision and Control (CDC), pp. 1478–1483, New Orleans, 1995. [DOI]
3. J1
   G. J. Pappas and K. J. Kyriakopoulos, “Stabilization of Nonholonomic Vehicles under Kinematic Constraints,” International Journal of Control, vol. 61, no. 4, pp. 933–947, 1995. [DOI]

1993 Show / hide

1. C2
   G. J. Pappas and K. J. Kyriakopoulos, “Dynamic Modeling and Tracking Control of Nonholonomic Vehicles,” in Proc. IFAC World Congress, pp. 61–64, Sydney, Australia, 1993. [DOI]

1992 Show / hide

1. C1
   G. J. Pappas and K. J. Kyriakopoulos, “Modeling and Feedback Control of Nonholonomic Vehicles,” in Proc. 31st IEEE Conference on Decision and Control (CDC), pp. 2680–2685, Tucson, 1992. [DOI]