Ufuk Topcu

According to our database1, Ufuk Topcu authored at least 234 papers between 2006 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints.
IEEE Trans. Autom. Control., 2020

Control-Oriented Learning on the Fly.
IEEE Trans. Autom. Control., 2020

Safe Controller Synthesis for Data-Driven Differential Inclusions.
IEEE Trans. Autom. Control., 2020

Towards online monitoring and data-driven control: a study of segmentation algorithms for infrared images of the powder bed.
CoRR, 2020

On-The-Fly Control of Unknown Systems: From Side Information to Performance Guarantees through Reachability.
CoRR, 2020

Assured Autonomy: Path Toward Living With Autonomous Systems We Can Trust.
CoRR, 2020

On-The-Fly Control of Unknown Smooth Systems from Limited Data.
CoRR, 2020

Minimum-Violation Planning for Autonomous Systems: Theoretical and Practical Considerations.
CoRR, 2020

Robust Finite-State Controllers for Uncertain POMDPs.
CoRR, 2020

BP-RRT: Barrier Pair Synthesis for Temporal Logic Motion Planning.
CoRR, 2020

Constrained Active Classification Using Partially Observable Markov Decision Processes.
CoRR, 2020

Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology.
CoRR, 2020

Blending Controllers via Multi-Objective Bandits.
CoRR, 2020

Control Strategies for COVID-19 Epidemic with Vaccination, Shield Immunity and Quarantine: A Metric Temporal Logic Approach.
CoRR, 2020

Reward Machines for Cooperative Multi-Agent Reinforcement Learning.
CoRR, 2020

Temporal-Logic-Based Reward Shaping for Continuing Learning Tasks.
CoRR, 2020

Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples.
CoRR, 2020

Distributed Policy Synthesis of Multi-Agent Systems With Graph Temporal Logic Specifications.
CoRR, 2020

Privacy-Preserving Policy Synthesis in Markov Decision Processes.
CoRR, 2020

Scalable Synthesis of Minimum-Information Linear-Gaussian Control by Distributed Optimization.
CoRR, 2020

Distributed Beamforming for Agents with Localization Errors.
CoRR, 2020

Playing Against Opponents With Limited Memory.
CoRR, 2020

Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences.
CoRR, 2020

Active Task-Inference-Guided Deep Inverse Reinforcement Learning.
CoRR, 2020

Policy Synthesis for Switched Linear Systems with Markov Decision Process Switching.
CoRR, 2020

Reactive synthesis with maximum realizability of linear temporal logic specifications.
Acta Informatica, 2020

Scenario-Based Verification of Uncertain MDPs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Near-Optimal Reactive Synthesis Incorporating Runtime Information.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Qualitative Controller Synthesis for Consumption Markov Decision Processes.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

Convexified contextual optimization for on-the-fly control of smooth systems.
Proceedings of the 2020 American Control Conference, 2020

The Dirichlet Mechanism for Differential Privacy on the Unit Simplex.
Proceedings of the 2020 American Control Conference, 2020

Identifying Sparse Low-Dimensional Structures in Markov Chains: A Nonnegative Matrix Factorization Approach.
Proceedings of the 2020 American Control Conference, 2020

Differentially Private Controller Synthesis With Metric Temporal Logic Specifications.
Proceedings of the 2020 American Control Conference, 2020

Resilient Distributed Hypothesis Testing with Time-Varying Network Topology.
Proceedings of the 2020 American Control Conference, 2020

Joint Inference of Reward Machines and Policies for Reinforcement Learning.
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

2019
Learning and Planning for Time-Varying MDPs Using Maximum Likelihood Estimation.
CoRR, 2019

Controller Synthesis of Wind Turbine Generator and Energy Storage System with Stochastic Wind Variations under Temporal Logic Specifications.
CoRR, 2019

Minimizing the Information Leakage Regarding High-Level Task Specifications.
CoRR, 2019

Decentralized Runtime Synthesis of Shields for Multi-Agent Systems.
CoRR, 2019

Identifying Low-Dimensional Structures in Markov Chains: A Nonnegative Matrix Factorization Approach.
CoRR, 2019

Control Theory Meets POMDPs: A Hybrid Systems Approach.
CoRR, 2019

Synthesis of Provably Correct Autonomy Protocols for Shared Control.
CoRR, 2019

