Incremental Synthesis of Control Policies for Heterogeneous Multi-Agent Systems With Linear Temporal Logic Specifications

doi 10.1109/icra.2013.6631293
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Supervisory Control of Discrete Event Systems With CTL* Temporal Logic Specifications

SIAM Journal on Control and Optimization
ControlApplied MathematicsOptimization
2006English

Containment Control of Singular Heterogeneous Multi-Agent Systems

Journal of the Franklin Institute
ControlSystems EngineeringSignal ProcessingComputer NetworksApplied MathematicsCommunications
2018English

On-Line Model-Checking for Finite Linear Temporal Logic Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1990English

H∞ Control Design for Synchronisation of Identical Linear Multi-Agent Systems

International Journal of Control
ControlSystems EngineeringComputer Science Applications
2017English

Sampling-Based Stochastic Optimal Control With Metric Interval Temporal Logic Specifications

2016English

Active Monitoring Using Real-Time Metric Linear Temporal Logic Specifications

2012English

Computational Logic in Multi-Agent Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Concurrent Multi-Agent Systems With Temporal Logic Objectives: Game Theoretic Analysis and Planning Through Negotiation

IET Control Theory and Applications
ControlSystems EngineeringHuman-Computer InteractionOptimizationElectronic EngineeringComputer Science ApplicationsElectrical
2015English

Parallelizing Synthesis From Temporal Logic Specifications by Identifying Equicontrollable States

Robotics Research
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy