379. Alexander Robey, Eric Wong, Hamed Hassani, George J. Pappas, SmoothLLM: Defending Large Language Models Against Jailbreaking Attacks. In Proceedings of the International Conference on Machine Learning, Vienna, Austria, July 2024. Submitted.

378. Jiabao Ji, Bairu Hou, Alexander Robey, George J. Pappas, Hamed Hassani, Yang Zhang, Eric Wong, Shiyu Chang, Defending Large Language Models against Jailbreak Attacks via Semantic Smoothing, In Proceedings of the International Conference on Machine Learning, Vienna, Austria, July 2024. Submitted.

377. Patrick Chao, Alexander Robey, Edgar Dobriban, Hamed Hassani, George J. Pappas, Eric Wong, Jailbreaking Black Box Large Language Models in Twenty Queries, In Proceedings of the International Conference on Machine Learning, Vienna, Austria, July 2024. Submitted.

376. Patrick Chao, Alexander Robey, Edgar Dobriban, Hamed Hassani, George J. Pappas, Eric Wong, Jailbreaking Black Box Large Language Models in Twenty Queries, In Proceedings of the International Conference on Machine Learning, Vienna, Austria, July 2024. Submitted.

375. Shayan Kiyani, George J. Pappas, Hamed Hassani. Conformal Prediction with Learned Features. In Proceedings of the International Conference on Machine Learning, Vienna, Austria, July 2024. Submitted.

374. Ingvar Ziemann, Stephen Tu, George J. Pappas, Nikolai Matni. Sharp Rates in Dependent Learning Theory: Avoiding Sample Size Deflation for the Square Loss. In Proceedings of the International Conference on Machine Learning, Vienna, Austria, July 2024. Submitted.

373. Thomas Zhang, Bruce D Lee, Ingvar Ziemann, George J. Pappas, Nikolai Matni. Guarantees for Nonlinear Representation Learning: Non-identical Covariates, Dependent Data, Fewer Samples. In Proceedings of the International Conference on Machine Learning, Vienna, Austria, July 2024. Submitted.

372. Mahdi Sabbaghi, George J. Pappas, Hamed Hassani, Surbhi Goel. Encoding Structural Symmetry is Key for Length Generalization in Arithmetic Tasks. In Proceedings of the International Conference on Machine Learning, Vienna, Austria, July 2024. Submitted.

371. Nicolò Dal Fabbro, Arman Adibi, Aritra Mitra, George J. Pappas, Finite-Time Analysis of Asynchronous Multi-Agent TD Learning, In Proceedings of the 2024 American Control Conference, Toronto, July 2024

370. Charalampia Stamouli, Evangelos Chatzipantazis, George J. Pappas, Structural Risk Minimization for Learning Nonlinear Dynamics, In Proceedings of the 2024 American Control Conference, Toronto, July 2024

369. Alexander Robey, Fabian Latorre, George J. Pappas, Hamed Hassani, Volkan Cevher, Adversarial Training Should Be Cast as a Non-Zero-Sum Game, n Proceedings of the 12th International Conference on Learning Representations (ICLR), Vienna, Austria, May 2024.

368. Matthew Malencia, George J. Pappas, Vijay Kumar. Optimal Scene Graph Planning with Large Language Model Guidance. In Proceedings of International Conference on Robotics and Automation Yokohama, Japan, May 2024.

367. Arman Adibi, Nicolò Dal Fabbro, Luca Schenato, Sanjeev Kulkarni, H. Vince Poor, George J. Pappas, Hamed Hassani, Aritra Mitra, Stochastic Approximation with Delayed Updates: Finite-Time Rates under Markovian Sampling. , In Proceedings of the Artificial Intelligence and Statistics (AISTATS), Valencia, Spain, May 2024

366. Matthew Cleaveland; Insup Lee; George J. Pappas; Lars Lindemann, Conformal Prediction Regions for Time Series Using Linear Complementarity

365. 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 Proceedings of the 62nd IEEE Conference on Decision and Control, Singapore, December 2023.

364. gnacio Boero*, Igor Spasojevic, Mariana del Castillo, George J. Pappas, Vijay Kumar, Alejandro Ribeiro, Navigation with shadow prices to optimize multi commodity flow rates, In Proceedings of the 62nd IEEE Conference on Decision and Control, Singapore, December 2023.

363. Shaoru Chen, Kong Yao Chee, Nikolai Matni, M. Ani Hsieh, George J. Pappas, A Safety Filter for the Control of Neural Network Systems via Robust Linear MPC. In Proceedings of the 62nd IEEE Conference on Decision and Control, Singapore, December 2023.

362. Kong Yao Chee, M. Ani Hsieh, George J. Pappas, Uncertainty Quantification for Learning-based MPC using Weighted Conformal Pred

361. Shuo Yang, George J. Pappas, Rahul Mangharam, Lars Lindemann, Safe Perception-Based Control under Stochastic Sensor Uncertainty using Conformal Prediction, In Proceedings of the 62nd IEEE Conference on Decision and Control, Singapore, December 2023.

360. Samarth Kalluraya, George J. Pappas, Yiannis Kantaros. Resilient Temporal Logic Planning in the Presence of Robot Failures, In Proceedings of the 62nd IEEE Conference on Decision and Control, Singapore, December 2023.

360. Samarth Kalluraya, George J. Pappas, Yiannis Kantaros. Resilient Temporal Logic Planning in the Presence of Robot Failures, In Proceedings of the 62nd IEEE Conference on Decision and Control, Singapore, December 2023.

359. Ingvar Ziemann, Stephen Tu, George J. Pappas, Nikolai Matni, The noise level in linear regression with dependent data, In Proceedings of the 37th Conference on Neural Information Processing Systems (NeurIPS), December 2023

358. Kong Yao Chee, Thales Costa Silva, M. Ani Hsieh, George J. Pappas, Enhancing Sample Efficiency and Uncertainty Compensation in Learning-based Model Predictive Control for Aerial Robots, In Proceedings of the 2023 International Conference on Intelligent Robots and Systems (IROS), November 2023.

357. Igor Spasojevic, Xu Liu, Ankit Prabhu, Alejandro Ribeiro, George J. Pappas, Vijay Kumar, Robust Localization of Aerial Vehicles via Active Control of Identical Ground Vehicles. In Proceedings of the 2023 International Conference on Intelligent Robots and Systems (IROS), November 2023.

350. Thomas Beckers, Qirui Wu, George J. Pappas. Physics-enhanced Gaussian Process Variational Autoencoder. In Proceedings of the Learning for Dynamics and Control (L4DC), June 2023.

