Search Results for author:
Found 15 papers, 0 papers with code
Real Time Safety of Fixed-wing UAVs using Collision Cone Control Barrier Functions
Fixed-wing UAVs have transformed the transportation system with their high flight speed and long endurance, yet their safe operation in increasingly cluttered environments depends heavily on effective collision avoidance techniques.
Temporal Logic Resilience for Dynamical Systems
We use finite temporal logic to express the requirements on the acceptable functionality and define the resilience metric as the maximum disturbance under which the system satisfies the temporal requirements.
Symbolic Models for Interconnected Impulsive Systems
Our approach relies on the concept of "alternating simulation function" to establish a relationship between concrete subsystems and their symbolic models.
On Incremental Stability of Interconnected Switched Systems
For the feedback interconnection, the small gain characterisation is presented for the overall system's incremental stability.
On the Efficacy and Noise-Robustness of Jointly Learned Speech Emotion and Automatic Speech Recognition
New-age conversational agent systems perform both speech emotion recognition (SER) and automatic speech recognition (ASR) using two separate and often independent approaches for real-world application in noisy environments.
Automatic Speech Recognition
Automatic Speech Recognition (ASR)
+2
Approximation- and Chattering-free Quasi Sliding Mode Control for Unknown Systems
Motivated by the concept of Quasi-Sliding Mode (QSM) in discrete-time systems, this paper presents a novel approach that relaxes the requirement of ubiquitous exact sliding motion in continuous-time systems, aiming to achieve an approximation- and chattering-free quasi-sliding mode controller (QSMC).
Barrier Function-based Distributed Symbolic Controller for Multi-Agent Systems
In addition, we also provide an analysis on the effect of the CBF parameters on the conservatism introduced by our proposed approach in the size and domain of the synthesized controller.
Funnel-based Reward Shaping for Signal Temporal Logic Tasks in Reinforcement Learning
Signal Temporal Logic (STL) is a powerful framework for describing the complex temporal and logical behaviour of the dynamical system.
Compositional Approximately Bisimilar Abstractions of Interconnected Systems
This paper formulates and studies the concepts of approximate (alternating) bisimulation relations characterizing equivalence relations between interconnected systems and their abstractions.
Approximation-free Prescribed Performance Control with Prescribed Input Constraints
This paper considers the tracking control problem for an unknown nonlinear system with time-varying bounded disturbance subjected to a prescribed performance and input constraints.
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts
In this paper, we focus on the problem of compositional synthesis of controllers enforcing signal temporal logic (STL) tasks over a class of continuous-time nonlinear interconnected systems.
Distributed Consensus of Stochastic Multi-agent Systems with Prescribed Performance Constraints
This paper focuses on the problem of distributed consensus control of multi-agent systems while considering two main practical concerns (i) stochastic noise in the agent dynamics and (ii) predefined performance constraints over evolutions of multi-agent systems.
Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions
In this paper, we study formal synthesis of control policies for partially observed jump-diffusion systems against complex logic specifications.
Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes
This paper focuses on the controller synthesis for unknown, nonlinear systems while ensuring safety constraints.
dtControl: Decision Tree Learning Algorithms for Controller Representation
In particular the latter turns out to be extremely efficient, yielding decision trees with a single-digit number of decision nodes on 5 of the case studies.
