BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Laurent Fribourg
SearchCollections
Map detail
Laurent Fribourg10 visible / 10 total nodes / 9 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipLaurent FribourgALaurent FribourgResearcherProceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and SynthesisWProceedings 8th Interna...preprint / 2020Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear SystemsWSynthesis of Switching ...preprint / 2011Robust optimal control using dynamic programming and guaranteed Euler's methodWRobust optimal control ...preprint / 2020Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method: The Brusselator and biped examplesWGuaranteed phase synchr...preprint / 2020Correct-by-design Control Synthesis for Multilevel Converters using State Space DecompositionWCorrect-by-design Contr...preprint / 2014Distributed Synthesis of State-Dependent Switching ControlWDistributed Synthesis o...preprint / 2016Toward Parametric Timed Interfaces for Real-Time ComponentsWToward Parametric Timed...preprint / 2014Control of nonlinear switched systems based on validated simulationWControl of nonlinear sw...preprint / 2016Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed SystemsWParametric Schedulabili...preprint / 2013
Person9 links

Laurent Fribourg

Researcher

PaperProceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and SynthesisAuthorship / preprint / 2020PaperSynthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear SystemsAuthorship / preprint / 2011PaperRobust optimal control using dynamic programming and guaranteed Euler's methodAuthorship / preprint / 2020PaperGuaranteed phase synchronization of hybrid oscillators using symbolic Euler's method: The Brusselator and biped examplesAuthorship / preprint / 2020PaperCorrect-by-design Control Synthesis for Multilevel Converters using State Space DecompositionAuthorship / preprint / 2014PaperDistributed Synthesis of State-Dependent Switching ControlAuthorship / preprint / 2016PaperToward Parametric Timed Interfaces for Real-Time ComponentsAuthorship / preprint / 2014PaperControl of nonlinear switched systems based on validated simulationAuthorship / preprint / 2016

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)