349. Tianqi Cui, Thomas Bertalan, George J. Pappas, Manfred Morari, Yannis Kevrekidis, Mahyar Fazlyab, Certified Invertibility in Neural Networks via Mixed-Integer Programming. In Proceedings of the Learning for Dynamics and Control (L4DC, June 2023.

348. Anushri Dixit, Lars Lindemann, Skylar Wei, Matthew Cleaveland, George J. Pappas, Joel W. Burdick. Adaptive Conformal Prediction for Motion Planning among Dynamic Agents.. In Proceedings of the Learning for Dynamics and Control (L4DC, June 2023.

347. Austin Ku Chen, Bryce L. Ferguson, Daigo Shishika, Michael Dorothy, Jason R. Marden, George J. Pappas, Vijay Kumar. Path Defense in Dynamic Defender-Attacker Blotto Games (dDAB) with Limited Information In Proceedings of the American Control Conference, May 2023.

346. Lars Lindemann, Xin Qin, Jyotirmoy Deshmukh, George J Pappas. Conformal Prediction for STL Runtime Verification. In Proceedings of 14th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2023), May 2023.

345. Mariliza Tzes, Nikolaos Bousias, Evangelos Chatzipantazis, George J Pappas. Graph Neural Networks for Multi-Robot Active Information Acquisition. In Proceedings of International Conference on Robotics and Automation, May 2023. ( Outstanding Multi-Robot Systems Paper)

344. Samarth Kalluraya, George J Pappas, Yiannis Kantaros. Multi-robot Mission Planning in Dynamic Semantic Environments. In Proceedings of International Conference on Robotics and Automation, May 2023.

343. Matthew Malencia, George J. Pappas, Vijay Kumar. Socially Fair Coverage Control. In Proceedings of International Conference on Robotics and Automation, May 2023.

342. Haoze Wu, Teruhiro Tagomori, Alexander Robey, Fengjun Yang, Nikolai Matni, Hamed Hassani, George J. Pappas, Corina Pasareanu, Clark Barrett. Toward Certified Robustness Against Real-World Distribution Shifts. In Proceedings of 1st IEEE Conference on Secure and Trustworthy Machine Learning, February 2023.

341. Thomas Beckers, Leonardo Colombo, Manfred Morari, George J. Pappas. Online learning-based balancing of feed-forward and feedback control. In Proceedings of the 61st IEEE Conference on Decision and Control, Cancun, Mexico, December 2022.

339. Anton Xue, Lars Lindemann, Alexander Robey, Hamed Hassani, George J. Pappas, Rajeev Alur. Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks. In Proceedings of the 61st IEEE Conference on Decision and Control, Cancun, Mexico, December 2022.

338. Thomas Beckers, Jacob H. Seidman, Paris Perdikaris, George J. Pappas. Gaussian Process Port-Hamiltonian Systems: Bayesian Learning with Physics Prior. In Proceedings of the 61st IEEE Conference on Decision and Control, Cancun, Mexico, December 2022.

337. Anastasia Impicciatore, Anastasios Tsiamis, Yuriy Zacchia Lun, Alessandro D'Innocenzo, George J. Pappas. Secure State Estimation Over Markov Wireless Communication Channels In Proceedings of the 61st IEEE Conference on Decision and Control, Cancun, Mexico, December 2022.

336. Arman Adibi, Aritra Mitra, George J. Pappas, Hamed Hassani. Distributed Statistical Min-Max Learning in the Presence of Byzantine Agents. In Proceedings of the 61st IEEE Conference on Decision and Control, Cancun, Mexico, December 2022.

335. Orlando Romero, Mouhacine Benosman, George J. Pappas. ODE Discretization Schemes As Optimization Algorithms, In Proceedings of the 61st IEEE Conference on Decision and Control, Cancun, Mexico, December 2022.

334. Jacob H Seidman, Georgios Kissas, Paris Perdikaris, George J Pappas. NOMAD: Nonlinear Manifold Decoders for Operator Learning. In Proceedings of 36th Conference on Neural Information Processing Systems, November 2022.

333. Aritra Mitra, Arman Adibi, George J Pappas, Hamed Hassani. Collaborative Linear Bandits with Adversarial Agents: Near-Optimal Regret Bounds. In Proceedings of 36th Conference on Neural Information Processing Systems, November 2022.

332. Cian Eastwood, Alexander Robey, Shashank Singh, Julius von Kügelgen, Hamed Hassani, George J Pappas, Bernhard Schölkopf. Probable domain generalization via quantile risk minimization. In Proceedings of 36th Conference on Neural Information Processing Systems, November 2022.

331. Matthew Malencia, Sandeep Manjanna, M. Ani Hsieh, George J. Pappas, Vijay Kumar. Adaptive Sampling of Latent Phenomena Using Heterogeneous Robot Teams. In Proceedings of the 2022 International Conference on Intelligent Robots and Systems (IROS), November 2022.

330. Alexander Robey, Luiz F.O. Chamon, George J. Pappas, Hamed Hassani, Probabilistically Robust Learning: Balancing Average- and Worst-case Performance. In 2022 International Conference on Machine Learning (ICML), Baltimore, MD, July 2022.

329. Anastasios Tsiamis, Ingvar M Ziemann, Manfred Morari, Nikolai Matni, George J. Pappas, Learning to control linear systems can be hard. In Conference on Learning Theory (COLT), pages 3820-3857, London, June 2022.

328. Charis Stamouli, Anastasios Tsiamis, Manfred Morari, George J. Pappas, Adaptive Stochastic MPC under Unknown Noise Distribution. In Proceedings of the 4th Conference on Learning for Dynamics and Control (L4DC), pages 596-607, Stanford, CA, June 2022.

327. Mariliza Tzes, Vasileios Vasilopoulos, Yiannis Kantaros, George J. Pappas. Reactive Informative Planning for Mobile Manipulation Tasks under Sensing and Environmental Uncertainty. In Proceedings of International Conference on Robotics and Automation, May 2022.

326. Allan Zhou, Fahim Tajwar, Alexander Robey, Tom Knowles, George J. Pappas, Hamed Hassani, Chelsea Finn. Do deep networks transfer invariances across classes? In Proceedings of 35th Conference on International Conference on Learning Representations (ICLR), April 2022.

325. Lars Lindemann, Alena Rodionova, George J. Pappas, Temporal robustness of stochastic signals, In Proceedings of 25th ACM Conference on Hybrid Systems: Computation and Control, April 2022.

324. Alexander Robey, Luiz F. O. Chamon, George J. Pappas, Alejandro Ribeiro, Hamed Hassani. Adversarial Robustness with Semi-Infinite Constrained Learning. In Proceedings of 35th Conference on Neural Information Processing Systems, December 2021.

323. Alexander Robey, Hamed Hassani, George J. Pappas. Model-Based Domain Generalization In Proceedings of 35th Conference on Neural Information Processing Systems, December 2021.

322. Wanxin Jin, Shaoshuai Mou, George J. Pappas. Safe Pontryagin Differentiable Programming. In Proceedings of 35th Conference on Neural Information Processing Systems, December 2021.

321. Aritra Mitra, Rayana Jaafar, George J. Pappas, Hamed Hassani. Linear Convergence in Federated Learning: Tackling Client Heterogeneity and Sparse Gradients. In Proceedings of 35th Conference on Neural Information Processing Systems, December 2021.

320. Anastasios Tsiamis, George J. Pappas, Linear Systems can be Hard to Learn. In Proceedings of the 60th IEEE Conference on Decision and Control, Austin, Texas, December 2021.

319. Aritra Mitra, Hamed Hassani, George J. Pappas, Online Federated Learning. In Proceedings of the 60th IEEE Conference on Decision and Control, Austin, Texas, December 2021.

318. Alena Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas, Time-Robust Control for STL Specifications. In Proceedings of the 60th IEEE Conference on Decision and Control, Austin, Texas, December 2021. ( Best Student Paper Award)

317. Lars Lindemann, Nikolai Matni, George J. Pappas, STL Robustness Risk over Discrete-Time Stochastic Processes. In Proceedings of the 60th IEEE Conference on Decision and Control, Austin, Texas, December 2021.

316. Andreea B. Alexandru, Anastasios Tsiamis, George J. Pappas, Encrypted Distributed Lasso for Sparse Data Predictive Control. In Proceedings of the 60th IEEE Conference on Decision and Control, Austin, Texas, December 2021.

315. Lars Lindemann, Matthew Cleaveland, Yiannis Kantaros, George J. Pappas, Robust Motion Planning in the Presence of Estimation Uncertainty. In Proceedings of the 60th IEEE Conference on Decision and Control, Austin, Texas, December 2021.

314. Rayana Jaafar, Aritra Mitra, George J. Pappas, Hamed Hassani, Federated Learning with Incrementally Aggregated Gradients. In Proceedings of the 60th IEEE Conference on Decision and Control, Austin, Texas, December 2021.

312.

312. Mahyar Fazlyab, Manfred Morari, George J. Pappas, An Introduction to Neural Network Analysis via Semidefinite Programming. In Proceedings of the 60th IEEE Conference on Decision and Control, Austin, Texas, December 2021.

312. Mahyar Fazlyab, Manfred Morari, George J. Pappas, An Introduction to Neural Network Analysis via Semidefinite Programming. In Proceedings of the 60th IEEE Conference on Decision and Control, Austin, Texas, December 2021.

311. Christopher Hsu, Heejin Jeong, George J. Pappas, Pratik Chaudhari, Scalable Reinforcement Learning Policies for Multi-Agent Control, In Proceedings of the 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Prague, Czech Republic, November 2021.

310. Maria-Elisabeth Tzes, Yiannis Kantaros, George J. Pappas, Distributed Sampling-based Planning forNon-Myopic Active Information Gathering, In Proceedings of the 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Prague, Czech Republic, November 2021.

308. Actor-only Deterministic Policy Gradient via Zeroth-order Gradient Oracles in Action Space. Harshat Kumar, Dionysios S Kalogerias, George J Pappas, Alejandro Ribeiro. In Proceedings of 2021 IEEE International Symposium on Information Theory, July 2021.

307. A Temporal Logic-Based Hierarchical Network Connectivity Controller. Hans Riess, Ioannis Kantaros, George J. Pappas, Robert Ghrist. In Proceedings of SIAM Conference on Control and Its Applications, July 2021.

306. Verification of Neural Network Controllers Using Taylor Model Preconditioning. Radoslav Ivanov, Taylor Carpenter, James Weimer, Rajeev Alur, George Pappas and Insup Lee, In Proceedings of the 33rd Conference on Computer Aided-Verification (CAV), Los Angeles, CA, June 2021.

305. Distributed Active Information Acquisition for Multi-Robot Systems. Yiannis Kantaros, George J. Pappas. In Proceedings of the IEEE Conference on Robotics and Automation, Xian, June 2021.

304. Deep Reinforcement Learning for Active Target Tracking. Heejin Jeong, Hamed Hassani, Manfred Morari, Daniel Lee, George J. Pappas In Proceedings of the IEEE Conference on Robotics and Automation, Xian, June 2021.

303. Reactive Planning for Mobile Manipulation Tasks in Unexplored Semantic Environments. Vasileios Vasilopoulos, Yiannis Kantaros, George J. Pappas, Daniel Koditschek, In Proceedings of the IEEE Conference on Robotics and Automation, Xian, June 2021.

302. Non-Monotone Energy-Aware Information Gathering for Heterogeneous Robot Teams. Xiaoyi Cai, Brent Schlotfeldt, Kasra Khosoussi, Nikolay Atanasov, George J. Pappas, Jonathan P. How, In Proceedings of the IEEE Conference on Robotics and Automation, Xian, June 2021.

301. Optimal Multi-robot Perimeter Defense using Flow Networks. Austin K. Chen, Douglas G. Macharet, Daigo Shishika, George J. Pappas and Vijay Kumar. In Proceedings of the 15th International Symposium on Distributed Autonomous Robotic Systems, June 2021.

300. Source Seeking in Unknown Environments with Convex Obstacles. Bruno Angelico, Luiz F. O. Chamon, Santiago Paternain, Alejandro Ribeiro, George J. Pappas, In Proceedings of the American Control Conference, New Orleans, LA, May 2021.

299. Actor-only deterministic policy gradient via zeroth-order gradient oracles in action space. Harshat Kumar, Dionysios Kalogerias, George J. Pappas, Alejandro Ribeiro. In Proceedings of the 2021 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Toronto, Canada, May 2021.

298. Learning Lyapunov Functions for Hybrid Systems. Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas and Victor M. Preciado. In Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC), May 2021.

297. Almost-Zero Duality Gaps in Model-Free Resource Allocation for Wireless Systems. Dionysios Kalogerias, Mark Eisen, George J. Pappas, Alejandro Ribeiro. In Proceedings of the 28th European Signal Processing Conference (EUSIPCO), pages 1727-1731, Amsterdam, Netherland, January 2021.

296. Towards Private Data-driven Control.Andreea B. Alexandru, Anastasios Tsiamis, George J. Pappas, In Proceedings of the 59th IEEE Conference on Decision and Control, Jeju, Korea, December 2020.

295. Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming.Haimin Hu, Mahyar Fazlyab, Manfred Morari, George J. Pappas, In Proceedings of the 59th IEEE Conference on Decision and Control, Jeju, Korea, December 2020.

294. Control Barrier Functions for Nonholonomic Systems under Risk Signal Temporal Logic Specifications. Lars Lindemann, George J. Pappas, Dimos V. Dimarogonas, In Proceedings of the 59th IEEE Conference on Decision and Control, Jeju, Korea, December 2020.

293. Risk-Constrained Linear Quadratic Regulators, Anastasios Tsiamis, Dionysios Kalogerias, Luiz F. O. Chamon, Alejandro Ribeiro, George J. Pappas, In Proceedings of the 59th IEEE Conference on Decision and Control, Jeju, Korea, December 2020.

292. Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes.Pushpak Jagtap, George J. Pappas, Majid Zamani, In Proceedings of the 59th IEEE Conference on Decision and Control, Jeju, Korea, December 2020.

291. Adaptive Partitioning for Cooperative Multi-agent Perimeter Defense, Douglas Guimar‹es Macharet, Austin Ku Chen, Daigo Shishika, George J. Pappas, Vijay Kumar, In Proceedings of the 2020 International Conference on Intelligent Robots and Systems (IROS), Las Vegas, NV, November 2020.

290. Learning to Control over Unknown Wireless Channels. Konstantinos Gatsis and George J. Pappas, In Proceedings of the IFAC World Congress, Berlin, Germany, July 2020.

289. Private Weighted Sum Aggregation for Distributed Control Systems. Andreea Alexandru and George J. Pappas, In Proceedings of the IFAC World Congress, Berlin, Germany, July 2020.

288. Non-Cooperative Distributed MPC with Iterative Learning. Haimin Hu, Konstantinos Gatsis, Manfred Morari, George J. Pappas, In Proceedings of the IFAC World Congress, Berlin, Germany, July 2020.