Fairness with Dynamics.
CoRR, 2019

Traffic Management for Urban Air Mobility.
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Structured Synthesis for Probabilistic Systems.
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Toward Achieving Formal Guarantees for Human-Aware Controllers in Human-Robot Interactions.
Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019

Perception-Aware Point-Based Value Iteration for Partially Observable Markov Decision Processes.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Transfer of Temporal Logic Formulas in Reinforcement Learning.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Salty-A Domain Specific Language for GR(1) Specifications and Designs.
Proceedings of the International Conference on Robotics and Automation, 2019

An Encoder-Decoder Based Approach for Anomaly Detection with Application in Additive Manufacturing.
Proceedings of the 18th IEEE International Conference On Machine Learning And Applications, 2019

Submodular Observation Selection and Information Gathering for Quadratic Models.
Proceedings of the 36th International Conference on Machine Learning, 2019

Entropy-Regularized Stochastic Games.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Incentive Design for Temporal Logic Objectives.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Optimal Deceptive and Reference Policies for Supervisory Control.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Unpredictable Planning Under Partial Observability.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Online Active Perception for Partially Observable Markov Decision Processes with Limited Budget.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Strategy Synthesis for Surveillance-Evasion Games with Learning-Enabled Visibility Optimization.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Graph Temporal Logic Inference for Classification and Identification.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Switched Linear Systems Meet Markov Decision Processes: Stability Guaranteed Policy Synthesis.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Reward-Based Deception with Cognitive Bias.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Hierarchical Path Planning for Urban On-Demand Air Mobility.
Proceedings of the 2019 IEEE Conference on Control Technology and Applications, 2019

Training Classifiers For Feedback Control.
Proceedings of the 2019 American Control Conference, 2019

Myopic Control of Systems with Unknown Dynamics.
Proceedings of the 2019 American Control Conference, 2019

Least Inferable Policies for Markov Decision Processes.
Proceedings of the 2019 American Control Conference, 2019

On Submodularity of Quadratic Observation Selection in Constrained Networked Sensing Systems.
Proceedings of the 2019 American Control Conference, 2019

Synthesis of Minimum-Cost Shields for Multi-agent Systems.
Proceedings of the 2019 American Control Conference, 2019

Barrier Certificates for Assured Machine Teaching.
Proceedings of the 2019 American Control Conference, 2019

Information-Guided Temporal Logic Inference with Prior Knowledge.
Proceedings of the 2019 American Control Conference, 2019

Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes.
Proceedings of the 2019 American Control Conference, 2019

Controller Synthesis for Multi-Agent Systems With Intermittent Communication. A Metric Temporal Logic Approach.
Proceedings of the 57th Annual Allerton Conference on Communication, 2019

2018
Compositional and symbolic synthesis of reactive controllers for multi-agent systems.
Inf. Comput., 2018

Robust Myopic Control for Systems with Imperfect Observations.
CoRR, 2018

Reactive Task and Motion Planning for Robust Whole-Body Dynamic Locomotion in Constrained Environments.
CoRR, 2018

The Partially Observable Games We Play for Cyber Deception.
CoRR, 2018

Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints.
CoRR, 2018

Model Checking for Safe Navigation Among Humans.
Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Constrained Cross-Entropy Method for Safe Reinforcement Learning.
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2018

Counterexamples for Robotic Planning Explained in Structured Language.
Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018

Expedited Learning in MDPs with Side Information.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Synthesis of Surveillance Strategies via Belief Abstraction.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Distributed Synthesis of Surveillance Strategies for Mobile Sensors.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Transfer Entropy in MDPs with Temporal Logic Specifications.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Privacy Verification in POMDPs via Barrier Certificates.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Maximum Realizability for Linear Temporal Logic Specifications.
Proceedings of the Automated Technology for Verification and Analysis, 2018

Synthesis in pMDPs: A Tale of 1001 Parameters.
Proceedings of the Automated Technology for Verification and Analysis, 2018

Active Sampling for Closed-Loop Statistical Verification of Uncertain Nonlinear Systems.
Proceedings of the 2018 Annual American Control Conference, 2018

Closed-Loop Statistical Verification of Stochastic Nonlinear Systems Subject to Parametric Uncertainties.
Proceedings of the 2018 Annual American Control Conference, 2018

Inverse Optimal Control with Regular Language Specifications.
Proceedings of the 2018 Annual American Control Conference, 2018

