-
Collision Cone Control Barrier Functions: Experimental Validation on UGVs for Kinematic Obstacle Avoidance
Authors:
Bhavya Giri Goswami,
Manan Tayal,
Karthik Rajgopal,
Pushpak Jagtap,
Shishir Kolathaya
Abstract:
Autonomy advances have enabled robots in diverse environments and close human interaction, necessitating controllers with formal safety guarantees. This paper introduces an experimental platform designed for the validation and demonstration of a novel class of Control Barrier Functions (CBFs) tailored for Unmanned Ground Vehicles (UGVs) to proactively prevent collisions with kinematic obstacles by…
▽ More
Autonomy advances have enabled robots in diverse environments and close human interaction, necessitating controllers with formal safety guarantees. This paper introduces an experimental platform designed for the validation and demonstration of a novel class of Control Barrier Functions (CBFs) tailored for Unmanned Ground Vehicles (UGVs) to proactively prevent collisions with kinematic obstacles by integrating the concept of collision cones. While existing CBF formulations excel with static obstacles, extensions to torque/acceleration-controlled unicycle and bicycle models have seen limited success. Conventional CBF applications in nonholonomic UGV models have demonstrated control conservatism, particularly in scenarios where steering/thrust control was deemed infeasible. Drawing inspiration from collision cones in path planning, we present a pioneering CBF formulation ensuring theoretical safety guarantees for both unicycle and bicycle models. The core premise revolves around aligning the obstacle's velocity away from the vehicle, establishing a constraint to perpetually avoid vectors directed towards it. This control methodology is rigorously validated through simulations and experimental verification on the Copernicus mobile robot (Unicycle Model) and FOCAS-Car (Bicycle Model).
△ Less
Submitted 16 October, 2023;
originally announced October 2023.
-
Funnel-based Control for Reach-Avoid-Stay Specifications
Authors:
Ratnangshu Das,
Pushpak Jagtap
Abstract:
The paper addresses the problem of controller synthesis for control-affine nonlinear systems to meet reach-avoid-stay specifications. Specifically, the goal of the research is to obtain a closed-form control law ensuring that the trajectories of the nonlinear system, reach a target set while avoiding all unsafe regions and adhering to the state-space constraints. To tackle this problem, we leverag…
▽ More
The paper addresses the problem of controller synthesis for control-affine nonlinear systems to meet reach-avoid-stay specifications. Specifically, the goal of the research is to obtain a closed-form control law ensuring that the trajectories of the nonlinear system, reach a target set while avoiding all unsafe regions and adhering to the state-space constraints. To tackle this problem, we leverage the concept of the funnel-based control approach. Given an arbitrary unsafe region, we introduce a circumvent function that guarantees the system trajectory to steer clear of that region. Subsequently, an adaptive funnel framework is proposed based on the target, followed by the construction of a closed-form controller using the established funnel function, enforcing the reach-avoid-stay specifications. To demonstrate the efficacy of the proposed funnel-based control approach, a series of simulation experiments have been carried out.
△ Less
Submitted 30 August, 2023;
originally announced August 2023.
-
Approximation-free control for unknown systems with performance and input constraints
Authors:
Pankaj K Mishra,
Pushpak Jagtap
Abstract:
This paper addresses the problem of tracking control for an unknown nonlinear system with time-varying bounded disturbance subjected to prescribed Performance and Input Constraints (PIC). Since simultaneous prescription of PIC involves a trade-off, we propose an analytical feasibility condition to prescribe feasible PIC which also yields feasible initial state space as corollary results. Additiona…
▽ More
This paper addresses the problem of tracking control for an unknown nonlinear system with time-varying bounded disturbance subjected to prescribed Performance and Input Constraints (PIC). Since simultaneous prescription of PIC involves a trade-off, we propose an analytical feasibility condition to prescribe feasible PIC which also yields feasible initial state space as corollary results. Additionally, an approximation-free controller is proposed to guarantee that the tracking performance adheres to the prescribed PIC. The effectiveness of the proposed approach is demonstrated through numerical examples.
△ Less
Submitted 21 April, 2023;
originally announced April 2023.
-
Compositional Approximately Bisimilar Abstractions of Interconnected Systems
Authors:
Belamfedel Alaoui Sadek,
Saharsh,
Pushpak Jagtap,
Adnane Saoud
Abstract:
This paper formulates and studies the concepts of approximate (alternating) bisimulation relations characterizing equivalence relations between interconnected systems and their abstractions. These equivalence relations guarantee that the symbolic model conserves the original model's dynamics. We develop a compositional approach for abstraction-based controller synthesis by relying on the notions o…
▽ More
This paper formulates and studies the concepts of approximate (alternating) bisimulation relations characterizing equivalence relations between interconnected systems and their abstractions. These equivalence relations guarantee that the symbolic model conserves the original model's dynamics. We develop a compositional approach for abstraction-based controller synthesis by relying on the notions of approximate composition and incremental input-to-state stability. In particular, given a large-scale system consisting of interconnected components, we provide conditions under which the concept of approximate (alternating) simulation relation is preserved when going from the subsystems to the large-scale interconnected system. The engineering relevance of the theoretical results has been evaluated through an application in traffic congestion control.
△ Less
Submitted 18 November, 2022; v1 submitted 15 November, 2022;
originally announced November 2022.
-
Distributed Consensus of Stochastic Multi-agent Systems with Prescribed Performance Constraints
Authors:
Pushpak Jagtap,
Dimos V. Dimarogonas
Abstract:
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. In particular, we consider that each agent is driven by a stochastic differential equation with state-dependent noise which makes the con…
▽ More
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. In particular, we consider that each agent is driven by a stochastic differential equation with state-dependent noise which makes the considered problem more challenging compared to non-stochastic agents. The work provides sufficient conditions under which the proposed timevarying distributed control laws ensure consensus in expectation and almost sure consensus of stochastic multi-agent systems while satisfying prescribed performance constraints over evolutions of the systems in the sense of the qth moment. Finally, we demonstrate the effectiveness of the proposed results with a numerical example.
△ Less
Submitted 7 March, 2022;
originally announced March 2022.
-
Compositional Construction of Control Barrier Functions for Interconnected Control Systems
Authors:
Pushpak Jagtap,
Abdalla Swikir,
Majid Zamani
Abstract:
In this paper, we provide a compositional framework for synthesizing hybrid controllers for interconnected discrete-time control systems enforcing specifications expressed by co-Buchi automata. In particular, we first decompose the given specification to simpler reachability tasks based on automata representing the complements of original co-Buchi automata. Then, we provide a systematic approach t…
▽ More
In this paper, we provide a compositional framework for synthesizing hybrid controllers for interconnected discrete-time control systems enforcing specifications expressed by co-Buchi automata. In particular, we first decompose the given specification to simpler reachability tasks based on automata representing the complements of original co-Buchi automata. Then, we provide a systematic approach to solve those simpler reachability tasks by computing corresponding control barrier functions. We show that such control barrier functions can be constructed compositionally by assuming some small-gain type conditions and composing so-called local control barrier functions computed for subsystems. We provide two systematic techniques to search for local control barrier functions for subsystems based on the sum-of-squares optimization program and counter-example guided inductive synthesis approach. Finally, we illustrate the effectiveness of our results through two large-scale case studies.
△ Less
Submitted 1 February, 2020;
originally announced February 2020.
-
Formal Synthesis of Stochastic Systems via Control Barrier Certificates
Authors:
Pushpak Jagtap,
Sadegh Soudjani,
Majid Zamani
Abstract:
This paper focuses on synthesizing control policies for discrete-time stochastic control systems together with a lower bound on the probability that the systems satisfy the complex temporal properties. The desired properties of the system are expressed as linear temporal logic (LTL) specifications over finite traces. In particular, our approach decomposes the given specification into simpler reach…
▽ More
This paper focuses on synthesizing control policies for discrete-time stochastic control systems together with a lower bound on the probability that the systems satisfy the complex temporal properties. The desired properties of the system are expressed as linear temporal logic (LTL) specifications over finite traces. In particular, our approach decomposes the given specification into simpler reachability tasks based on its automata representation. We then propose the use of so-called \emph{control barrier certificate} to solve those simpler reachability tasks along with computing the corresponding controllers and probability bounds. Finally, we combine those controllers to obtain a hybrid control policy solving the considered problem. Under some assumptions, we also provide two systematic approaches for uncountable and finite input sets to search for control barrier certificates. We demonstrate the effectiveness of the proposed approach on a room temperature control and lane-kee** of a vehicle modeled as a four-dimensional single-track kinematic model. We compare our results with the discretization-based methods in the literature.
△ Less
Submitted 5 August, 2020; v1 submitted 11 May, 2019;
originally announced May 2019.
-
Symbolic Models for Retarded Jump-Diffusion Systems
Authors:
Pushpak Jagtap,
Majid Zamani
Abstract:
In this paper, we provide for the first time an automated, correct-by-construction, controller synthesis scheme for a class of infinite dimensional stochastic systems, namely, retarded jump-diffusion systems. First, we construct finite abstractions approximately bisimilar to non-probabilistic retarded systems corresponding to the original systems having some stability property, namely, incremental…
▽ More
In this paper, we provide for the first time an automated, correct-by-construction, controller synthesis scheme for a class of infinite dimensional stochastic systems, namely, retarded jump-diffusion systems. First, we construct finite abstractions approximately bisimilar to non-probabilistic retarded systems corresponding to the original systems having some stability property, namely, incremental input-to-state stability. Then, we provide a result on quantifying the distance between output trajectory of the obtained finite abstraction and that of the original retarded jump-diffusion system in a probabilistic setting. Using the proposed result, one can refine the control policy synthesized using finite abstractions to the original systems while providing guarantee on the probability of satisfaction of high-level requirements. Moreover, we provide sufficient conditions for the proposed notion of incremental stability in terms of the existence of incremental Lyapunov functions which reduce to some matrix inequalities for the linear systems. Finally, the effectiveness of the proposed results is illustrated by synthesizing a controller regulating the temperatures in a ten-room building modelled as a delayed jump-diffusion system.
△ Less
Submitted 9 July, 2019; v1 submitted 12 April, 2017;
originally announced April 2017.
-
Complex Laplacian based Distributed Control for Multi-Agent Network
Authors:
Aniket Deshpande,
Pushpak Jagtap,
Prashant Bansode,
Arun Mahindrakar,
Navadeep Singh
Abstract:
The work done in this paper, proposes a complex Laplacian-based distributed control scheme for convergence in the multi-agent network. The proposed scheme has been designated as cascade formulation. The proposed technique exploits the traditional method of organizing large scattered networks into smaller interconnected clusters to optimize information flow within the network. The complex Laplacian…
▽ More
The work done in this paper, proposes a complex Laplacian-based distributed control scheme for convergence in the multi-agent network. The proposed scheme has been designated as cascade formulation. The proposed technique exploits the traditional method of organizing large scattered networks into smaller interconnected clusters to optimize information flow within the network. The complex Laplacian-based approach results in a hierarchical structure, with formation of a meta-cluster leading other clusters in the network. The proposed formulation enables flexibility to constrain the eigen spectra of the overall closed-loop dynamics, ensuring desired convergence rate and control input intensity. The sufficient conditions ensuring globally stable formation for proposed formulation are also asserted. Robustness of the proposed formulation to uncertainties like loss in communication links and actuator failure has also been discussed. The effectiveness of the proposed approach is illustrated by simulating a finitely large network of thirty vehicles.
△ Less
Submitted 12 July, 2018; v1 submitted 18 September, 2016;
originally announced September 2016.
-
Backstep** Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps
Authors:
Pushpak Jagtap,
Majid Zamani
Abstract:
Incremental stability is a property of dynamical systems ensuring the uniform asymptotic stability of each trajectory rather than a fixed equilibrium point or trajectory. Here, we introduce a notion of incremental stability for stochastic control systems and provide its description in terms of existence of a notion of so-called incremental Lyapunov functions. Moreover, we provide a backstep** co…
▽ More
Incremental stability is a property of dynamical systems ensuring the uniform asymptotic stability of each trajectory rather than a fixed equilibrium point or trajectory. Here, we introduce a notion of incremental stability for stochastic control systems and provide its description in terms of existence of a notion of so-called incremental Lyapunov functions. Moreover, we provide a backstep** controller design scheme providing controllers along with corresponding incremental Lyapunov functions rendering a class of stochastic control systems, namely, stochastic Hamiltonian systems with jumps, incrementally stable. To illustrate the effectiveness of the proposed approach, we design a controller making a spring pendulum system in a noisy environment incrementally stable.
△ Less
Submitted 5 May, 2017; v1 submitted 18 May, 2016;
originally announced May 2016.