287. Sample Complexity of Kalman Filtering for Unknown Systems. Anastasios Tsiamis, Nikolai Matni, George J. Pappas, In Proceedings of the 2nd Learning for Dynamics and Control (L4DC), Berkeley, CA, June 2020. (Oral Spotlight)

286. Robust Deep Learning as Optimal Control: Insights and Convergence Guarantees. Jacob Seidman, Mahyar Fazlyab, Victor Preciado, George J. Pappas. In Proceedings of the 2nd Learning for Dynamics and Control (L4DC), Berkeley, CA, June 2020.

285. Reactive Temporal Logic Planning for Multiple Robots in Unknown Environments. Yiannis Kantaros, Matthew Malencia, Vijay Kumar, George J. Pappas, In Proceedings of the IEEE Conference on Robotics and Automation, Paris, June 2020.

284. Information Theoretic Active Exploration in Signed Distance Fields. Kelsey Saulnier, Nikolay Atanasov, George J. Pappas, Vijay Kumar, In Proceedings of the IEEE Conference on Robotics and Automation, Paris, June 2020.

283. Distributed Attack-Robust Submodular Maximization for Multi-Robot Planning.Lifeng Zhou, Vasileios Tzoumas, George J. Pappas, Pratap Tokekar, In Proceedings of the IEEE Conference on Robotics and Automation, Paris, June 2020.

282. Better safe than sorry: Risk-aware nonlinear Bayesian estimation. Dionysios Kalogerias, Luiz Chamon, George J. Pappas, Alejandro Ribeiro. In Proceedings of the 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Barcelona, Spain, May 2020. (Best Paper Award)

281. A zeroth-order learning algorithm for ergodic optimization of wireless systems with no models and no gradients. Dionysios Kalogerias, Mark Eisen, George J. Pappas, Alejandro Ribeiro. In Proceedings of the 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Barcelona, Spain, May 2020.

280. Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks, Mahyar Fazlyab, Alexander Robey, Hamed Hassani, Manfred Morari and George J. Pappas, In Proceedings of Neural Information Processing Systems (NeurIPS), pages 11423--11434, December 2019 (Oral Spotlight)

279. Finite Sample Analysis of Stochastic System Identification. Anastasios Tsiamis and George J. Pappas, In Proceedings of the 58th IEEE Conference on Decision and Control, Nice, France, December 2019.

278. Encrypted Cooperative Control Revisited. Andreea B. Alexandru, Moritz Schulze Darup, George J. Pappas, In Proceedings of the 58th IEEE Conference on Decision and Control, Nice, France, December 2019.

277. Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees. Hossein Hasanbeig, Yiannis Kantaros, Alessandro Abate, Daniel kroening, George J. Pappas, Insup Lee, In Proceedings of the 58th IEEE Conference on Decision and Control, Nice, France, December 2019.

276. Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming. Mahyar Fazlyab, Manfred Morari, George J. Pappas, In Proceedings of the 58th IEEE Conference on Decision and Control, Nice, France, December 2019.

275. Optimal Temporal Logic Planning for Multi-Robot Systems in Uncertain Semantic Maps. Yiannis Kantaros, and George J. Pappas. In Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Macau, Hong Kong, November 2019.

274. Maximum Information Bounds for Active Sensing. Brent Schlotfeldt, Nikolay Atanasov, and George J. Pappas. In Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Macau, Hong Kong, November 2019.

273. Learning Q-network for Active Information Acquisition. Heejin Jeong, Brent Schlotfeldt, Hamed Hassani, Manfred Morari, Daniel Lee, and George J. Pappas. In Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Macau, Hong Kong, November 2019.

272. Learning Decentralized Controllers for Robot Swarms with Graph Neural Networks. Ekaterina Tolstaya, Frnando Gama, James Paulos, George J. Pappas, Vijay Kumar, Alejandro Ribeiro. In Proceedings of the 3rd Robot Learning (CoRL), Osaka, Japan, October 2020.

271. Tuning Communication Latency for Distributed Model Predictive Control. Haimin Hu, Konstantinos Gatsis, Manfred Morari, George J. Pappas. In Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems, Chicago, IL, September 2019.

270. Assumed Density Filtering Q-learning. Heejin Jeong, Clark Zhang, George J. Pappas, and Daniel Lee. In Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI), Macau, China, August 2019.

269. Motion Planning with Secrecy. Anastasios Tsiamis, Andreea B. Alexandru, George J. Pappas. In Proceedings of the American Control Conference, Philadelphia, PA, July 2019. Finalist, Best Student Paper Award.

268. N-Dimensional Distributed Network Localization with Noisy Range Measurements and Arbitrary Anchor Placement. Pedro P. V. Tecchio, Nikolay Atanasov, Shahin Shahrampour, George J. Pappas. In Proceedings of the American Control Conference, Philadelphia, PA, July 2019.

267. Optimal Reset Strategies for Mitigating Malware Epidemics. Nicholas J. Watkins, and George J. Pappas. In Proceedings of the American Control Conference, Philadelphia, PA, July 2019.

266. Resilient Structural Stabilizability of Undirected Networks. Jingqi Li, Ximing Chen, Sergio Pequito, George J. Pappas, Victor M. Preciado. In Proceedings of the American Control Conference, Philadelphia, PA, July 2019.

265. Asymptotically Optimal Planning for Non-myopic Multi-Robot Information Gathering. Yiannis Kantaros, Brent Schlotfeldt, Nikolay Atanasov, and George J. Pappas. In Proceedings of the 2019 Robotics: Science and Systems (RSS), Freiburg, Germany, June 2019.

264. Encrypted LQG using labeled homomorphic encryption. Andreea Alexandru and George J. Pappas. In Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Montreal, Canada, April 2019. Finalist, Best Paper Award.

263. Verisig: verifying safety properties of hybrid systems with neural network controllers. Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, and Insup Lee. In Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Montreal, Canada, April 2019.

262. Sample Complexity of Networked Control Systems over Unknown Channels. Konstantinos Gatsis, George J. Pappas. In Proceedings of the 57th IEEE Conference on Decision and Control, Miami, FL, December 2018.

261. Cloud-based MPC with Encrypted Data. Andreea B. Alexandru, Manfred Morari, George J. Pappas. In Proceedings of the 57th IEEE Conference on Decision and Control, Miami, FL, December 2018.

260. Resilient Monotone Sequential Maximization. Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas. In Proceedings of the 57th IEEE Conference on Decision and Control, Miami, FL, December 2018.

259. A Chebyshev-Accelerated Primal-Dual Method for Distributed Optimization. Jacob H. Seidman, Mahyar Fazlyab, George J. Pappas, Victor M. Preciado. In Proceedings of the 57th IEEE Conference on Decision and Control, Miami, FL, December 2018.

258. An Information Matrix Approach for State Secrecy. Anastasios Tsiamis, Konstantinos Gatsis, George J. Pappas. In Proceedings of the 57th IEEE Conference on Decision and Control, Miami, FL, December 2018.

257. A Robust Moment Closure for General Continuous-time Epidemic Processes. Nicholas J. Watkins, Cameron Nowzari, George J. Pappas. In Proceedings of the 57th IEEE Conference on Decision and Control, Miami, FL, December 2018.

256. Structural Target Controllability of Undirected Networks. Jingqi Li, Ximing Chen, Sergio Pequito, George J. Pappas, Victor M. Preciado. In Proceedings of the 57th IEEE Conference on Decision and Control, Miami, FL, December 2018.

255. Resilient Active Information Gathering with Mobile Robots. Brent Schlotfeldt, Dinesh Thakur, Nikolay Atanasov, Vijay Kumar, and George J. Pappas. In Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Madrid, Spain, October 2018

254. A Unifying View of Geometry, Semantics, and Data Association in SLAM. Nikolay Atanasov, Sean L. Bowman, Kostas Daniilidis, George J. Pappas. In Proceedings of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence, Stockholm, Sweden, July 2018

253. State-Secrecy Codes for Stable Systems. Anastasios Tsiamis, Konstantinos Gatsis, George J. Pappas. In Proceedings of the American Control Conference, Milwaukee, WI, June 2018.

252. Sensing-Constrained LQG Control. Vasileios Tzoumas, Luca Carlone, George J. Pappas, Ali Jadbabaie. In Proceedings of the American Control Conference, Milwaukee, WI, June 2018.

251. Scenario-Based Model Predictive Control for Energy Harvesting Actuators. Nicholas J. Watkins, Konstantinos Gatsis, Manfred Morari, George J. Pappas. In Proceedings of the American Control Conference, Milwaukee, WI, June 2018.

250. Dense 3-D Mapping with Spatial Correlation Via Gaussian Filtering. Ke Sun, Kelsey Saulnier, Nikolay Atanasov, George J. Pappas, Vijay Kumar. In Proceedings of the American Control Conference, Milwaukee, WI, June 2018.

249. Learning in Non-Stationary Wireless Control Systems Via Newton's Method. Mark Eisen, Konstantinos Gatsis, George J. Pappas, Alejandro Ribeiro. In Proceedings of the American Control Conference, Milwaukee, WI, June 2018.

248. Approximating Explicit Model Predictive Control Using Constrained Neural Networks. Steven Chen, Kelsey Saulnier, Nikolay Atanasov, Daniel D. Lee, Vijay Kumar, George J. Pappas, Manfred Morari. In Proceedings of the American Control Conference, Milwaukee, WI, June 2018.

247. Optimization of Switched Linear Systems Over NonStationary Wireless Channels. Mark Eisen, Konstantinos Gatsis, George J. Pappas and Alejandro Ribeiro. In Proceedings of 19th IEEE International Workshop on Signal Processing Advances in Wireless Communications (SPAWC), Kalamata, Greece, June 2018.

246. Dynamic Integration of Heterogeneous Transportation Modes under Disruptive Events. Yukun Yuan, Desheng Zhang, Fei Miao, John A. Stankovic, Tian Hez, George Pappas and Shan Lin. In Proceedings of the 2018 International Conference on Cyber-Physical Systems (ICCPS), Porto, Portugal, April 2018.

245. Learning statistically accurate resource allocations in non-stationary wireless systems. Mark Eisen, Konstantinos Gatsis, George J. Pappas and Alejandro Ribeiro, In Proceedings of the 2018 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Alberta, Canada, April 2018.

244. Resilient Monotone Submodular Function Maximization. Tzoumas, Konstantinos Gatsis, Ali Jadbabaie, George J. Pappas, In Proceedings of the 56th IEEE Conference on Decision and Control, Melbourne, Australia, December 2017. Finalist, Best Student Paper Award.

243. State Estimation Codes for Perfect Secrecy. Anastasios Tsiamis, Konstantinos Gatsis, George J. Pappas, In Proceedings of the 56th IEEE Conference on Decision and Control, Melbourne, Australia, December 2017.

242. The Mean Square Error in Kalman Filtering Sensor Selection is Approximately Supermodular. Luiz Fernando de Oliveira Chamon, George J. Pappas, Alejandro Ribeiro, In Proceedings of the 56th IEEE Conference on Decision and Control, Melbourne, Australia, December 2017.

