Sadra Sadraddini

Autom., 2024

2023

Ensuring Reliable Robot Task Performance through Probabilistic Rare-Event Verification and Synthesis.

[BibT_eX]

[DOI]

CoRR, 2023

Probabilistic Rare-Event Verification for Temporal Logic Robot Tasks.

[BibT_eX]

[DOI]

Guy Scher

Hadas Kress-Gazit

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

2022

Robustness-based Synthesis for Stochastic Systems under Signal Temporal Logic Tasks.

[BibT_eX]

[DOI]

Guy Scher

Hadas Kress-Gazit

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Decentralized Signal Temporal Logic Control for Perturbed Interconnected Systems via Assume-Guarantee Contract Optimization.

[BibT_eX]

[DOI]

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2020

R3T: Rapidly-exploring Random Reachable Set Tree for Optimal Kinodynamic Planning of Nonlinear Hybrid Systems.

[BibT_eX]

[DOI]

Albert Wu

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Robust output feedback control with guaranteed constraint satisfaction.

[BibT_eX]

[DOI]

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Compositional synthesis via a convex parameterization of assume-guarantee contracts.

[BibT_eX]

[DOI]

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

The Nearest Polytope Problem: Algorithms and Application to Controlling Hybrid Systems.

[BibT_eX]

[DOI]

Albert Wu

Proceedings of the 2020 American Control Conference, 2020

2019

Formal Synthesis of Control Strategies for Positive Monotone Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

Formal Methods for Control Synthesis: An Optimization Perspective.

[BibT_eX]

[DOI]

Annu. Rev. Control. Robotics Auton. Syst., 2019

ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications.

[BibT_eX]

[DOI]

Proceedings of the Robotics Research, 2019

Sampling-Based Polytopic Trees for Approximate Optimal Control of Piecewise Affine Systems.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Robotics and Automation, 2019

Linear Encodings for Polytope Containment Problems.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Compositional Synthesis of Decentralized Robust Set-Invariance Controllers for Large-scale Linear Systems.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Polytopic Trees for Verification of Learning-Based Controllers.

[BibT_eX]

[DOI]

Shen Shen

Osbert Bastani

Proceedings of the Numerical Software Verification - 12th International Workshop, 2019

2018

Formal Guarantees in Data-Driven Model Identification and Control Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Metrics for Signal Temporal Logic Formulae.

[BibT_eX]

[DOI]

Curtis Madsen

Prashant Vaidyanathan

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Distributed Robust Set-Invariance for Interconnected Linear Systems.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual American Control Conference, 2018

2017

Provably Safe Cruise Control of Vehicular Platoons.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2017

Formal synthesis of distributed optimal traffic control policies.

[BibT_eX]

[DOI]

János Rudan

Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

Formal methods for adaptive control of dynamical systems.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Dynamic contracts for distributed temporal logic control of traffic networks.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Distributed control policies for localization of large disturbances in urban traffic networks.

[BibT_eX]

[DOI]

Proceedings of the 2017 American Control Conference, 2017

2016

Feasibility envelopes for metric temporal logic specifications.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Safety control of monotone systems with bounded uncertainties.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Robotic swarm control from spatio-temporal specifications.

[BibT_eX]

[DOI]

Iman Haghighi

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

A provably correct MPC approach to safety control of urban traffic networks.

[BibT_eX]

[DOI]

Proceedings of the 2016 American Control Conference, 2016

Model predictive control of urban traffic networks with temporal logic constraints.

[BibT_eX]

[DOI]

Proceedings of the 2016 American Control Conference, 2016

2015

Robust temporal logic model predictive control.

[BibT_eX]

[DOI]