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: Pierre-Jean Meyer 4 träffar

Titel Författare År Språk
1 Compositional abstraction refinement for control synthesis under lasso-shaped specifications USA WA Seattle American Control Conference,May 24–26 Pierre-Jean Meyer 2017 Engelska
2 Using progress sets on non-deterministic transition systems for multiple UAV motion planning 9-14 July 2017 France The 20th World Congress of the International Federation of Automatic Control Toulouse IFAC 2017 World Congress Paul Rousse 2017 Engelska
3 Closed-loop incremental stability for efficient symbolic control of non-linear systems 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS) Pouria Tajvar 2021 Engelska
4 Interval Reachability Analysis: Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification Pierre-Jean Meyer 2021 Okänt

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.