241. On the Limited Communication Analysis and Design for Decentralized Estimation. Andreea B. Alexandru, Sergio Pequito, Ali Jadbabaie, George J. Pappas, In Proceedings of the 56th IEEE Conference on Decision and Control, Melbourne, Australia, December 2017.

240. Differential Privacy for Dynamical Sensitive Data. Fragkiskos Koufogiannis, George J. Pappas, In Proceedings of the 56th IEEE Conference on Decision and Control, Melbourne, Australia, December 2017.

239. Battery Management for Control Systems with Energy Harvesting Sensors. Nicholas J. Watkins, Konstantinos Gatsis, Cameron Nowzari, George J. Pappas, In Proceedings of the 56th IEEE Conference on Decision and Control, Melbourne, Australia, December 2017.

238. Network Design for Controllability Metrics. Cassiano Becker, Sergio Pequito, George J. Pappas, Victor M. Preciado, In Proceedings of the 56th IEEE Conference on Decision and Control, Melbourne, Australia, December 2017.

237. Linear Temporal Logic Motion Planning for Teams of Underactuated Robots Using Satisfiability Modulo Convex Programming. Y. Shoukry, P. Nuzzo, A. Balkan, I. Saha, A. L. Sangiovanni-Vincentelli, S. A. Seshia, G. J. Pappas, P. Tabuada. In Proceedings of the 56th IEEE Conference on Decision and Control, Melbourne, Australia, December 2017.

236. Hierarchical Data-Driven Vehicle Dispatch and Ride-sharing. Ximing Chen, Fei Miao, George J. Pappas, Victor M. Preciado, In Proceedings of the 56th IEEE Conference on Decision and Control, Melbourne, Australia, December 2017.

235. Privacy preserving Cloud-based Quadratic Optimization. Andreea Alexandru, Konstantinos Gatsis, George J. Pappas. In Proceedings of the 55th Allerton Conference on Communications, Control, and Computing, Allerton, IL, October 2017.

234. Distributed Leader Selection in Switching Networks of High-Order Integrators. Anastasios Tsiamis, Sergio Pequito, George Pappas. In Proceedings of the 55th Allerton Conference on Communications, Control, and Computing, Allerton, IL, October 2017.George J. Pappas

233. State estimation with secrecy against eavesdroppers. Anastasios Tsiamis, Konstantinos Gatsis, and George J. Pappas. In IFAC World Congress, Toulouse, France, July 2017. Finalist, Best Young Author Prize.

232. Probabilistic Data Association for Semantic SLAM. Sean Bowman, Nikolay Atanasov, Kostas Daniilidis, George J. Pappas. In Proceedings of the IEEE Conference on Robotics and Automation, Singapore, June 2017. Best Conference Paper Award.

231. Quantification on the Efficiency Gain of Automated Ridesharing Services. Shuo Han, Ufuk Topcu, George J. Pappas. In Proceedings of the American Control Conference, Seattle, WA, May 2017.

230. Scheduling Nonlinear Sensors for Stochastic Process Estimation. Vasileios Tzoumas, Nikolay Atanasov, Ali Jadbabaie, George J. Pappas. In Proceedings of the American Control Conference, Seattle, WA, May 2017.

229. Inference, Prediction and Control of Networked Epidemics. Nicholas J. Watkins, Cameron Nowzari, George J. Pappas. In Proceedings of the American Control Conference, Seattle, WA, May 2017.

228. Discrete-time Fractional-order Multiple Scenario-based Sensor Selection. Sergio Pequito, Andrew Clark, and George J. Pappas. In Proceedings of the American Control Conference, Seattle, WA, May 2017.

227. Spectral Control of Cortical Activity. Sergio Pequito, Arian Ashourvan, Danielle Bassett, Brian Litt, George J. Pappas. In Proceedings of the American Control Conference, Seattle, WA, May 2017.

226. Calibration-Free Network Localization using Non-Line-of-Sight Ultra-Wideband Measurements. C. di Franco, A. Prorok, N. Atanasov, B. Kempke, P. Dutta, V. Kumar, G. J. Pappas, In Proceedings of ACM/IEEE Information Processing in Sensor Networks (IPSN), Pittsburgh, PA, April 2017.

225. SMC: Satisfiability Modulo Convex Optimization. Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, and Paulo Tabuada. In Proceedings of Hybrid Systems: Computation and Control (HSCC), Pittsburgh, PA, April 2017.

224. Data-driven distributionally robust vehicle balancing with dynamic region partition. Fei Miao, Shuo Han, Abdeltawab Hendawi, Mohamed E. Khalefa, John A. Stankovic, George J. Pappas. In Proceedings of International Conference of Cyberphysical Systems (ICCPS), Pittsburgh, PA, April 2017.

223. Differential privacy in control and network systems. Jorge Cortés, Geir E. Dullerud, Shuo Han, Jerome Le Ny, Sayan Mitra, George J. Pappas, In Proceedings of the 54th IEEE Conference on Decision and Control, Las Vegas, NV, December 2016.

222. Privacy-Aware Quadratic Optimization Using Partially Homomorphic Encryption. Yasser Shoukry, Konstantinos Gatsis, Amr Alanwar, George J. Pappas, Sanjit A. Seshia, Mani Srivastava, Paulo Tabuada. In Proceedings of the 54th IEEE Conference on Decision and Control, Las Vegas, NV, December 2016.

221. Scalable Motion Planning Using Lazy SMT-Based Solving. Yasser Shoukry, Pierluigi Nuzzo, Indranil Saha, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada. In Proceedings of the 54th IEEE Conference on Decision and Control, Las Vegas, NV, December 2016.

220. Near-Optimal Sensor Scheduling for Batch State Estimation: Complexity, Algorithms, and Limits. Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Las Vegas, NV, December 2016.

219. State-Based Communication Design for Wireless Control Systems. Konstantinos Gatsis, Alejandro Ribeiro, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Las Vegas, NV, December 2016.

218. Location-dependent Privacy. Fragkiskos Koufogiannis, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Las Vegas, NV, December 2016.

217. Multi-Input Multi-Output Privacy. Fragkiskos Koufogiannis, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Las Vegas, NV, December 2016.

216. Decentralized Observability with Limited Communication between Sensors. Andreea Beatrice Alexandru, Sergio Pequito, Ali Jadbabaie, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Las Vegas, NV, December 2016.

215. Coordination of multi-agent systems via asynchronous cloud communication. Sean L. Bowman, Cameron Nowzari, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Las Vegas, NV, December 2016.

214. Self-Triggered Time-Varying Convex Optimization. Mahyar Fazlyab, Cameron Nowzari, George J. Pappas, Alejandro Ribeiro, Victor M. Preciado. In Proceedings of the 54th IEEE Conference on Decision and Control, Las Vegas, NV, December 2016.

213. A Column Generation Approach for Optimized Routing and Coordination of a UAV Fleet. Julia Zillies, Stephan Westphal, Vijay Kumar, Dinesh Thakur, George J. Pappas, David Scheidt. In 2016 IEEE International Symposium on Safety, Security and Rescue Robotics, Lausanne, Switzerland, 2016.

212. Online Planning for Energy-efficient and Disturbance-aware UAV Operations. Nicola Bezzo, Kartik Mohta, Cameron Nowzari, Insup Lee, Vijay Kumar, George J. Pappas. In 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Daejeon, Korea, October 2016.

211. Minimum Number of Sensors to Ensure Observability of Physiological Systems: a Case Study. Yuankun Xue, Sergio Pequito, Joana Maria Rosado Coelho, Paul Bogdan, George J. Pappas. In Proceedings of the 54th Allerton Conference on Communications, Control, and Computing, Allerton, IL, October 2016.

210. Event-Based Information-Theoretic Privacy. In Proceedings of the American Control Conference. Shuo Han, Ufuk Topcu, George J. Pappas. Boston, MA, July 2016.

209. Multi-agent coordination with asynchronous cloud access. Cameron Nowzari and George J. Pappas. In Proceedings of the American Control Conference, Boston, MA, July 2016.

208. Structural Analysis and Design of Dynamic-Flow Networks: Implications into the Brain Dynamics. Sergio Pequito, Ankit Khambhati, George J. Pappas, Dragoslav D. Siljak, Danielle Bassett, Brian Litt. In Proceedings of the American Control Conference, Boston, MA, July 2016.

207. Diffusing Private Data over Networks. Fragkiskos Koufogiannis, George J. Pappas. In Proceedings of the American Control Conference, Boston, MA, July 2016.

206. Sensor Placement for Optimal Kalman Filtering: Fundamental Limits, Submodularity, and Algorithms. Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas. In Proceedings of the American Control Conference, Boston, MA, July 2016.

205. Optimal Temporal Logic Planning in Probabilistic Semantic Maps. Jie Fu, Nikolay Atanasov,Ufuk Topcu, and George J. Pappas. In Proceedings of the IEEE Conference on Robotics and Automation, Stockholm, Sweden, May 2016.

204. Control-aware Random Access Communication. Konstantinos Gatsis, Alejandro Ribeiro, George J. Pappas. In Proceedings of International Conference of Cyberphysical Systems (ICCPS), Vienna, Austria April 2016.

203. Estimation of Blood Oxygen Content Using Context-Aware Filtering. R. Ivanov, N. Atanasov, J. Weimer, M. Pajic, A. Simpao, M. Rehman, G.J. Pappas, I. Lee. In Proceedings of International Conference of Cyberphysical Systems (ICCPS), Vienna, Austria April 2016.

202. Implan: Scalable Incremental Motion Planning for Multi-Robot Systems. Indranil Saha, Rattanachai Ramaitithima, Vijay Kumar, George J. Pappas, Sanjit A. Seshia. In Proceedings of International Conference of Cyberphysical Systems (ICCPS), Vienna, Austria April 2016.

201. Distributed leader selection. Sergio Pequito, Victor Preciado, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Osaka, Japan, December 2015.

200. Minimal reachability problems. Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Osaka, Japan, December 2015.

199. Periodic Event-Triggered Average Consensus over Directed Graphs. Xiang Meng, Lihua Xie, Yeng Chai Soh, Cameron Nowzari, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Osaka, Japan, December 2015.

198. Taxi Dispatch under Model Uncertainties. Fei Miao, Shuo Han, Shan Lin, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Osaka, Japan, December 2015.

197. Control with Random Access Wireless Sensors. Konstantinos Gatsis, Alejandro Ribeiro, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Osaka, Japan, December 2015.

196. A general class of spreading processes with non-Markovian dynamics. Cameron Nowzari, Masaki Ogura, Victor M. Preciado, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Osaka, Japan, December 2015.

195. Minimum Number of Probes for Brain Dynamics Observability. Sergio Pequito, Paul Bogdan, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Osaka, Japan, December 2015.

