124 citations · 411 across the 31 of their papers we have counts for
32 papers
Combinatorial Control Barrier Functions: Nested Boolean and p-choose-r Compositions of Safety Constraints
Pio Ong, Haejoon Lee, Tamas G. Molnar +2
This paper investigates the problem of composing multiple control barrier functions (CBFs) -- and matrix control barrier functions (MCBFs) -- through logical and combinatorial oper…
On the Properties of Optimal-Decay Control Barrier Functions
Pio Ong, Max H. Cohen, Tamas G. Molnar +1
Control barrier functions provide a powerful means for synthesizing safety filters that ensure safety framed as forward set invariance. Key to CBFs' effectiveness is the simple ine…
Rectified Control Barrier Functions for High-Order Safety Constraints
Pio Ong, Max H. Cohen, Tamas G. Molnar +1
This paper presents a novel approach for synthesizing control barrier functions (CBFs) from high relative degree safety constraints: Rectified CBFs (ReCBFs). We begin by discussing…
Safety-Critical Controller Synthesis with Reduced-Order Models
Max H. Cohen, Noel Csomay-Shanklin, William D. Compton +2
Reduced-order models (ROMs) provide lower dimensional representations of complex systems, capturing their salient features while simplifying control design. Building on previous wo…
Safe and Stable Connected Cruise Control for Connected Automated Vehicles with Response Lag
Yuchen Chen, Gabor Orosz, Tamas G. Molnar
Controlling connected automated vehicles (CAVs) via vehicle-to-everything (V2X) connectivity holds significant promise for improving fuel economy and traffic efficiency. However, t…
Disturbance-Robust Backup Control Barrier Functions: Safety Under Uncertain Dynamics
David E. J. van Wijk, Samuel Coogan, Tamas G. Molnar +2
Obtaining a controlled invariant set is crucial for safety-critical control with control barrier functions (CBFs) but is non-trivial for complex nonlinear systems and constraints.…
Leveraging Cooperative Connected Automated Vehicles for Mixed Traffic Safety
Chenguang Zhao, Tamas G. Molnar, Huan Yu
The introduction of connected and automated vehicles (CAV) is believed to reduce congestion, enhance safety, and improve traffic efficiency. Numerous research studies have focused…
Safety-Critical Control for Autonomous Systems: Control Barrier Functions via Reduced-Order Models
Max H. Cohen, Tamas G. Molnar, Aaron D. Ames
Modern autonomous systems, such as flying, legged, and wheeled robots, are generally characterized by high-dimensional nonlinear dynamics, which presents challenges for model-based…
Collision Avoidance and Geofencing for Fixed-wing Aircraft with Control Barrier Functions
Tamas G. Molnar, Suresh K. Kannan, James Cunningham +3
Safety-critical failures often have fatal consequences in aerospace control. Control systems on aircraft, therefore, must ensure the strict satisfaction of safety constraints, pref…
Safety-critical Control of Quadrupedal Robots with Rolling Arms for Autonomous Inspection of Complex Environments
Jaemin Lee, Jeeseop Kim, Wyatt Ubellacker +2
This paper presents a safety-critical control framework tailored for quadruped robots equipped with a roller arm, particularly when performing locomotive tasks such as autonomous r…
Composing Control Barrier Functions for Complex Safety Specifications
Tamas G. Molnar, Aaron D. Ames
The increasing complexity of control systems necessitates control laws that guarantee safety w.r.t. complex combinations of constraints. In this letter, we propose a framework to d…
On the Safety of Connected Cruise Control: Analysis and Synthesis with Control Barrier Functions
Tamas G. Molnar, Gabor Orosz, Aaron D. Ames
Connected automated vehicles have shown great potential to improve the efficiency of transportation systems in terms of passenger comfort, fuel economy, stability of driving behavi…
Parameterized Barrier Functions to Guarantee Safety under Uncertainty
Anil Alan, Tamas G. Molnar, Aaron D. Ames +1
Deploying safety-critical controllers in practice necessitates the ability to modulate uncertainties in control systems. In this context, robust control barrier functions -- in a v…
Safety-Critical Control with Bounded Inputs via Reduced Order Models
Tamas G. Molnar, Aaron D. Ames
Guaranteeing safe behavior on complex autonomous systems -- from cars to walking robots -- is challenging due to the inherently high dimensional nature of these systems and the cor…
Safety-Critical Traffic Control by Connected Automated Vehicles
Huan Yu, Chenguang Zhao, Tamas G. Molnar
Connected automated vehicles (CAVs) have shown great potential in improving traffic throughput and stability. Although various longitudinal control strategies have been developed f…
Experimental Validation of a Safe Controller Integration Scheme for Connected Automated Trucks
Anil Alan, Chaozhe R. He, Tamas G. Molnar +3
Accomplishing safe and efficient driving is one of the predominant challenges in the controller design of connected automated vehicles (CAVs). It is often more convenient to addres…
Connected Cruise and Traffic Control for Pairs of Connected Automated Vehicles
Sicong Guo, Gabor Orosz, Tamas G. Molnar
This paper considers mixed traffic consisting of connected automated vehicles equipped with vehicle-to-everything (V2X) connectivity and human-driven vehicles. A control strategy i…
The effects of delay on the HKB model of human motor coordination
Lara I. Allen, Tamas G. Molnar, Zoltan Dombovari +1
In this paper, we analyse the celebrated Haken-Kelso-Bunz (HKB) model, describing the dynamics of bimanual coordination, in the presence of delay. We study the linear dynamics, sta…
Energy-efficient Reactive and Predictive Connected Cruise Control
Minghao Shen, R. Austin Dollar, Tamas G. Molnar +3
In this paper, we propose a framework for the longitudinal control of connected and automated vehicles traveling in mixed traffic consisting of connected and non-connected human-dr…
Disturbance Observers for Robust Safety-critical Control with Control Barrier Functions
Anil Alan, Tamas G. Molnar, Ersin Das +2
This work provides formal safety guarantees for control systems with disturbance. A disturbance observer-based robust safety-critical controller is proposed, that estimates the eff…
Control Barrier Functionals: Safety-critical Control for Time Delay Systems
Adam K. Kiss, Tamas G. Molnar, Aaron D. Ames +1
This work presents a theoretical framework for the safety-critical control of time delay systems. The theory of control barrier functions, that provides formal safety guarantees fo…
Energy-efficient Connected Cruise Control with Lean Penetration of Connected Vehicles
Minghao Shen, Chaozhe R. He, Tamas Molnar +2
This paper focuses on energy-efficient longitudinal controller design for a connected automated truck that travels in mixed traffic consisting of connected and non-connected vehicl…
Safety-Critical Manipulation for Collision-Free Food Preparation
Andrew Singletary, William Guffey, Tamas G. Molnar +2
Recent advances allow for the automation of food preparation in high-throughput environments, yet the successful deployment of these robots requires the planning and execution of q…
Input-to-State Safety with Input Delay in Longitudinal Vehicle Control
Tamas G. Molnar, Anil Alan, Adam K. Kiss +2
Safe longitudinal control is discussed for a connected automated truck traveling behind a preceding connected vehicle. A controller is proposed based on control barrier function th…