Mohamadreza Ahmadi

Artif. Intell., December, 2023

Safe Control for Nonlinear Systems With Stochastic Uncertainty via Risk Control Barrier Functions.

[BibT_eX]

[DOI]

Andrew Singletary

IEEE Control. Syst. Lett., 2023

Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications.

[BibT_eX]

[DOI]

CoRR, 2023

2022

Distributionally Robust Model Predictive Control With Total Variation Distance.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2022

Risk-Averse Control via CVaR Barrier Functions: Application to Bipedal Robot Locomotion.

[BibT_eX]

[DOI]

Xiaobin Xiong

IEEE Control. Syst. Lett., 2022

Risk-Averse Receding Horizon Motion Planning.

[BibT_eX]

[DOI]

CoRR, 2022

A Scenario Approach to Risk-Aware Safety-Critical System Verification.

[BibT_eX]

[DOI]

Prithvi Akella

CoRR, 2022

2021

Control Theory Meets POMDPs: A Hybrid Systems Approach.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2021

Risk-Sensitive Motion Planning using Entropic Value-at-Risk.

[BibT_eX]

[DOI]

Proceedings of the 2021 European Control Conference, 2021

Time-Optimal Navigation in Uncertain Environments with High-Level Specifications.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Risk-Averse Stochastic Shortest Path Planning.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Constrained Risk-Averse Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Safe Controller Synthesis for Data-Driven Differential Inclusions.

[BibT_eX]

[DOI]

Arie Israel

Ufuk Topcu

IEEE Trans. Autom. Control., 2020

Risk-Sensitive Path Planning via CVaR Barrier Functions: Application to Bipedal Locomotion.

[BibT_eX]

[DOI]

Xiaobin Xiong

CoRR, 2020

Constrained Active Classification Using Partially Observable Markov Decision Processes.

[BibT_eX]

[DOI]

CoRR, 2020

Stochastic Finite State Control of POMDPs with LTL Specifications.

[BibT_eX]

[DOI]

Rangoli Sharan

CoRR, 2020

Partially Observable Games for Secure Autonomy.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020

Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Barrier Functions for Multiagent-POMDPs with DTL Specifications.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Optimal Safe Controller Synthesis: A Density Function Approach.

[BibT_eX]

[DOI]

Yuxiao Chen

Proceedings of the 2020 American Control Conference, 2020

Risk-Averse Planning Under Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 2020 American Control Conference, 2020

2019

Entropy-Regularized Stochastic Games.

[BibT_eX]

[DOI]

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

Safe Policy Synthesis in Multi-Agent POMDPs via Discrete-Time Barrier Functions.

[BibT_eX]

[DOI]

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

Barrier Certificates for Assured Machine Teaching.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

2018

The Partially Observable Games We Play for Cyber Deception.

[BibT_eX]

[DOI]

CoRR, 2018

Transfer Entropy in MDPs with Temporal Logic Specifications.

[BibT_eX]

[DOI]

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

Privacy Verification in POMDPs via Barrier Certificates.

[BibT_eX]

[DOI]

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

Control-Oriented Learning of Lagrangian and Hamiltonian Systems.

[BibT_eX]

[DOI]

Ufuk Topcu

Clarence W. Rowley

Proceedings of the 2018 Annual American Control Conference, 2018

Distributed Synthesis Using Accelerated ADMM.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual American Control Conference, 2018

Verification of Uncertain POMDPs Using Barrier Certificates.

[BibT_eX]

[DOI]

Proceedings of the 56th Annual Allerton Conference on Communication, 2018

Stochastic Games with Sensing Costs.

[BibT_eX]

[DOI]

Proceedings of the 56th Annual Allerton Conference on Communication, 2018

Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets.

[BibT_eX]

[DOI]

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017

Erratum to: A dynamic VM consolidation technique for QoS and energy consumption in cloud environment.

[BibT_eX]

[DOI]

Seyed Yahya Zahedi Fard

Sahar Adabi

J. Supercomput., 2017

A dynamic VM consolidation technique for QoS and energy consumption in cloud environment.

[BibT_eX]

[DOI]

Seyed Yahya Zahedi Fard

Sahar Adabi

J. Supercomput., 2017

Safety verification for distributed parameter systems using barrier functionals.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2017

On robust stability of switched systems in the context of Filippov solutions.

[BibT_eX]

[DOI]

Rafael Wisniewski

Syst. Control. Lett., 2017

Safety assessemt based on physically-viable data-driven models.

[BibT_eX]

[DOI]

Arie Israel

Ufuk Topcu

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

2016

Stability Analysis for a Class of Partial Differential Equations via Semidefinite Programming.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2016

Dissipation inequalities for the analysis of a class of PDEs.

[BibT_eX]

[DOI]

Autom., 2016

Controller synthesis for stochastic systems with persistent noise via semi-definite programming.

[BibT_eX]

[DOI]

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

An optimization-based method for bounding state functionals of nonlinear stochastic systems.

[BibT_eX]

[DOI]

Andreas W. K. Harris

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

2015

Convex solutions to integral inequalities in two-dimensional domains.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

A convex approach to hydrodynamic analysis.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Barrier functionals for output functional estimation of PDEs.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2015

2014

Semi-definite programming and functional inequalities for distributed parameter systems.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Input-output analysis of distributed parameter systems using convex optimization.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2012

State estimation of nonlinear stochastic systems using a novel meta-heuristic particle filter.

[BibT_eX]

[DOI]

Roozbeh Izadi-Zamanabadi

Swarm Evol. Comput., 2012

Robust Stability Analysis of Nonlinear Switched Systems with Filippov Solutions.

[BibT_eX]

[DOI]

Rafal Wisniewski

Roozbeh Izadi-Zamanabadi

Proceedings of the 7th IFAC Symposium on Robust Control Design, 2012

Robust stability and H∞ control of uncertain piecewise linear switched systems with Filippov solutions.

[BibT_eX]

[DOI]