ERD

Auctioning over Probabilistic Options for Temporal Logic-Based Multi-Robot Cooperation Under Uncertainty

Project: BUCOPHSYS

Updated at: 27-04-2024

Show more information

Project acronym BUCOPHSYS

Decentralized abstractions and timed constrained planning of a general class of coupled multi-agent systems

Project: BUCOPHSYS

Updated at: 27-04-2024

Show more information

Project acronym BUCOPHSYS

Position and orientation based formation control of multiple rigid bodies with collision avoidance and connectivity main...

Project: BUCOPHSYS

Updated at: 27-04-2024

Show more information

Project acronym BUCOPHSYS

Event-triggered Feedback Control for Signal Temporal Logic Tasks

Project: BUCOPHSYS

Updated at: 27-04-2024

Show more information

Project acronym BUCOPHSYS

A hybrid barrier certificate approach to satisfy linear temporal logic specifications

Project: BUCOPHSYS

Updated at: 27-04-2024

Show more information

Project acronym BUCOPHSYS

Optimal Control of Left-Invariant Multi-Agent Systems with Asymmetric Formation Constraints

Project: BUCOPHSYS

Updated at: 27-04-2024

Show more information

Project acronym BUCOPHSYS

Decentralized Control of Uncertain Multi-Agent Systems with Connectivity Maintenance and Collision Avoidance

Project: BUCOPHSYS

Updated at: 27-04-2024

Show more information

Project acronym BUCOPHSYS

Human in the Loop Least Violating Robot Control Synthesis under Metric Interval Temporal Logic Specifications

Project: BUCOPHSYS

Updated at: 27-04-2024

Show more information

Project acronym BUCOPHSYS

Decentralized Robust Control of Coupled Multi-Agent Systems under Local Signal Temporal Logic Tasks

Project: BUCOPHSYS

Updated at: 27-04-2024

Show more information

Project acronym BUCOPHSYS

Energy-aware networked control systems under temporal logic specifications

Project: BUCOPHSYS

Updated at: 27-04-2024

Show more information

Project acronym BUCOPHSYS

Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems

Project: BUCOPHSYS

Updated at: 27-04-2024

Show more information

Project acronym BUCOPHSYS

Robustness and Invariance of Connectivity Maintenance Control for Multiagent Systems

Project: BUCOPHSYS

Updated at: 27-04-2024

Show more information

Project acronym BUCOPHSYS

Task and Motion Coordination for Heterogeneous Multiagent Systems With Loosely Coupled Local Tasks

Project: BUCOPHSYS

Updated at: 27-04-2024

Show more information

Project acronym BUCOPHSYS

A Nonlinear Model Predictive Control scheme for cooperative manipulation with singularity and collision avoidance

Project: BUCOPHSYS

Updated at: 27-04-2024

Show more information

Project acronym BUCOPHSYS

Synthesizing least-limiting guidelines for safety of semi-autonomous systems

Project: BUCOPHSYS

Updated at: 27-04-2024

Show more information

Project acronym BUCOPHSYS

Event-triggered intermittent sampling for nonlinear model predictive control

Project: BUCOPHSYS

Updated at: 27-04-2024

Show more information

Project acronym BUCOPHSYS

Abstractions of varying decentralization degree for coupled multi-agent systems

Project: BUCOPHSYS

Updated at: 27-04-2024

Show more information

Project acronym BUCOPHSYS

Robust motion planning employing signal temporal logic

Project: BUCOPHSYS

Updated at: 27-04-2024

Show more information

Project acronym BUCOPHSYS

Robust decentralised navigation of multi-agent systems with collision avoidance and connectivity maintenance using model...

Project: BUCOPHSYS

Updated at: 27-04-2024

Show more information

Project acronym BUCOPHSYS

A Symbolic Approach to the Self-Triggered Design for Networked Control Systems

Project: BUCOPHSYS

Updated at: 27-04-2024

Show more information

Project acronym BUCOPHSYS

Synthesizing communication plans for reachability and safety specifications

Project: BUCOPHSYS

Updated at: 27-04-2024

Show more information

Project acronym BUCOPHSYS

Simultaneous task allocation and planning for temporal logic goals in heterogeneous multi-robot systems

