Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Masking and Demasking Agents01:19

Masking and Demasking Agents

3.4K
EDTA titrations may necessitate masking and demasking agents to temporarily protect a particular metal ion in a mixture from the EDTA reaction. These agents facilitate the sequential analysis of the metal ions by forming stable complexes with some—but not all—metal ions during certain steps.
There are many masking agents, such as cyanide, fluoride, triethanolamine, thiourea, and 2,3-bis(sulfanyl)propan-1-ol (formerly 2,3-dimercapto-1-propanol), with the masking agent chosen based on...
3.4K
Collisions in Multiple Dimensions: Problem Solving01:06

Collisions in Multiple Dimensions: Problem Solving

5.1K
In multiple dimensions, the conservation of momentum applies in each direction independently. Hence, to solve collisions in multiple dimensions, we should write down the momentum conservation in each direction separately. To help understand collisions in multiple dimensions, consider an example.
A small car of mass 1,200 kg traveling east at 60 km/h collides at an intersection with a truck of mass 3,000 kg traveling due north at 40 km/h. The two vehicles are locked together. What is the...
5.1K
Collisions in Multiple Dimensions: Introduction01:05

Collisions in Multiple Dimensions: Introduction

6.4K
It is far more common for collisions to occur in two dimensions; that is, the initial velocity vectors are neither parallel nor antiparallel to each other. Let's see what complications arise from this. The first idea is that momentum is a vector. Like all vectors, it can be expressed as a sum of perpendicular components (usually, though not always, an x-component and a y-component, and a z-component if necessary). Thus, when the statement of conservation of momentum is written for a...
6.4K
Diamagnetic Shielding of Nuclei: Local Diamagnetic Current01:14

Diamagnetic Shielding of Nuclei: Local Diamagnetic Current

1.4K
An applied magnetic field causes the electrons present in the molecule to circulate, setting up a local diamagnetic current within the molecule. The local diamagnetic current arising from circulating sigma-bonding electrons induces a magnetic field, Blocal that opposes the applied magnetic field, B0. The effective magnetic field experienced by these nuclei is given by the difference between the applied and local magnetic fields in a phenomenon called local diamagnetic shielding. Essentially,...
1.4K
Alternative Sets of Equilibrium Equations01:31

Alternative Sets of Equilibrium Equations

881
When analyzing the behavior of structures, engineers often rely on the concept of equilibrium. This refers to the state where all forces and moments acting on a system balance each other, resulting in no net movement or rotation. In many cases, equilibrium can be described by a set of standard equations. However, in some situations, alternative sets of equilibrium equations must be used to describe the system's behavior accurately.
One example of such a situation can be observed in a...
881
Stability of Equilibrium Configuration: Problem Solving01:13

Stability of Equilibrium Configuration: Problem Solving

903
The stability of equilibrium configurations is an important concept in physics, engineering, and other related fields. In simple terms, it refers to the tendency of an object or system to return to its equilibrium position after being disturbed. The stability of an equilibrium configuration can be analyzed by considering the potential energy function of the system and examining its behavior near the equilibrium point.
Problem-solving in the context of the stability of equilibrium configuration...
903

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

An Investigation of the Influence of the Sequence of Laser Texturing and Heat Treatment Processes on the Coefficient of Friction of X165CrMoV12 Steel.

Materials (Basel, Switzerland)·2026
Same author

Tribological and Corrosion Properties of Coatings of Ultradisperse TiB<sub>2</sub>-TiAl Electrodes with Nanosized Additives Deposited on Ti-Gr2 by Non-Contact Electrospark Deposition.

Materials (Basel, Switzerland)·2026
Same author

Comparative Study of Nanostructured Multilayer Cr/(Cr/a-C)ml Coatings Deposited on HS6-5-2 Steel by Magnetron Sputtering.

Materials (Basel, Switzerland)·2026
Same author

Characteristics and Microstructure of Coatings of Ultradisperse TiB<sub>2</sub>-TiAl Electrodes with Nanosized Additives Deposited on Ti-Gr2 by Non-Contact Electrospark Deposition.

Materials (Basel, Switzerland)·2026
Same author

Deposition and Properties of Nanostructured Multilayer Cr/(Cr/a-C)ml Coating on Stainless Steels.

Materials (Basel, Switzerland)·2025
Same author

How media competition fuels the spread of misinformation.

Science advances·2025

Related Experiment Video

Updated: Dec 29, 2025

Construction of a Compact Low-Cost Radiation Shield for Air-Temperature Sensors in Ecological Field Studies
05:56

Construction of a Compact Low-Cost Radiation Shield for Air-Temperature Sensors in Ecological Field Studies

Published on: November 6, 2018

8.6K

Synthesis of Minimum-Cost Shields for Multi-agent Systems.

Suda Bharadwaj1, Roderik Bloem2, Rayna Dimitrova3

  • 1Suda Bharadwaj and Ufuk Topcu are with the University of Texas at Austin, USA.

Proceedings of the ... American Control Conference. American Control Conference
|February 6, 2020
PubMed
Summary

We introduce shields, a method to enforce multi-agent system specifications at runtime. This approach synthesizes cost-optimal and fair shields, ensuring system-wide compliance with temporal logic.

More Related Videos

The HoneyComb Paradigm for Research on Collective Human Behavior
06:48

The HoneyComb Paradigm for Research on Collective Human Behavior

Published on: January 19, 2019

9.7K
Synthesis of a Water-soluble Metal&#8211;Organic Complex Array
06:40

Synthesis of a Water-soluble Metal–Organic Complex Array

Published on: October 8, 2016

11.9K

Related Experiment Videos

Last Updated: Dec 29, 2025

Construction of a Compact Low-Cost Radiation Shield for Air-Temperature Sensors in Ecological Field Studies
05:56

Construction of a Compact Low-Cost Radiation Shield for Air-Temperature Sensors in Ecological Field Studies

Published on: November 6, 2018

8.6K
The HoneyComb Paradigm for Research on Collective Human Behavior
06:48

The HoneyComb Paradigm for Research on Collective Human Behavior

Published on: January 19, 2019

9.7K
Synthesis of a Water-soluble Metal&#8211;Organic Complex Array
06:40

Synthesis of a Water-soluble Metal–Organic Complex Array

Published on: October 8, 2016

11.9K

Area of Science:

  • Computer Science
  • Artificial Intelligence
  • Robotics

Background:

  • Multi-agent systems require robust enforcement mechanisms to guarantee global specifications.
  • Runtime enforcement, particularly using shields, offers a promising approach for ensuring system correctness.
  • Existing methods often lack quantitative objectives for shield interference.

Purpose of the Study:

  • To propose a general approach for deriving runtime enforcement shields from temporal logic specifications for multi-agent systems.
  • To address the shield synthesis problem with quantitative objectives for the first time.
  • To develop methods for synthesizing cost-optimal and fair shields.

Main Methods:

  • Developing a general framework to derive shields from temporal logic specifications.
  • Introducing quantitative objectives to manage shield interference with agents.
  • Proposing synthesis methods for cost-optimal and fair shields under specified assumptions.

Main Results:

  • A novel approach for synthesizing runtime enforcement shields for multi-agent systems.
  • Methods for generating shields that optimize cost and fairness criteria.
  • Demonstrated applicability through a UAV mission planning case study.

Conclusions:

  • The proposed approach enables the synthesis of effective shields for multi-agent systems.
  • Quantitative objectives are crucial for managing shield interventions and optimizing performance.
  • The method is validated in a realistic UAV logistics scenario using ROS/Gazebo.