194. Static Output Feedback: On Essential Feasible Information Patterns. Joao Carvalho, Sergio Pequito, A. Pedro Aguiar, Soummya Kar, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Osaka, Japan, December 2015.

193. A Sublinear Algorithm for Barrier-Certificate-Based Data-Driven Model Validation of Dynamical Systems. Shuo Han, Ufuk Topcu, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Osaka, Japan, December 2015.

192. Attack-Resilient State Estimation in the Presence of Noise. Miroslav Pajic, Paulo Tabuada, Insup Lee, George J. Pappas, In Proceedings of the 54th IEEE Conference on Decision and Control, Osaka, Japan, December 2015.

191. Self-triggered Pursuit and Evasion. Saad A. Aleem, Cameron Nowzari, George J. Pappas. In Proceedings of the 54th IEEE Conference on Decision and Control, Osaka, Japan, December 2015.

190. Optimal resource allocation for containing epidemics on time-varying networks. Cameron Nowzari, Masaki Ogura, Victor M. Preciado, and George J. Pappas. In Proceedings of the Asilomar Conference on Signals, Systems, and Computers, Pacific Grove, California, November 2015.

189. Robust Estimation Using Context-Aware Filtering. Radoslav Ivanov, Nikolay Asenov Atanasov, Miroslav Pajic, George Pappas, Insup Lee. In Proceedings of the 53rd Allerton Conference on Communications, Control, and Computing, Allerton, IL, October 2015.

188. Automatic Verification of Linear Controller Software. Miroslav Pajic, Insup Lee, George J. Pappas. In Proceedings of the Embedded Software, Amsterdam, Netherlands, October 2015.

187. Decentralized Channel Access for Wireless Control Systems. Konstantinos Gatsis, Alejandro Ribeiro, George J. Pappas. In Proceedings of the 5th IFAC Workshop on Distributed Estimation and Control in Networked Systems (NecSys), Philadelphia, PA, September 2015.

186. Sparsest Minimum Multiple-Cost Structural Leader Selection. Pequito, James Svacha, George J. Pappas, Vijay Kumar. In Proceedings of the 5th IFAC Workshop on Distributed Estimation and Control in Networked Systems (NecSys), Philadelphia, PA, September 2015.

185. Minimal Actuator Placement with Optimal Control Constraints. Vasileios Tzoumas, Mohammad Amin Rahimian, George J. Pappas, Ali Jadbabaie. In Proceedings of the American Control Conference, Chicago, IL, July 2015.

184. Team-triggered coordination of robotic networks for optimal deployment. Cameron Nowzari, Jorge Cortes, George J. Pappas. In Proceedings of the American Control Conference, Chicago, IL, July 2015.

183. Approximately Truthful Mechanism for Electric Vehicle Charging via Joint Differential Privacy. Shuo Han, Ufuk Topcu, George J. Pappas. In Proceedings of the American Control Conference, Chicago, IL, July 2015.

182. Value of forecasts in planning under uncertainty. Konstantinos Gatsis, Ufuk Topcu, George J. Pappas. In Proceedings of the American Control Conference, Chicago, IL, July 2015.

181. Minimum Cost Constrained Input-Output and Control Configuration Co-Design Problem: A Structural Systems Approach. Sergio Pequito, Soummya Kar, George J. Pappas. In Proceedings of the American Control Conference, Chicago, IL, July 2015.
2016 O. Hugo Schuk Best Paper Award

180. Optimal resource allocation for competing epidemics over arbitrary networks. Nicholas J. Watkins, Cameron Nowzari, Victor M. Preciado, George J. Pappas. In Proceedings of the American Control Conference, Chicago, IL, July 2015.

179. Decentralized Active Information Acquisition: Theory and Application to Multi-Robot SLAM. Nikolay Atanasov, Jerome Le Ny, Kostas Daniilidis, George J. Pappas. In Proceedings of the IEEE Conference on Robotics and Automation, Seattle, WA, May 2015.

178. Taxi Dispatch with Real-Time Sensing Data in Metropolitan Areas- a Receding Horizon Control Approach. Fei Miao, Shan Lin, Sirajum Munir, John A. Stankovic, Hua Huang, Desheng Zhang, Tian He, George J. Pappas. In Proceedings of International Conference of Cyberphysical Systems (ICCPS), Seattle, WA, April 2015. Finalist, Best Paper Award

177. Stability analysis of generalized epidemic models over directed networks. Cameron Nowzari, Victor M. Preciado, George J. Pappas. In Proceedings of the 53rd IEEE Conference on Decision and Control, Los Angeles, CA, December 2014.

176. Coding Sensor Outputs for Injection Attacks Detection. Fei Miao, Quanyan Zhu, Miroslav Pajic, George J. Pappas. In Proceedings of the 53rd IEEE Conference on Decision and Control, Los Angeles, CA, December 2014.

175. Opportunistic sensor scheduling in wireless control systems. Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, George J. Pappas. In Proceedings of the 53rd IEEE Conference on Decision and Control, Los Angeles, CA, December 2014.

174. Joint Estimation and Localization in Sensor Networks. Nikolay Atanasov, Roberto Tron, Victor M. Preciado, George J. Pappas. In Proceedings of the 53rd IEEE Conference on Decision and Control, Los Angeles, CA, December 2014.

173. Differentially private convex optimization with piecewise affine objectives. Shuo Han, Ufuk Topcu, George J. Pappas. In Proceedings of the 53rd IEEE Conference on Decision and Control, Los Angeles, CA, December 2014.

172. On the Controllability of Locally Bounded Infinite Networks. Chinwendu Enyioha, Mohammad Amin Rahimian, George J. Pappas, Ali Jadbabaie. In Proceedings of the 53rd IEEE Conference on Decision and Control, Los Angeles, CA, December 2014.

171. Computation of privacy-preserving prices in smart grids. Fragkiskos Koufogiannis, Shuo Han, George J. Pappas. In Proceedings of the 53rd IEEE Conference on Decision and Control, Los Angeles, CA, December 2014.

170. Automated Composition of Motion Primitives for Multi-Robot Systems from Safe LTL Specications. Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George J. Pappas, Sanjit A. Seshia. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, Chicago, IL, September 2014.

169. Attack resilient state estimation for autonomous robotic systems. Nicola Bezzo, James Weimer, Miroslav Pajic, Oleg Sokolsky, George J. Pappas, Insup Lee. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, Chicago, IL, September 2014.

168. Active deformable part models inference. Menglong Zhu, Nikolay, Atanasov, Kostas Daniilidis, and George J. Pappas. In Proceedings of European Conference on Computer Vision, Zurich, Switzerland, September 2014.

167. Semantic localization via the matrix permanent. Nikolay Atanasov, Menglong Zhu, Kostas Daniilidis, and George J. Pappas. In Proceedings of Robotics: Science and Systems, Berkeley, CA, July 2014.

166. Information Acquisition with Sensing Robots: Algorithms and Error Bounds. Nikolay Atanasov, Jerome Le Ny, Kostas Daniilidis, and George J. Pappas. In Proceedings of the IEEE Conference on Robotics and Automation, Hong Kong, China, May 2014.

165. Real-time privacy-preserving model-based estimation of traffic flows. Jerome Le Ny, Ahmed Touati, and George J. Pappas. In Proceedings of International Conference of Cyberphysical Systems (ICCPS), Berlin, Germany April 2014.

164. Opportunistic Scheduling of Control Tasks over Shared Wireless Channels. Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, and George J. Pappas. In Proceedings of International Conference of Cyberphysical Systems (ICCPS), Berlin, Germany April 2014. Finalist, Best Paper Award

163. Robustness of attack-resilient estimators. Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee and George J. Pappas. In Proceedings of International Conference of Cyberphysical Systems (ICCPS), Berlin, Germany April 2014. Best Paper Award

162. Stabilizability over Deterministic Relay Networks. Miroslav Pajic, Shreyas Sundaram, and George J. Pappas. In Proceedings of the 52nd IEEE Conference on Decision and Control, Florence, Italy, December 2013.

161. Stochastic Game Approach for Replay Attack Detection. Fei Miao, George J. Pappas, Miroslav Pajic. In Proceedings of the 52nd IEEE Conference on Decision and Control, Florence, Italy, December 2013.

160. Optimal Vaccine Allocation to Control Epidemic Outbreaks in Arbitrary Networks. Victor M. Preciado, Michael Zargham, Chinwendu Enyioha, Ali Jadbabaie, George J. Pappas. In Proceedings of the 52nd IEEE Conference on Decision and Control, Florence, Italy, December 2013.

159. Power-aware communication for wireless sensor-actuator systems. Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, and George J. Pappas. In Proceedings of the 52nd IEEE Conference on Decision and Control, Florence, Italy, December 2013.

158. Optimal Power Management in Wireless Control Systems. Konstantinos Gatsis, Alejandro Ribeiro, and George J. Pappas. In American Control Conference. Washington, DC, June 2013.
2013 Best Student Paper Award, 2014 O. Hugo Schuk Best Paper Award

157. Event-Based Green Scheduling of Radiant Systems in Buildings. In American Control Conference. Truong X. Nghiem, George J. Pappas, and Rahul Mangharam. Washington, DC, June 2013.

156. Networked Realization of Discrete-Time Controllers. Fei Miao, Miroslav Pajic, Rahul Mangharam, George J. Pappas. In American Control Conference. Washington, DC, June 2013.

155. Hypothesis Testing Framework for Active Object Detection. N. Atanasov, B. Sankaran, J. Le Ny, T. Koletschka, G. J. Pappas, and K. Daniilidis. In Proceedings of the IEEE Conference on Robotics and Automation, Karlshrue, Germany, May 2013.

154. Towards synthesis of platform-aware attack-resilient control systems. Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, Insup Lee. In Proceedings of High Confidence Networked Systems (HiCONS), Philadelphia, PA, April 2013.

153. Privacy-preserving release of aggregate dynamic models. Jerome Le Ny and George Pappas. In Proceedings of High Confidence Networked Systems (HiCONS), Philadelphia, PA, April 2013.

152. Bio-inspired strategy for control of viral spreading in networks. Chinwendu Enyioha, Victor Preciado, and George Pappas. In Proceedings of High Confidence Networked Systems (HiCONS), Philadelphia, PA, April 2013.

151. Differentially private filtering. Jerome Le Ny, and George J. Pappas. In Proceedings of the 51th IEEE Conference on Decision and Control, Maui, HI, December 2012.

150. Green Scheduling for Radiant Systems in Buildings. Truong Nghiem, Madhur Behl, George J. Pappas, and Rahul Mangharam. In Proceedings of the 51th IEEE Conference on Decision and Control, Maui, HI, December 2012.

149. On the existence of compositional barrier certificates. Christoffer Sloth, Rafael Wisniewski, and George J. Pappas. In Proceedings of the 51th IEEE Conference on Decision and Control, Maui, HI, December 2012.