Project: BUCOPHSYS

Updated at: 27-04-2024

Show more information

Project acronym BUCOPHSYS

Robust Self-Triggered MPC with Adaptive Prediction Horizon for Perturbed Nonlinear Systems

Project: BUCOPHSYS

Updated at: 27-04-2024

Show more information

Project acronym BUCOPHSYS

Aperiodic Sampled-Data Control via Explicit Transmission Mapping: A Set-Invariance Approach

Project: BUCOPHSYS

Updated at: 27-04-2024

Show more information

Project acronym BUCOPHSYS

Robust formation control in SE ( 3 ) for tree-graph structures with prescribed transient and steady state performance

Project: BUCOPHSYS

Updated at: 27-04-2024

Show more information

Project acronym BUCOPHSYS

Control Barrier Functions for Multi-Agent Systems Under Conflicting Local Signal Temporal Logic Tasks

Project: BUCOPHSYS

Updated at: 27-04-2024

Show more information

Project acronym BUCOPHSYS

Timed abstractions for distributed cooperative manipulation

Project: BUCOPHSYS

Updated at: 27-04-2024

Show more information

Project acronym BUCOPHSYS

Compositional abstraction refinement for control synthesis

Project: BUCOPHSYS

Updated at: 27-04-2024

Show more information

Project acronym BUCOPHSYS

Motion Feasibility Conditions for Multi-Agent Control Systems on Lie Groups

Project: BUCOPHSYS

Updated at: 27-04-2024

Show more information

Project acronym BUCOPHSYS

Control Barrier Functions for Signal Temporal Logic Tasks

Project: BUCOPHSYS

Updated at: 27-04-2024

Show more information

Project acronym BUCOPHSYS

Resources

Selected filters:

Auctioning over Probabilistic Options for Temporal Logic-Based Multi-Robot Cooperation Under Uncertainty

Decentralized abstractions and timed constrained planning of a general class of coupled multi-agent systems

Position and orientation based formation control of multiple rigid bodies with collision avoidance and connectivity main...

Event-triggered Feedback Control for Signal Temporal Logic Tasks

A hybrid barrier certificate approach to satisfy linear temporal logic specifications

Optimal Control of Left-Invariant Multi-Agent Systems with Asymmetric Formation Constraints

Decentralized Control of Uncertain Multi-Agent Systems with Connectivity Maintenance and Collision Avoidance

Human in the Loop Least Violating Robot Control Synthesis under Metric Interval Temporal Logic Specifications

Decentralized Robust Control of Coupled Multi-Agent Systems under Local Signal Temporal Logic Tasks

Energy-aware networked control systems under temporal logic specifications

Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems

Robustness and Invariance of Connectivity Maintenance Control for Multiagent Systems

Task and Motion Coordination for Heterogeneous Multiagent Systems With Loosely Coupled Local Tasks

A Nonlinear Model Predictive Control scheme for cooperative manipulation with singularity and collision avoidance

Synthesizing least-limiting guidelines for safety of semi-autonomous systems

Event-triggered intermittent sampling for nonlinear model predictive control

Abstractions of varying decentralization degree for coupled multi-agent systems

Robust motion planning employing signal temporal logic

Robust decentralised navigation of multi-agent systems with collision avoidance and connectivity maintenance using model...

A Symbolic Approach to the Self-Triggered Design for Networked Control Systems

Synthesizing communication plans for reachability and safety specifications

Simultaneous task allocation and planning for temporal logic goals in heterogeneous multi-robot systems

Robust Self-Triggered MPC with Adaptive Prediction Horizon for Perturbed Nonlinear Systems

Aperiodic Sampled-Data Control via Explicit Transmission Mapping: A Set-Invariance Approach

Robust formation control in SE ( 3 ) for tree-graph structures with prescribed transient and steady state performance

Control Barrier Functions for Multi-Agent Systems Under Conflicting Local Signal Temporal Logic Tasks

Timed abstractions for distributed cooperative manipulation

Compositional abstraction refinement for control synthesis

Motion Feasibility Conditions for Multi-Agent Control Systems on Lie Groups

Control Barrier Functions for Signal Temporal Logic Tasks