A Randomized Greedy Algorithm for Near-Optimal Sensor Scheduling in Large-Scale Sensor Networks.
Proceedings of the 2018 Annual American Control Conference, 2018

Verification of Markov Decision Processes with Risk-Sensitive Measures.
Proceedings of the 2018 Annual American Control Conference, 2018

Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes.
Proceedings of the 2018 Annual American Control Conference, 2018

Control-Oriented Learning of Lagrangian and Hamiltonian Systems.
Proceedings of the 2018 Annual American Control Conference, 2018

Distributed Synthesis Using Accelerated ADMM.
Proceedings of the 2018 Annual American Control Conference, 2018

Entropy Maximization for Constrained Markov Decision Processes.
Proceedings of the 56th Annual Allerton Conference on Communication, 2018

Deception in Optimal Control.
Proceedings of the 56th Annual Allerton Conference on Communication, 2018

Graph-Based Controller Synthesis for Safety-Constrained, Resilient Systems.
Proceedings of the 56th Annual Allerton Conference on Communication, 2018

Verification of Uncertain POMDPs Using Barrier Certificates.
Proceedings of the 56th Annual Allerton Conference on Communication, 2018

Stochastic Games with Sensing Costs.
Proceedings of the 56th Annual Allerton Conference on Communication, 2018

Sensor Synthesis for POMDPs with Reachability Objectives.
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

Safe Reinforcement Learning via Shielding.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Distributed Charging Control of Electric Vehicles Using Online Learning.
IEEE Trans. Autom. Control., 2017

Differentially Private Distributed Constrained Optimization.
IEEE Trans. Autom. Control., 2017

Shield synthesis.
Formal Methods Syst. Des., 2017

Control-Oriented Learning on the Fly.
CoRR, 2017

Active Sampling-based Binary Verification of Dynamical Systems.
CoRR, 2017

Active Sampling for Constrained Simulation-based Verification of Uncertain Nonlinear Systems.
CoRR, 2017

Environment-Independent Task Specifications via GLTL.
CoRR, 2017

Sequential Convex Programming for the Efficient Verification of Parametric MDPs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Classification error correction: A case study in brain-computer interfacing.
Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

Learning from Demonstrations with High-Level Side Information.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Reduction Techniques for Model Checking and Learning in MDPs.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Sampling-based Approximate Optimal Control Under Temporal Logic Constraints.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Motion planning under partial observability using game-based abstraction.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Robustness of classifier-in-the-loop control systems: A hybrid-systems approach.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Safety assessemt based on physically-viable data-driven models.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Quantification on the efficiency gain of automated ridesharing services.
Proceedings of the 2017 American Control Conference, 2017

Synthesis of shared control protocols with provable safety and performance guarantees.
Proceedings of the 2017 American Control Conference, 2017

2016
Synthesis of Shared Autonomy Policies With Temporal Logic Specifications.
IEEE Trans Autom. Sci. Eng., 2016

Synthesis of Human-in-the-Loop Control Protocols for Autonomous Systems.
IEEE Trans Autom. Sci. Eng., 2016

Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems.
IEEE Trans. Autom. Control., 2016

Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints.
IEEE Trans. Autom. Control., 2016

Manifold-Following Approximate Solution of Completely Hypersensitive Optimal Control Problems.
J. Optim. Theory Appl., 2016

Probabilistic Model Checking for Complex Cognitive Tasks - A case study in human-robot interaction.
CoRR, 2016

Risk-Averse ω-regular Markov Decision Process Control.
CoRR, 2016

Characterizing two-timescale nonlinear dynamics using finite-time Lyapunov exponents and subspaces.
Commun. Nonlinear Sci. Numer. Simul., 2016

An Automaton Learning Approach to Solving Safety Games over Infinite Graphs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Safety-Constrained Reinforcement Learning for MDPs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Human-interpretable diagnostic information for robotic planning systems.
Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

Probably Approximately Correct Learning in Stochastic Games with Temporal Logic Specifications.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Optimal temporal logic planning in probabilistic semantic maps.
Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016

Case Studies in Data-Driven Verification of Dynamical Systems.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Compositional Synthesis with Parametric Reactive Controllers.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Synthesis of Admissible Shields.
Proceedings of the Hardware and Software: Verification and Testing, 2016