148. Differentially private Kalman filtering. Jerome Le Ny, and George J. Pappas. In Proceedings of the 50th Allerton Conference on Communications, Control, and Computing, Allerton, IL, October 2012.

147. Adaptive communication-constrained deployment of mobile robotic networks. Jerome Le Ny, Alejandro Ribeiro, and George J. Pappas. In American Control Conference. Montreal, Canada. June 2012.

146. Scalable scheduling of building control systems for peak demand reduction. Truong X. Nghiem, Madhur Behl, Rahul Mangharam, and George J. Pappas. In American Control Conference. Montreal, Canada. June 2012.

145. Stochastic source seeking in complex environments. Nikolay Atanasov, Jerome Le Ny, Nathan Michael, and George J. Pappas. In Proceedings of the IEEE Conference on Robotics and Automation, Minnesota, MN. May 2012.

144. Robust composition of motion specifications. Jerome Le Ny, and George J. Pappas. In Proceedings of the IEEE Conference on Robotics and Automation, Minnesota, MN. May 2012.

143. Closing the Loop: A simple distributed method for control over wireless networks. Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, and Rahul Mangharam. In Proceedings of the 11th ACM/IEEE Conference on Information Processing in Sensor Networks (IPSN), Beijing, China, April 2012.

142. HMM-based characterization of channel behavior for networked control systems. Jian Chang, Krishna K Venkatasubramanian, Chinwendu Enyioha, Shreyas Sundaram, George J. Pappas, and Insup Lee. In Proceedings of High Confidence Networked Systems (HiCONS), Beijing, China, April 2012.

141. Compositional safety analysis using barrier certificates. Christoffer Sloth, George J. Pappas, and Rafael Wisniewski. In Proceedings of Hybrid Systems: Computation and Control (HSCC), Beijing, China, April 2012.

140. Robot Deployment with End-to- End Wireless Communication Constraints. Jerome Le Ny, Alejandro Ribeiro, and George J. Pappas. In Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, Orlando, FL, December 2011.

139. Green Scheduling of Control Systems for Peak Demand Reduction. Truong Nghiem, Madhur Behl, Rahul Mangharam, and George J. Pappas. In Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, Orlando, FL, December 2011.

138. Topological Conditions for Wireless Control Networks. Miroslav Pajic, Shreyas Sundaram, George J. Pappas and Rahul Mangharam. In Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, Orlando, FL, December 2011.

137. On the feasibility of linear discrete-time systems of the discrete scheduling problem. Z. Li, P.C. Huang, A. Mok, T. Nghiem, M. Behl, G.J. Pappas, and R. Magharam. In Proceedings of the 32nd IEEE Real-Time Systems Symposium, Vienna, Austria, December 2011.

136. Network Synthesis for Dynamical System Stabilization. Miroslav Pajic, Shreyas Sundaram, George J. Pappas and Rahul Mangharam. In Proceedings of the Asilomar Conference on Signals, Systems, and Computers. Pacific Grove, CA, November 2011.

135. A framework for integrating mobility and routing in mobile communication networks. Michael Zavlanos, Alejandro Ribeiro, and George J. Pappas. In Proceedings of the Asilomar Conference on Signals, Systems, and Computers. Pacific Grove, CA, November 2011.

134. Distributed Control of Mobility & Routing in Networks of Robots. Michael Zavlanos, Alejandro Ribeiro, and George J. Pappas. In Proceedings of the 12th IEEE International Workshop on Signal Processing Advances in Wireless Communications. San Francisco, CA, June 2011

133. Green scheduling: Scheduling of control systems for peak power reduction. Truong Nghiem, Madhur Behl, George J. Pappas and Rahul Mangharam. In Proceedings of the 2nd International Green Computing Conference, Orlando, FL, July 2011.

132. Distributed Control of mobility and routing in networks of robots. Michael Zavlanos, Alejandro Ribeiro, and George J. Pappas. In Proceedings of the 12th IEEE International Workshop on Signal Processing Advances in Wireless Communications. San Francisco, CA, June 2011.

131. Receding-horizon Supervisory Control of Green Buildings. Truong Nghiem and George J. Pappas, In American Control Conference. San Francisco, CA, July 2011.

130. Wireless Manipulation of Single Cells using Magnetic Microtransporters (Finalist, Best Manipulation Paper). Mahmut Selman Sakar, Edward Steager, Anthony Crowley, Vijay Kumar, George J. Pappas. In Proceedings of the IEEE International Conference on Robotics and Automation, Shanghai, China, May 2011.

129. Reputation-based Networked Control with Data-Corrupting Channels. S. Sundaram, J. Chang, K. K. Venkatasubramanian, C. Eniyoha, I. Lee, and G. Pappas, In Proceedings of Hybrid Systems: Computation and Control (HSCC), Chicago, IL, April 2011.

128. Resource-constrained LQR control under Fast Sampling. Jerome Le Ny, Eric Ferone, and George J. Pappas, In Proceedings of Hybrid Systems: Computation and Control (HSCC), Chicago, IL, April 2011.

127. The Wireless Control Network: synthesis and robustness. M. Pajic, S. Sundaram, J. Le Ny, G. J. Pappas, R. Mangharam.. IEEE Conference on Decision and Control, Atlanta, GA, December 2010.

126. The Wireless Control Network: monitoring for malicious behavior. S. Sundaram, M. Pajic, C. Hadjicostis, R. Mangharam, G. J. Pappas.. IEEE Conference on Decision and Control, Atlanta, GA, December 2010.

125. Sensor based robot deployment algorithms. Jerome Le Ny, and George J. Pappas.. IEEE Conference on Decision and Control, Atlanta, GA, December 2010.

124. Mobility and routing control in networks of robots. Michael Zavlanos, Alejandro Ribeiro, and George J. Pappas.. IEEE Conference on Decision and Control, Atlanta, GA, December 2010.

123. Nonholonomic source seeking in switching random fields. Shun-ichi Azuma, Mahmut Selman Sakar, and George J. Pappas.. IEEE Conference on Decision and Control, Atlanta, GA, December 2010.

122. Discrete abstraction of stochastic nonlinear systems: a bisimulation function approach.. Shun-ichi Azuma, and George J. Pappas.. American Control Conference, Baltimore, MD, June 2010.

121. Mechanism design for en route conflict resolution in air traffic control.. Jerome Le Ny, and George J. Pappas.. American Control Conference, Baltimore, MD, June 2010.

120. Distributed control of the Laplacian spectral moments of a network.. Victor Preciado, Michael Zavlanos, Ali Jadbabaie, and George J. Pappas.. American Control Conference, Baltimore, MD, June 2010.

119. Path planning for multiple robots: An alternative duality approach. Nader Motee, Ali Jadbabaie, and George J. Pappas.. American Control Conference, Baltimore, MD, June 2010.

118. Automatic synthesis of robot controllers for tasks with locative prepositions. Hadas Kress Gazit and George J. Pappas.. IEEE International Conference on Robotics and Automation, Anchorage, AK, May 2010.

117. Biosensing and Actuation for Microbiorobots. M. S. Sakar, E. Steager, A. Julius, M. Kim, V. Kumar, G. J. Pappas.. IEEE International Conference on Robotics and Automation, Anchorage, AK, May 2010.

116. A Duality Approach to Path Planning for multiple robots. Nader Motee, Ali Jadbabaie, George J. Pappas.. IEEE International Conference on Robotics and Automation, Anchorage, AK, May 2010.

115.Monte-Carlo falsification of temporal properties of non-linear hybrid systems.. T. Nghiem, S. Sankaranarayanan, G. Fainekos, F. Ivancic, A. Gupta and G. J. Pappas.. Hybrid Systems: Computation and Control, Stockholm, Sweden, April 2010.

114.Robustness analysis for the certification of digital controller implementations . Jerome Le Ny and George J. Pappas. International Conference on Cyber-Physical Systems, Stockholm, Sweden, April 2010.

113.On trajectory optimization for active sensing in gaussian processes. Jerome Le Ny and George J. Pappas. IEEE Conference on Decision and Control, Shanghai, China, December 2009.

112. Resource allocation for signal detection with active sensors. Jerome Le Ny, Michael Zavlanos and George J. Pappas. IEEE Conference on Decision and Control, Shanghai, China, December 2009.

111. Robust stability of multi-hop control networks. R. Alur, A. D’Innocenzo, K. H. Johansson, G. J. Pappas, G. Weiss. IEEE Conference on Decision and Control, Shanghai, China, December 2009.

110. Scalable scheduling algorithms for wireless networked control systems. A. D'Innocenzo, G. Weiss, R. Alur, A. J. Isaksson, K. H. Johansson, G. J. Pappas. IEEE Conference on on Automation Science and Engineering, Bangalore, India, August 2009.

109. A distributed algorithm for fastest mixing markov chains. Michael Zavlanos, Daniel E. Koditschek, and George J. Pappas. American Control Conference, St. Louis, MI, June 2009.

108. MTL robust testing and verification for LPV systems. Georgios Fainekos, and George J. Pappas. American Control Conference, St. Louis, MI, June 2009.

107. Harnessing bacterial power for micro scale manipulation and locomotion. A. Julius, S. Sakar, E. Steagery, U. Cheangy, M. Kim, V. Kumar, and G. J. Pappas. IEEE International Conference on Robotics and Automation, Kobe, Japan, May 2009.

106. Multi-vehicle path planning in dynamically changing environments. Ali Ahmadzadeh, Nader Motee, Ali Jadbabaie and George J. Pappas. IEEE International Conference on Robotics and Automation, Kobe, Japan, May 2009.

105. Modeling and analysis of multi-hop control networks. Rajeev Alur, Alessandro D'Innocenzo, Karl H. Johansson, George J. Pappas, and Gera Weiss. IEEE Real-Time Applications Symposium, San Francisco, CA, April 2009.

104. Metabolic network analysis using convex optimization. Agung Julius, Marcin Imielinski, and George J. Pappas. IEEE Conference on Decision and Control, Cancun, Mexico, December 2008.

103. Probabilistic testing for stochastic hybrid systems. Agung Julius and George J. Pappas. IEEE Conference on Decision and Control, Cancun, Mexico, December 2008.

102. A distributed auction algorithm for the assignment problem. Michael Zavlanos, Leonid Spesivtsev, and George J. Pappas. IEEE Conference on Decision and Control, Cancun, Mexico, December 2008.

101. Automatically Synthesizing Planning and Control for the DARPA Urban Challenge. Hadas Kress Gazit and George J. Pappas. IEEE Conference on on Automation Science and Engineering, Washington DC, August 2008.

100. Recycling controllers. Hadas Kress Gazit, Nora Ayanian, George J. Pappas and Vijay Kumar. IEEE Conference on on Automation Science and Engineering, Washington DC, August 2008.

