default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPierre-Jean Meyer
Person information
- affiliation: University Gustave Eiffel, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j7]Fateh Boudardara
, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel:
A Review of Abstraction Methods Toward Verifying Neural Networks. ACM Trans. Embed. Comput. Syst. 23(4): 58:1-58:19 (2024)- 2023
- [i11]Pierre-Jean Meyer:
Reachability Analysis of Neural Networks with Uncertain Parameters. CoRR abs/2303.07917 (2023) - 2022
- [j6]Pierre-Jean Meyer:
Reachability Analysis of Neural Networks Using Mixed Monotonicity. IEEE Control. Syst. Lett. 6: 3068-3073 (2022) - [c9]Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel:
Interval Weight-Based Abstraction for Neural Network Verification. SAFECOMP Workshops 2022: 330-342 - 2021
- [c8]Pouria Tajvar, Pierre-Jean Meyer, Jana Tumova:
Closed-loop incremental stability for efficient symbolic control of non-linear systems. ADHS 2021: 121-126 - [i10]Pierre-Jean Meyer:
Reachability analysis of neural networks using mixed monotonicity. CoRR abs/2111.07683 (2021) - 2020
- [j5]Octavio Narvaez-Aroche, Pierre-Jean Meyer, Stephen Tu, Andrew K. Packard, Murat Arcak:
Robust Control of the Sit-to-Stand Movement for a Powered Lower Limb Orthosis. IEEE Trans. Control. Syst. Technol. 28(6): 2390-2403 (2020)
2010 – 2019
- 2019
- [j4]Pierre-Jean Meyer, Dimos V. Dimarogonas:
Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems. IEEE Trans. Autom. Control. 64(11): 4676-4683 (2019) - [c7]Pierre-Jean Meyer, Alex Devonport, Murat Arcak:
TIRA: toolbox for interval reachability analysis. HSCC 2019: 224-229 - [i9]Pierre-Jean Meyer, Alex Devonport, Murat Arcak:
TIRA: Toolbox for Interval Reachability Analysis. CoRR abs/1902.05204 (2019) - [i8]Pierre-Jean Meyer, He Yin, Astrid H. Brodtkorb, Murat Arcak, Asgeir J. Sørensen:
Continuous and discrete abstractions for planning, applied to ship docking. CoRR abs/1911.09773 (2019) - [i7]Pierre-Jean Meyer, Murat Arcak:
Interval Reachability Analysis using Second-Order Sensitivity. CoRR abs/1911.09775 (2019) - 2018
- [j3]Pierre-Jean Meyer, Samuel Coogan, Murat Arcak:
Sampled-Data Reachability Analysis Using Sensitivity and Mixed-Monotonicity. IEEE Control. Syst. Lett. 2(4): 761-766 (2018) - [j2]Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant:
Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models. IEEE Trans. Autom. Control. 63(6): 1835-1841 (2018) - [i6]Pierre-Jean Meyer, Samuel Coogan, Murat Arcak:
Sampled-data reachability analysis using sensitivity and mixed-monotonicity. CoRR abs/1803.02214 (2018) - [i5]Octavio Narvaez-Aroche, Pierre-Jean Meyer, Murat Arcak, Andrew K. Packard:
Reachability Analysis for Robustness Evaluation of the Sit-To-Stand Movement for Powered Lower Limb Orthoses. CoRR abs/1805.11179 (2018) - [i4]Octavio Narvaez-Aroche, Pierre-Jean Meyer, Stephen Tu, Andrew K. Packard, Murat Arcak:
Robust Control of the Sit-to-Stand Movement for a Powered Lower Limb Orthosis. CoRR abs/1811.07011 (2018) - 2017
- [c6]Pierre-Jean Meyer, Dimos V. Dimarogonas:
Compositional abstraction refinement for control synthesis under lasso-shaped specifications. ACC 2017: 523-528 - [i3]Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant:
Compositional abstraction and safety synthesis using overlapping symbolic models. CoRR abs/1704.07124 (2017) - [i2]Pierre-Jean Meyer, Dimos V. Dimarogonas:
Compositional abstraction refinement for control synthesis. CoRR abs/1712.06013 (2017) - [i1]Pierre-Jean Meyer, Dimos V. Dimarogonas:
Hierarchical decomposition of LTL synthesis problem for mixed-monotone control systems. CoRR abs/1712.06014 (2017) - 2016
- [j1]Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant:
Robust controlled invariance for monotone systems: Application to ventilation regulation in buildings. Autom. 70: 14-20 (2016) - 2015
- [c5]Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant:
Safety control with performance guarantees of cooperative systems using compositional abstractions. ADHS 2015: 317-322 - [c4]Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant:
Symbolic control of monotone systems application to ventilation regulation in buildings. HSCC 2015: 281-282 - 2014
- [c3]Pierre-Jean Meyer, Hosein Nazarpour, Antoine Girard, Emmanuel Witrant:
Experimental implementation of UFAD regulation based on Robust Controlled Invariance. ECC 2014: 1468-1473 - 2013
- [c2]Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant:
Controllability and invariance of monotone systems for robust ventilation automation in buildings. CDC 2013: 1289-1294 - [c1]Pierre-Jean Meyer, Hosein Nazarpour, Antoine Girard, Emmanuel Witrant:
Robust Controlled Invariance for UFAD Regulation. BuildSys@SenSys 2013: 31:1-31:2
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 19:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
