Publications

The * represents authors contributed equally
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).

Project

(2020). Synthesis of stochastic systems with partial information via control barrier functions. 59th IEEE Conference on Decision and Control (CDC).

Preprint Project

(2020). Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions. IEEE Control Systems Letters (L-CSS)(* equally contributed).

Preprint PDF Project DOI

(2020). Synthesis of stochastic systems with partial information via control barrier functions. 21st IFAC World Congress (* equally contributed).

Project

(2020). Compositional construction of control barrier functions for interconnected control systems. 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC) (* equally contributed).

Preprint PDF Project DOI

(2020). Compositional abstraction and controller synthesis for interconnected systems: An approximate composition approach. IEEE Transactions on Control of Network Systems (TCNS), (* equally contributed).

Preprint Project

(2020). Formal synthesis of stochastic systems via control barrier certificates. IEEE Transactions on Automatic Control(TAC).

Preprint PDF Project DOI

(2020). dtControl: Decision tree learning algorithms for controller representation. 23rd International Conference on Hybrid Systems: Computation and Control (HSCC).

Preprint PDF Code Dataset Project Video DOI

(2020). Software fault tolerance for cyber-physical systems via full system restart. ACM Transactions on Cyber-Physical Systems (TCPS).

Preprint PDF Project DOI

(2019). Verification of switched stochastic systems via barrier certificates. The 58th IEEE Conference on Decision and Control (CDC) (* equally contributed).

PDF Project DOI

(2018). Temporal logic verification of stochastic systems using barrier certificates,. Automated Technology for Verification and Analysis (ATVA).

Preprint PDF Project DOI

(2018). Compositional abstraction-based synthesis for cascade discrete-time control systems. IFAC Conference on Analysis and Design of Hybrid Systems (ADHS).

Preprint PDF Project DOI

(2018). Complex Laplacian-based distributed control for multi-agent network. Advances in Complex Systems.

Preprint PDF DOI

(2017). QUEST: A tool for state-space quantization-free synthesis of symbolic controllers. 14th International Conference on Quantitative Evaluation of SysTems (QEST), Lecture Notes in Computer Science 10503.

PDF Code Project DOI

(2017). Backstepping design for incremental stability of stochastic Hamiltonian systems with jumps. IEEE Transactions on Automatic Control.

Preprint PDF Project DOI

(2016). Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems. The 55th IEEE Conference on Decision and Control (CDC).

PDF Project DOI

(2016). On Incremental Stability of Time-Delayed Stochastic Control Systems. The 54th Annual Allerton Conference on Communication, Control, and Computing.

PDF Project DOI

(2016). Control of autonomous underwater vehicle using reduced order model predictive control in three dimensional space. IFAC-PapersOnLine.

Preprint PDF DOI

(2016). Prediction of ground motion parameters using randomized ANFIS (RANFIS). Applied Soft Computing.

PDF DOI

(2016). Model predictive control of complex switched mode FC-UC hybrid structure. Indian Control Conference (ICC).

Preprint PDF DOI

(2015). Complex Laplacian-based algorithm for output synchronization of multi-agent systems using internal model principle. IEEE Conference on Control Applications (CCA).

PDF DOI

(2015). Extreme-ANFIS: A novel learning approach for inverse model control of Nonlinear Dynamical Systems. International Conference on Industrial Instrumentation and Control (ICIC).

PDF DOI

(2014). Extreme learning ANFIS for control applications. IEEE Symposium on Computational Intelligence in Control and Automation (CICA).

PDF DOI

(2014). Comparison of extreme-ANFIS and ANFIS networks for regression problems. IEEE International Advance Computing Conference (IACC).

Preprint PDF DOI