Zobrazeno 1 - 10
of 32
pro vyhledávání: '"Pierre-Jean Meyer"'
Autor:
Pierre-Jean Meyer
Publikováno v:
IEEE Control Systems Letters. 6:3068-3073
This paper presents a new reachability analysis approach to compute interval over-approximations of the output set of feedforward neural networks with input uncertainty. We adapt to neural networks an existing mixed-monotonicity method for the reacha
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031148613
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::feae640ecbe57929c5a11cec1d3a5c89
https://doi.org/10.1007/978-3-031-14862-0_24
https://doi.org/10.1007/978-3-031-14862-0_24
Publikováno v:
7th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2021
7th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2021, Jul 2021, Bruxelles, Belgium. pp121-126, ⟨10.1016/j.ifacol.2021.08.485⟩
ADHS
7th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2021, Jul 2021, Bruxelles, Belgium. pp121-126, ⟨10.1016/j.ifacol.2021.08.485⟩
ADHS
7th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2021, Bruxelles, BELGIQUE, 07-/07/2021 - 09/07/2021; In this paper, we introduce a hybridization-based feedback control synthesis method for potentially unstable nonlinear continuous-t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0f16d97f106faef42a64e3002edc7368
https://hal.archives-ouvertes.fr/hal-03379691
https://hal.archives-ouvertes.fr/hal-03379691
Publikováno v:
SpringerBriefs in Electrical and Computer Engineering ISBN: 9783030651091
This chapter considers methods that compute reachable set approximations by evaluating the successor function on a finite set of sample points. Such sampling-based methods can work under mild system assumptions for both continuous-time and discrete-t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::00f4ca0b5f0ef8595b5f12b60ca1f31c
https://doi.org/10.1007/978-3-030-65110-7_7
https://doi.org/10.1007/978-3-030-65110-7_7
Publikováno v:
SpringerBriefs in Electrical and Computer Engineering ISBN: 9783030651091
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::55c158fc13238ace987230338be0158e
https://doi.org/10.1007/978-3-030-65110-7_1
https://doi.org/10.1007/978-3-030-65110-7_1
Publikováno v:
SpringerBriefs in Electrical and Computer Engineering ISBN: 9783030651091
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fb640ad4217174cfde1fa54231347491
https://doi.org/10.1007/978-3-030-65110-7_6
https://doi.org/10.1007/978-3-030-65110-7_6
Publikováno v:
SpringerBriefs in Electrical and Computer Engineering ISBN: 9783030651091
This chapter applies interval reachability analysis to the problem of evaluating the robustness of a system against the effects of uncertain parameters. Specifically, we consider the volume of an interval reachable set as a continuous performance mea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6d02151b99d454212fac473744e582dd
https://doi.org/10.1007/978-3-030-65110-7_9
https://doi.org/10.1007/978-3-030-65110-7_9
Publikováno v:
SpringerBriefs in Electrical and Computer Engineering ISBN: 9783030651091
In this chapter, we use reachability analysis to address the problem of verifying safety (to avoid a given set of unsafe states) and reachability specifications (to reach a given target set in finite time). A reachability specification is verified by
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::de47d19baaa3152b4b3cbd7f0b39b1e8
https://doi.org/10.1007/978-3-030-65110-7_8
https://doi.org/10.1007/978-3-030-65110-7_8
Publikováno v:
SpringerBriefs in Electrical and Computer Engineering ISBN: 9783030651091
ion-based control synthesis is a three-step process to solve a control problem for continuous-state system (difference equation or differential equation), by first abstracting this system into a finite transition system, solving the control problem o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f27148eb41101bf99dfbc40a24fa9729
https://doi.org/10.1007/978-3-030-65110-7_10
https://doi.org/10.1007/978-3-030-65110-7_10
Publikováno v:
SpringerBriefs in Electrical and Computer Engineering ISBN: 9783030651091
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::78a82d51209e2587021ea46abbe78b74
https://doi.org/10.1007/978-3-030-65110-7_3
https://doi.org/10.1007/978-3-030-65110-7_3