Pierre-Alain Reynier

Available identifiers

zbMath Open reynier.pierre-alainMaRDI QIDQ1622949

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6124934	2024-04-10	Paper
Robust controller synthesis in timed Büchi automata: a symbolic approach	2024-02-16	Paper
Optimal controller synthesis for timed systems	2023-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q5875385	2023-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q5101342	2022-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q5090965	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5092330	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5089292	2022-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q4994131	2021-06-17	Paper
Copyful Streaming String Transducers	2021-05-21	Paper
Optimal and robust controller synthesis. Using energy timed automata with uncertainty	2021-05-04	Paper
From Two-Way Transducers to Regular Function Expressions	2021-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q5856426	2021-03-26	Paper
Optimal and robust controller synthesis using energy timed automata with uncertainty	2021-03-04	Paper
On computability of data word functions defined by transducers	2020-09-23	Paper
On the computation of the minimal coverability set of Petri nets	2019-10-22	Paper
https://portal.mardi4nfdi.de/entity/Q5376652	2019-05-17	Paper
From two-way transducers to regular function expressions	2018-11-22	Paper
Aperiodic String Transducers	2018-09-20	Paper
Visibly pushdown transducers	2018-09-07	Paper
Decision problems of tree transducers with origin	2018-06-14	Paper
Two-Way Visibly Pushdown Automata and Transducers	2018-04-23	Paper
A Generalised Twinning Property for Minimisation of Cost Register Automata	2018-04-23	Paper
Copyful streaming string transducers	2017-12-20	Paper
From Two-Way to One-Way Finite State Transducers	2017-07-03	Paper
Optimal Reachability in Divergent Weighted Timed Games	2017-05-19	Paper
Degree of Sequentiality of Weighted Automata	2017-05-19	Paper
Robustness of Time Petri Nets under Guard Enlargement	2017-03-16	Paper
Aperiodic String Transducers	2016-08-30	Paper
Visibly Pushdown Transducers with Well-Nested Outputs	2016-06-23	Paper
Decision Problems of Tree Transducers with Origin	2015-11-04	Paper
Trimming visibly pushdown automata	2015-05-18	Paper
Visibly Pushdown Transducers with Well-Nested Outputs	2014-10-14	Paper
Probabilistic Robust Timed Games	2014-09-15	Paper
On characteristic formulae for Event-Recording Automata	2013-08-13	Paper
Robust Controller Synthesis in Timed Automata	2013-08-12	Paper
Trimming Visibly Pushdown Automata	2013-08-07	Paper
Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning	2013-04-18	Paper
Robustness of Time Petri Nets under Guard Enlargement	2013-01-07	Paper
Controllers with Minimal Observation Power (Application to Timed Systems)	2012-11-21	Paper
Visibly Pushdown Automata with Multiplicities: Finiteness and K-Boundedness	2012-11-02	Paper
https://portal.mardi4nfdi.de/entity/Q2911634	2012-08-31	Paper
A Hierarchical Approach for the Synthesis of Stabilizing Controllers for Hybrid Systems	2011-10-07	Paper
Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning	2011-06-29	Paper
Quantitative Robustness Analysis of Flat Timed Automata	2011-05-19	Paper
Properties of Visibly Pushdown Transducers	2010-09-03	Paper
Weak Time Petri Nets Strike Back!	2009-10-22	Paper
Undecidability Results for Timed Automata with Silent Transitions	2009-06-30	Paper
Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study	2009-04-30	Paper
Robust Model-Checking of Linear-Time Properties in Timed Automata	2008-09-18	Paper
Timed Unfoldings for Networks of Timed Automata	2008-09-04	Paper
Robust Analysis of Timed Automata Via Channel Machines	2008-04-11	Paper
Timed Petri nets and timed automata: On the discriminating power of Zeno sequences	2008-03-11	Paper
Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences	2007-09-11	Paper
Formal Modeling and Analysis of Timed Systems	2006-11-14	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pierre-Alain Reynier