99. Identification of stable genetic networks using convex programming. Michael M. Zavlanos, Agung Julius, Stephen P. Boyd, and George J. Pappas. American Control Conference, Seattle, WA, June 2008.

98. Distributed topology control of dynamic networks. Michael M. Zavlanos, Alireza Tahbaz-Salehi, Ali Jadbabaie, and George J. Pappas. American Control Conference, Seattle, WA, June 2008.

97. Elastic multi-particle systems for bounded-curvature path planning. Ali Ahmadzadeh, Ali Jadbabaie, George J. Pappas, and Vijay Kumar. American Control Conference, Seattle, WA, June 2008.

96. Distributed connectivity control of mobile networks. Michael Zavlanos and George J. Pappas. IEEE Conference on Decision and Control, New Orleans, LA, December 2007.

95. Flocking while preserving connectivity. Michael Zavlanos, Ali Jadbabaie, and George J. Pappas. IEEE Conference on Decision and Control, New Orleans, LA, December 2007.

94. Distributed formation control with permutation symmetries. Michael Zavlanos and George J. Pappas. IEEE Conference on Decision and Control, New Orleans, LA, December 2007.

93. Hybrid model predictive control of induction of Escherichia coli. Agung Julius, Selman Sakar, Alberto Bemporad, and George J. Pappas. IEEE Conference on Decision and Control, New Orleans, LA, December 2007.

92. Approximate hierarchies of linear control systems. Antoine Girard and George J. Pappas. IEEE Conference on Decision and Control, New Orleans, LA, December 2007.

91. Stable multi-particle systems and application in multi-vehicle path planning and coverage. Ali Ahmadzadeh, Ali Jadbabaie, George J. Pappas, and Vijay Kumar. IEEE Conference on Decision and Control, New Orleans, LA, December 2007.

90. Approximate timed abstractions of hybrid automata. Alessandro D'Innocenzo, Agung Julius, M. Domenica Di Benedetto, and George J. Pappas. IEEE Conference on Decision and Control, New Orleans, LA, December 2007.

89. Verification of temporal properties on hybrid automata by simulation relations. Alessandro D'Innocenzo, Agung Julius, George J. Pappas, M. Domenica Di Benedetto, and Stefano Di Gennaro. IEEE Conference on Decision and Control, New Orleans, LA, December 2007.

88. Valet parking without a valet (Finalist, Best Paper). David C. Conner, Hadas Kress-Gazit, Howie Choset, Alfred Rizzi, and George J. Pappas. IEEE/RSJ Conference on Intelligent Robots and Systems, San Diego, CA, October 2007.

87. From structured english to robot motion. Hadas Kress-Gazit, Georgios Fainekos, and George J. Pappas. IEEE/RSJ Conference on Intelligent Robots and Systems, San Diego, CA, October 2007.

86. Dynamic assignment in distributed motion planning with local information. Michael Zavlanos and George J. Pappas. American Control Conference, New York, NY, July 2007.

85. Controlling biological systems : the lactose regulation systems of Escherichia Coli. A. Agung Julius, Adam Halasz, Vijay Kumar, and George J. Pappas. American Control Conference, New York, NY, July 2007.

84. Dynamic coverage using receeding horizon control. Ali Ahmadzadeh, Ali Jadbabaie, Vijay Kumar, and George J. Pappas. European Control Conference, Kos, Greece, July 2007.

83. Where's Waldo? Sensor-based temporal logic motion planning (Finalist, Best Student Paper). Hadas Kress Gazit, Georgios Fainekos, and George J. Pappas. IEEE Conference on Robotics and Automation, Rome, Italy, April 2007.

82. Sensor-based dynamic assignment in distributed motion planning . Michael Zavlanos and George J. Pappas. IEEE Conference on Robotics and Automation, Rome, Italy, April 2007.

81. Leader-Follower Formations: Uncalibrated Vision-Based Localization and Control. G. Mariottini, F. Morbidi, D. Prattichizzo, G. J. Pappas, and K. Daniilidis. International Conference on Robotics and Automation, Rome, Italy, April 2007.

80. Decidability of Motion Planning with Differential Constraints. Peng Cheng, George J. Pappas, and Vijay Kumar. International Conference on Robotics and Automation, Rome, Italy, April 2007.

79. A dynamical systems approach to weighted graph matching (Finalist, Best Student Paper Award). Michael Zavlanos and George J. Pappas. IEEE Conference on Decision and Control, San Diego, CA, December 2006.

78. Approximate equivalence and approximate synchronization of metric transition systems. A. Agung Julius and George J. Pappas. IEEE Conference on Decision and Control, San Diego, CA, December 2006.

77. Translating temporal logic to controller specifications. George Fainekos, Savvas Loizou, and George J. Pappas. IEEE Conference on Decision and Control, San Diego, CA, December 2006.

76. Finite state abstraction of a stochastic model of the lactose regulation system in Eschrichia coli. A. Agung Julius, Adam Halasz, Vijay Kumar, and George J. Pappas. IEEE Conference on Decision and Control, San Diego, CA, December 2006.

75. Hierarchical control using approximate simulation relations. Antoine Girard and George J. Pappas. IEEE Conference on Decision and Control, San Diego, CA, December 2006.

74. Multi-UAV Deployment for Coverage with Spatio-Temporal Specifications. Ali Ahmadzadeh, James Keller, George J. Pappas, Ali Jadbabaie, and Vijay Kumar. IEEE Conference on Decision and Control, San Diego, CA, December 2006. To appear.

73. Approximate reduction of dynamical systems. Paulo Tabuada, Aaron Ames, A. Agung Julus, and George J. Pappas. IEEE Conference on Decision and Control, San Diego, CA, December 2006.

72. Time-triggered implementations of dynamic controllers. Truong Nghiem, George J. Pappas, Antoine Girard, and Rajeev Alur. Embedded Software (EMSOFT), Seoul, Korea, October 2006.

71. Unit and Dynamic Type Checking in Hybrid Systems Modeling in Charon. Madhukar Anand, Insup Lee, Oleg Sokolsky, and George J. Pappas. IEEE Symposium on Computer Aided Control Systems Design, Munich, Germany, October 2006.

70. An optimization-based approach to time-critical cooperative surveillance and coverage with unmanned aerial vehicles. Ali Ahmadzadeh, James Keller, George J. Pappas, Ali Jadbabaie, and Vijay Kumar. International Symposium on Experimental Robotics, Rio de Janeiro, Brazil, July 2006.

69. Approximate simulation relations for hybrid systems. Antoine Girard, A. Agung Julius, and George J. Pappas. IFAC Analysis and Design of Hybrid Systems, Alghero, Italy, June 2006.

68. Approximate bisimulation for a class of stochastic hybrid systems. Agung Julius, Antoine Girard, and George J. Pappas. American Control Conference, Minneapolis, MN, June 2006.

67. Quantifying the gap between embedded control models and time-triggered implementations. Hakan Yazarel, Antoine Girard, George J. Pappas, and Rajeev Alur. IEEE Real Time Systems Symposium (RTSS), Miami, FL, December 2005.

66. Controlling connectivity of dynamic graphs. Michael M. Zavlanos and George J. Pappas. IEEE Conference on Decision and Control, Seville, Spain, December 2005.

65. Approximate bisimulations for constrained linear systems. Antoine Girard and George J. Pappas. IEEE Conference on Decision and Control, Seville, Spain, December 2005.

64. Approximate bisimulations for nonlinear dynamical systems. Antoine Girard and George J. Pappas. IEEE Conference on Decision and Control, Seville, Spain, December 2005.

63. Bounded model checking for hybrid dynamical systems. Nicolo Giorgetti, George J. Pappas, and Alberto Bemporad. IEEE Conference on Decision and Control, Seville, Spain, December 2005.

62. Hybrid controllers for path planning : a temporal logic approach . George Fainekos, Hadas Kress-Gazit, and George J. Pappas. IEEE Conference on Decision and Control, Seville, Spain, December 2005.

61. Vision-based localization of leader-follower formations. Gianluca Mariottini, George J. Pappas, Domenico Prattichizzo, and Kostas Daniilidis.. IEEE Conference on Decision and Control, Seville, Spain, December 2005.

60. Temporal logic planning for mobile robots. George Fainekos, Hadas Kress Gazit, and George J. Pappas. IEEE Conference on Robotics and Automation, Barcelona, Spain, Apri 2005.

59. Information driven coordinated air-ground proactive sensing. Ben Grocholsky, Rahul Swaminathan, James Keller, Vijay Kumar, and George J. Pappas.. IEEE Conference on Robotics and Automation, Barcelona, Spain, Apri 2005.

58. S.O.S. for safety. Hakan Yazarel, Stephen Prajna, and George J. Pappas. Proceedings of the 43rd IEEE Conference on Decision and Control, Bahamas, December 2004

57. Stochastic safety verification using barrier certificates (Finalist, Best Student Paper Award). Stephen Prajna, Ali Jadbabaie, and George J. Pappas. Proceedings of the 43rd IEEE Conference on Decision and Control, Bahamas, December 2004

56. Experimental cooperative control of unmanned aerial vehicles. Selcuk Bayraktar, Georgios Fainekos, and George J. Pappas. Proceedings of the 43rd IEEE Conference on Decision and Control, Bahamas, December 2004

55. Hybrid control for visibility-based pursuit evasion games. Volkan Isler, Calin Belta, Kostas Daniilidis, and George J. Pappas. Proceedins of the IEEE/RSJ International Conference on Intelligent Robots and Systems, Sendai, Japan, September 2004.

54. Synergies in Feature Localization by Air-Ground Robot Teams. Ben Grocholsky, Selcuk Bayraktar, Vijay Kumar, Camillo J. Taylor, and George J. Pappas. Proceedings of the 9th International Symposium on Experimental Robotics 2004, Singapore, June 2004.

53. Geometric programming relaxations for linear system reachability (Finalist, Best Student Paper Award). Hakan Yazarel and George J. Pappas. Proceedings of the 2004 American Control Conference, Boston, MA, June 2004

52. Finite bisimulations of controllable linear systems. Paulo Tabuada, and George J. Pappas. Proceedings of the 42nd IEEE Conference on Decision and Control, Maui, Hawaii, December 2003

51. From discrete specifications to hybrid control. Paulo Tabuada, and George J. Pappas. Proceedings of the 42nd IEEE Conference on Decision and Control, Maui, Hawaii, December 2003

50. Hierarchical trajectory generation for a class of nonlinear systems. Paulo Tabuada, and George J. Pappas. Proceedings of the 42nd IEEE Conference on Decision and Control, Maui, Hawaii, December 2003

49. Stable flocking of mobile agents, Part II : Dynamic Topology. Herbert Tanner, Ali Jadbabaie, and George J. Pappas. Proceedings of the 42nd IEEE Conference on Decision and Control, Maui, Hawaii, December 2003