High-level planner synthesis for whole-body locomotion in unstructured environments.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Filter-based stochastic abstractions for constrained planning with limited sensing.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Automata theory meets approximate dynamic programming: Optimal control with temporal logic constraints.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Risk-averse control of Markov decision processes with ω-regular objectives.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Robust optimal policies for Markov decision processes with safety-threshold constraints.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Compositional Synthesis of Reactive Controllers for Multi-agent Systems.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

Region-of-convergence estimation for learning-based adaptive controllers.
Proceedings of the 2016 American Control Conference, 2016

Event-based information-theoretic privacy: A case study of smart meters.
Proceedings of the 2016 American Control Conference, 2016

Probabilistic Verification for Cognitive Models.
Proceedings of the 2016 AAAI Fall Symposia, Arlington, Virginia, USA, November 17-19, 2016, 2016

2015
Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution.
IEEE Trans. Control. Netw. Syst., 2015

Exact Convex Relaxation of Optimal Power Flow in Radial Networks.
IEEE Trans. Autom. Control., 2015

Convex Optimal Uncertainty Quantification.
SIAM J. Optim., 2015

Strategy Synthesis for Stochastic Rabin Games with Discounted Reward.
CoRR, 2015

Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Correct-by-synthesis reinforcement learning with temporal logic constraints.
Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

Pareto efficiency in synthesizing shared autonomy policies with temporal logic constraints.
Proceedings of the IEEE International Conference on Robotics and Automation, 2015

Controller synthesis for autonomous systems interacting with human operators.
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

Estimator-based reactive synthesis under incomplete information.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

A sublinear algorithm for barrier-certificate-based data-driven model validation of dynamical systems.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Computational methods for stochastic control with metric interval temporal logic specifications.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Optimal control in Markov decision processes via distributed optimization.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

An approximately truthful mechanism for electric vehicle charging via joint differential privacy.
Proceedings of the American Control Conference, 2015

Value of forecasts in planning under uncertainty.
Proceedings of the American Control Conference, 2015

Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations.
Proceedings of the American Control Conference, 2015

2014
Design and Stability of Load-Side Primary Frequency Control in Power Systems.
IEEE Trans. Autom. Control., 2014

Control Software Synthesis and Validation for a Vehicular Electric Power Distribution Testbed.
J. Aerosp. Inf. Syst., 2014

Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints.
Proceedings of the Robotics: Science and Systems X, 2014

Optimization-based trajectory generation with linear temporal logic specifications.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

Resilience to intermittent assumption violations in reactive synthesis.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Distributed charging control of electric vehicles using regret minimization.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Differentially private convex optimization with piecewise affine objectives.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

On distributed charging control of electric vehicles with power network capacity constraints.
Proceedings of the American Control Conference, 2014

Abstractions and sensor design in partial-information, reactive controller synthesis.
Proceedings of the American Control Conference, 2014

Differentially private distributed protocol for electric vehicle charging.
Proceedings of the 52nd Annual Allerton Conference on Communication, 2014

Formal Specification and Synthesis of Mission Plans for Unmanned Aerial Vehicles.
Proceedings of the 2014 AAAI Spring Symposia, 2014

2013
Synthesis of Reactive Switching Protocols From Temporal Logic Specifications.
IEEE Trans. Autom. Control., 2013

Real-time deferrable load control: handling the uncertainties of renewable generation.
SIGMETRICS Perform. Evaluation Rev., 2013

Power System Dynamics as Primal-Dual Algorithm for Optimal Load Control
CoRR, 2013

Exact convex relaxation for optimal power flow in distribution networks.
Proceedings of the ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems, 2013

Automaton-guided controller synthesis for nonlinear systems with temporal logic.
Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

Efficient reactive controller synthesis for a fragment of linear temporal logic.
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Automated synthesis of reactive controllers for software-defined networks.
Proceedings of the 2013 21st IEEE International Conference on Network Protocols, 2013

An aircraft electric power testbed for validating automatically synthesized reactive control protocols.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Counter-strategy guided refinement of GR(1) temporal logic specifications.
Proceedings of the Formal Methods in Computer-Aided Design, 2013

Optimal control of non-deterministic systems for a computationally efficient fragment of temporal logic.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Risk-limiting power grid control with an ARMA-based prediction model.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Optimal power flow in tree networks.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Towards smart, flexible and efficient power systems: Vision and research challenges.
Proceedings of the American Control Conference, 2013

