Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Lars Lindemann 12 träffar

Titel Författare År Språk
1-2 Planning and Control of Multi-Agent Systems under Signal Temporal Logic Specifications (flera utgåvor) Lars Lindemann 2020 Engelska
3-4 Robust and Abstraction-free Control of Dynamical Systems under Signal Temporal Logic Tasks (flera utgåvor) Lars Lindemann 2018 Engelska
5 Robust Motion Planning employing Signal Temporal Logic 24 May 2017 through 26 May 2017 United States Seattle Sheraton Seattle Hotel ACC 2017 2017 American Control Conference Lars Lindemann 2017 Engelska
6 Decentralized Control Barrier Functions for Coupled Multi-Agent Systems under Signal Temporal Logic Tasks 2019 JUN 25-28 ITALY Naples 18th European Control Conference (ECC) Lars Lindemann 2019 Engelska
7 Prescribed Performance Controlfor Signal Temporal Logic Specifications 2017 December 12-15 Australia Melbourne CDC 2017 56th IEEE Annual Conference on Decision and Control Lars Lindemann 2017 Engelska
8 Decentralized Robust Control of Coupled Multi-Agent Systems under Local Signal Temporal Logic Tasks 27-29 June 2018 United States Milwauke Wisconsin Center / Hilton Milwauke City Center ACC 2018 2018 Annual American Control Conference Lars Lindemann 2018 Engelska
9 Event-triggered Feedback Control for Signal Temporal Logic Tasks 2018 December 17-19 USA FL Miami CDC 2018 57th IEEE Conference on Decision and Control Lars Lindemann 2018 Engelska
10 Efficient Automata-based Planning and Control under Spatio-Temporal Logic Specifications 2020 July 1-3 USA CO Denver ACC 2020 2020 American Control Conference Lars Lindemann 2020 Engelska
11 Communication-Constrained STL Task Decomposition through Convex Optimization Jul 8-12 2024 Canada Toronto American Control Conference 2024 Gregorio Marchesini 2024 Svenska
12 Decentralized Control of Multi-Agent Systems Under Acyclic Spatio-Temporal Task Dependencies Italy Milan 2024 December 16-19 2024 Conference on Decision and Control Gregorio Marchesini 2024 Engelska

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.