Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Peruffo, Andrea
52  Ergebnisse:
Personensuche X
?
1

Fossil 2.0: Formal Certificate Synthesis for the Verificati..:

, In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control,
Edwards, Alec ; Peruffo, Andrea ; Abate, Alessandro - p. 1-10 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

Passive Fault-Tolerant Augmented Neural Lyapunov Control: A..:

Grande, Davide ; Peruffo, Andrea ; Salavasidis, Georgios...
Control Engineering Practice.  148 (2024)  - p. 105935 , 2024
Link: https://doi.org/10.1016/..
 
?
3

Sampling Performance of Periodic Event-Triggered Control Sy..:

Peruffo, Andrea ; Mazo, Manuel
IEEE Transactions on Control of Network Systems.  , 2024
Link: https://doi.org/10.1109/..
 
?
4

Enhancing Data-Driven Stochastic Control via Bundled Interv..:

Coppola, Rudi ; Peruffo, Andrea ; Romao, Licio..
IEEE Control Systems Letters.  , 2024
Link: https://doi.org/10.1109/..
 
?
5

Poster: Convex Scenario Optimisation for ReLU Networks:

, In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control,
Peruffo, Andrea ; Mazo Jr., Manuel - p. 1-2 , 2023
Link: https://dl.acm.org/doi/1..
 
?
6

Augmented Neural Lyapunov Control:

Grande, Davide ; Peruffo, Andrea ; Anderlini, Enrico.
IEEE Access.  11 (2023)  - p. 67979-67986 , 2023
Link: https://doi.org/10.1109/..
 
?
7

Systematic Synthesis of Passive Fault-Tolerant Augmented Ne..:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),
Grande, Davide ; Fenucci, Davide ; Peruffo, Andrea... - p. 5851-5856 , 2023
Link: https://doi.org/10.1109/..
 
?
8

Data-driven Abstractions for Verification of Linear Systems:

Coppola, Rudi ; Peruffo, Andrea ; Mazo, Manuel
IEEE Control Systems Letters.  , 2023
Link: https://doi.org/10.1109/..
 
?
9

Model-Based Formal Reliability Analysis of Grid Dynamics wi..:

, In: Lecture Notes in Control and Information Sciences - Proceedings; 15th European Workshop on Advanced Control and Diagnosis (ACD 2019),
Peruffo, Andrea ; Guiu, Emeline ; Panciatici, Patrick. - p. 1117-1138 , 2022
Link: https://doi.org/10.1007/..
 
?
10

Formal Abstraction and Synthesis of Parametric Stochastic P..:

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,
Peruffo, Andrea ; Abate, Alessandro - p. 135-153 , 2021
Link: https://doi.org/10.1007/..
 
?
11

FOSSIL : a software tool for the formal synthesis of lya..:

, In: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control,
Abate, Alessandro ; Ahmed, Daniele ; Edwards, Alec.. - p. 1-11 , 2021
Link: https://dl.acm.org/doi/1..
 
?
12

Automated and Formal Synthesis of Neural Barrier Certificat..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Peruffo, Andrea ; Ahmed, Daniele ; Abate, Alessandro - p. 370-388 , 2021
Link: https://doi.org/10.1007/..
 
?
13

Automated and Sound Synthesis of Lyapunov Functions with SM..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Ahmed, Daniele ; Peruffo, Andrea ; Abate, Alessandro - p. 97-114 , 2020
Link: https://doi.org/10.1007/..
 
?
14

Safety Guarantees for the Electricity Grid with Significant..:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,
Peruffo, Andrea ; Guiu, Emeline ; Panciatici, Patrick. - p. 332-349 , 2019
Link: https://doi.org/10.1007/..
 
?
15

Akka.js: towards a portable actor runtime environment:

, In: Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control,
Stivan, Gianluca ; Peruffo, Andrea ; Haller, Philipp - p. 57-64 , 2015
Link: https://dl.acm.org/doi/1..
 
1-15