Convexifying optimal power flow: Recent advances in OPF solution methods.
Proceedings of the American Control Conference, 2013

Convex optimal uncertainty quantification: Algorithms and a case study in energy storage placement for power grids.
Proceedings of the American Control Conference, 2013

2012
Receding Horizon Temporal Logic Planning.
IEEE Trans. Autom. Control., 2012

Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication
CoRR, 2012

Swing dynamics as primal-dual algorithm for optimal load control.
Proceedings of the IEEE Third International Conference on Smart Grid Communications, 2012

Optimal Control with Weighted Average Costs and Temporal Logic Specifications.
Proceedings of the Robotics: Science and Systems VIII, 2012

Towards formal synthesis of reactive controllers for dexterous robotic manipulation.
Proceedings of the IEEE International Conference on Robotics and Automation, 2012

On synthesizing robust discrete controllers under modeling uncertainty.
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

A case study on reactive protocols for aircraft electric power distribution.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Robust control of uncertain Markov Decision Processes with temporal logic specifications.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Reactive controllers for differentially flat systems with temporal logic constraints.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

On the exactness of convex relaxation for optimal power flow in tree networks.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Optimal placement of energy storage in the grid.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Some problems in demand side management.
Proceedings of the Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2012

Frequency-based load control in power systems.
Proceedings of the American Control Conference, 2012

Risk-mitigated optimal power flow for wind powered grids.
Proceedings of the American Control Conference, 2012

Temporal logic control of switched affine systems with an application in fuel balancing.
Proceedings of the American Control Conference, 2012

Switching protocol synthesis for temporal logic specifications.
Proceedings of the American Control Conference, 2012

2011
Optimization-Based Constrained Iterative Learning Control.
IEEE Trans. Control. Syst. Technol., 2011

Rigorous uncertainty quantification without integral testing.
Reliab. Eng. Syst. Saf., 2011

Analysis of autocatalytic networks in biology.
Autom., 2011

Optimal design of hybrid energy system with PV/wind turbine/storage: A case study.
Proceedings of the IEEE Second International Conference on Smart Grid Communications, 2011

Distributed Synthesis of Control Protocols for Smart Camera Networks.
Proceedings of the 2011 IEEE/ACM International Conference on Cyber-Physical Systems, 2011

TuLiP: a software toolbox for receding horizon temporal logic planning.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Distributed power allocation for vehicle management systems.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Optimal decentralized protocol for electric vehicle charging.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010
Robust Region-of-Attraction Estimation.
IEEE Trans. Autom. Control., 2010

Receding horizon control for temporal logic specifications.
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

A simple optimal power flow model with energy storage.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Automatic Synthesis of Robust Embedded Control Software.
Proceedings of the Embedded Reasoning, 2010

2009
Local Stability Analysis for Uncertain Nonlinear Systems.
IEEE Trans. Autom. Control., 2009

Parameter-Dependent Lyapunov Functions for Linear Systems With Constant Uncertainties.
IEEE Trans. Autom. Control., 2009

Parameter estimation with expected and residual-at-risk criteria.
Syst. Control. Lett., 2009

Stability region estimation for systems with unmodeled dynamics.
Proceedings of the European Control Conference, 2009

Receding horizon temporal logic planning for dynamical systems.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Compositional stability analysis based on dual decomposition.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Linearized analysis versus optimization-based nonlinear analysis for nonlinear systems.
Proceedings of the American Control Conference, 2009

Local robust performance analysis for nonlinear dynamical systems.
Proceedings of the American Control Conference, 2009

Iterative learning control with saturation constraints.
Proceedings of the American Control Conference, 2009

2008
Local stability analysis using simulations and sum-of-squares programming.
Autom., 2008

Multistage investments with recourse: A single-asset case with transaction costs.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Simulation-aided reachability and local gain analysis for nonlinear dynamical systems.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Local stability analysis for uncertain nonlinear systems using a branch-and-bound algorithm.
Proceedings of the American Control Conference, 2008

2007
Stability region analysis for uncertain nonlinear systems.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Stability Region Analysis Using Simulations and Sum-of-Squares Programming.
Proceedings of the American Control Conference, 2007

2006
Using Lyapunov Vectors and Dichotomy to Solve Hyper-Sensitive Optimal Control Problems.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006


  Loading...