48. Stable flocking of mobile agents, Part I : Fixed Topology. Herbert Tanner, Ali Jadbabaie, and George J. Pappas. Proceedings of the 42nd IEEE Conference on Decision and Control, Maui, Hawaii, December 2003

47. Abstractions of constrained linear systems . Herbert Tanner, and George J. Pappas. Proceedings of the 2003 American Control Conference, Denver, CO, June 2003

46. Coordination of multiple autonomous vehicles . Herbert Tanner, Ali Jadbabaie, and George J. Pappas. Proceedings of the 11th IEEE Mediterranean Conference on Control and Automation, Rhodes, Greece, June 2003

45. Bisimulation relations for dynamical and control systems . Esfandiar Hagverdi, Paulo Tabuada, and George J. Pappas. In Category Theory and Computer Science (CTCS), Electronic Notes in Theoretical Computer Science, Ottawa, February 2003.

44. Discrete synchronization of hybrid systems . Paulo Tabuada and George J. Pappas. Proceedings of the 41st IEEE Conference on Decision and Control, Las Vegas, NV, December 2002

43. Bisimilar control affine systems . Paulo Tabuada and George J. Pappas. Proceedings of the 41st IEEE Conference on Decision and Control, Las Vegas, NV, December 2002

42. From nonlinear to hamiltonian via feedback . Paulo Tabuada and George J. Pappas. Proceedings of the 41st IEEE Conference on Decision and Control, Las Vegas, NV, December 2002

41. Input-state-stability on formation graphs . Herbert Tanner, George J. Pappas, and Vijay Kumar. Proceedings of the 41st IEEE Conference on Decision and Control, Las Vegas, NV, December 2002

40. Quotients of fully nonlinear control systems . Paulo Tabuada and George J. Pappas. Proceedings of the Mathematical Theory of Networks and Systems, Notre Dame, IN, August 2002.

39. Unifying bisimulation relations for discrete and continuous systems . Esfandiar Haghverdi, Paulo Tabuada, and George J. Pappas. Proceedings of the Mathematical Theory of Networks and Systems, Notre Dame, IN, August 2002.

38. Stability properties of interconnected vehicles . Herbert Tanner, George J. Pappas, and Vijay Kumar. Proceedings of the Mathematical Theory of Networks and Systems, Notre Dame, IN, August 2002.

37. Simulation relations for discrete-time linear systems . Herbert Tanner and George J. Pappas. Proceedings of the 15th International Federation on Automatic Control World Congress, Barcelona, Spain, July 2002

36. Formation input-to-state stability . Herbert Tanner and George J. Pappas. Proceedings of the 15th International Federation on Automatic Control World Congress, Barcelona, Spain, July 2002

35. Decentralizing formations of multi-agent systems. Paulo Tabuada, George J. Pappas, and Pedro Lima. Proceedings of the 10th Mediterranean Conference on Control and Automation, Lisbon, Portugal, July 2002.

34. Flying Hot Potatoes . Pradyumna Mishra and George J. Pappas. Proceedings of the 2002 American Control Conference, pages 754-759, Anchorage, Alaska, May 2002

33. The effect of feedback and feedforward on formation ISS . Herbert Tanner, Vijay Kumar, and George J. Pappas. Proceedings of the 2002 International Conference on Robotics and Automation,pages 3448-3453, Arlington, VA, May 2002

32. Hierarchies of Stabilizability Preserving Linear Systems . George J. Pappas and Gerardo Lafferriere. Proceedings of the 40th IEEE Conference on Decision and Control, pages 2081-2086, Orlando, FL, December 2001

31. Abstractions of Hamiltonian Control Systems (Finalist, Best Student Paper Award). Paulo Tabuada and George J. Pappas. Proceedings of the 40th IEEE Conference on Decision and Control, pages 3394-3399, Orlando, FL, December 2001

30. Compositional Abstractions of Hybrid Control Systems . Paulo Tabuada, George J. Pappas, and Pedro Lima. Proceedings of the 40th IEEE Conference on Decision and Control, pages 352-357, Orlando, FL, December 2001

29. Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri . Calin Belta, Jonathan Schug, Thao Dang, Vijay Kumar, Max Mintz, George J. Pappas, Harvey Rubin, and Paul Dunlop. Proceedings of the 40th IEEE Conference on Decision and Control, pages 869-874, Orlando, FL, December 2001

28. Multi-modal control of systems with constraints . T. John Koo, George J. Pappas, and Shankar Sastry. Proceedings of the 40th IEEE Conference on Decision and Control, pages 2075-2080, Orlando, FL, December 2001

27. Multi-agent hybrid simulation . Joel Esposito, Vijay Kumar, and George J. Pappas. Proceedings of the 40th IEEE Conference on Decision and Control, pages 780-785, Orlando, FL, December 2001

26. Hybrid abstractions : A search and rescue case study . Paulo Tabuada, George J. Pappas, and Pedro Lima. Proceedings of the European Control Conference, pages 3864-3869, Porto, Portugal, September 2001

25. Greedy control for hybrid pursuit-evasion games . Joao P. Hespanha, George J. Pappas, and Maria Prandini. Proceedings of the European Control Conference, pages 2621-2626, Porto, Portugal, September 2001

24. Cyclic directed formations of multi-agent systems . Paulo Tabuada, George J. Pappas, and Pedro Lima. Proceedings of the European Control Conference, pages 539-544, Porto, Portugal, September 2001

23. Feasible formations of multi-agent systems (Finalist, Best Student Paper Award). Paulo Tabuada, George J. Pappas, and Pedro Lima. Proceedings of the American Control Conference, pages 56-61, Arlington, VA, June 2001

22. Consistent hierarchies of nonlinear abstractions . George J. Pappas and Slobodan Simic. Proceedings of the 39th IEEE Conference on Decision and Control, pages 4379-4384, Sydney, Australia, December 2000

21. Semidecidable controller synthesis for classes of linear hybrid systems . Omid Shakernia, George J. Pappas, and Shankar Sastry. Proceedings of the 39th IEEE Conference on Decision and Control, pages 1834-1839, Sydney, Australia, December 2000

20. Parameter synthesis in robot motion planning using symbolic reachability computation. Gerardo Lafferriere, George J. Pappas, Gerardo Schneider, and Sergio Yovine. Proceedings of the 8the IEEE Mediterranean Conference on Control and Automation, Rio, Greece, July 2000

19. An introduction to hybrid system modeling, analysis, and control. John Lygeros, George J. Pappas, and Shankar Sastry. Preprints of the First Nonlinear Control Network Pedagogical School, pages 307-329, Athens, Greece, 1999

18. Reach set computation for linear vector fields using quantifier elimination. Gerardo Lafferriere, George J. Pappas, and Sergio Yovine. Electronic Proceedings of the IMAC Conference on Applications of Computer Algebra, El Escorial, Spain, 1999

17. Reachability computation for linear hybrid systems. Gerardo Lafferriere, George J. Pappas, and Sergio Yovine. Proceedings of the 14th IFAC World Congress, volume E, pages 7-12, Beijing, 1999

16. Reachability analysis of hybrid systems using bisimulations . Gerardo Lafferriere, George J. Pappas, and Shankar Sastry. Proceedings of the 37th IEEE Conference on Decision and Control, pages 1623-1628, Tampa, 1998

15. Hierarchically consistent control systems (Finalist, Best Student Paper Award). George J. Pappas, Gerardo Lafferriere, and Shankar Sastry. Proceedings of the 37th IEEE Conference on Decision and Control, pages 4336-4341, Tampa, 1998

14. 2 1/2D conflict resolution maneuvers for ATMS. Jana Kosecka, Claire Tomlin, George J. Pappas, and Shankar Sastry. Proceedings of the 37th IEEE Conference on Decision and Control, pages 2650-2655, Tampa, 1998

13. Large scale system issues in automated highway and air traffic management systems. John Lygeros, George J. Pappas, and Shankar Sastry. Proceedings of the 8th IFAC Symposium on Large Scale Systems, pages 722-727, Rio, Greece, 1998

12. Decentralized ATMS : Performance and robustness. Antonio Bicchi, Alesia Marigo, George J. Pappas, M. Pardini, Shankar Sastry, and Claire Tomlin. Proceedings of IFAC Workshop on Motion Control, pages 279-284, Grenoble, 1998

11. SmartATMS : A simulator for air traffic management. T. John Koo, Yi Ma, George J. Pappas, and Claire Tomlin. Proceedings of the 1997 Winter Simulation Conference, pages 1199-1205, Atlanta, 1997

10. A next generation architecture for air traffic management systems . George J. Pappas, Claire Tomlin, John Lygeros, Datta N. Godbole, and Shankar Sastry. Proceedings of the 36th IEEE Conference on Decision and Control, pages 2405-2410, San Diego, 1997

9. Noncooperative conflict resolution . Claire Tomlin, George J. Pappas, and Shankar Sastry. Proceedings of the 36th IEEE Conference on Decision and Control, pages 1816-1821, San Diego, 1997

8. Generation of conflict resolution maneuvers for air traffic management . Jana Kosecka, Claire Tomlin, George J. Pappas, and Shankar Sastry. Proceedings of the 10th IEEE International Conference on Intelligent Robots and Systems, pages 1598-1603, Grenoble, 1997

7. Conflict resolution in multi-agent hybrid systems. George J. Pappas, Claire Tomlin, and Shankar Sastry. Proceedings of the 35th IEEE Conference on Decision and Control, pages 1184-1189, Kobe, Japan, 1996

6. Avoiding saturation by trajectory reparameterization. George J. Pappas. Proceedings of the 35th IEEE Conference on Decision and Control, pages 76-81, Kobe, Japan, 1996

5. Hybrid control in air traffic management. Claire Tomlin, George J. Pappas, John Lygeros, Datta Godbole, Shankar Sastry, and George Meyer. Proceedings of the 13th IFAC World Congress, volume L, pages 127-132, San Francisco, 1996

4. Stabilization and tracking of feedback linearizable systems under input constraints . George J. Pappas, Datta N. Godbole, and John Lygeros. Proceedings of the 34th IEEE Conference on Decision and Control, pages 596-601, New Orleans, 1995

3. Hybrid control in air traffic management . Shankar Sastry, George Meyer, Claire Tomlin, John Lygeros, Datta Godbole, and George J. Pappas. Proceedings of the 34th IEEE Conference on Decision and Control, pages 1478-1483, New Orleans, 1995

2. Dynamic modeling and tracking control of nonholonomic vehicles. George J. Pappas, and Kostas J. Kyriakopoulos. Proceedings of the 12th IFAC World Congress, pages 61-64, Sydney, Australia, 1993

1. Modeling and feedback control of nonholonomic vehicles. George J. Pappas, and Kostas J. Kyriakopoulos. Proceedings of the 31st IEEE Conference on Decision and Control, pages 2680-2685, Tuscon, 1992 .