| 1. |
- Abele, H., et al.
(författare)
-
Particle physics at the European Spallation Source
- 2023
-
Ingår i: Physics reports. - : Elsevier. - 0370-1573 .- 1873-6270. ; 1023, s. 1-84
-
Forskningsöversikt (refereegranskat)abstract
- Presently under construction in Lund, Sweden, the European Spallation Source (ESS) will be the world’s brightest neutron source. As such, it has the potential for a particle physics program with a unique reach and which is complementary to that available at other facilities. This paper describes proposed particle physics activities for the ESS. These encompass the exploitation of both the neutrons and neutrinos produced at the ESS for high precision (sensitivity) measurements (searches).
|
|
| 2. |
|
|
| 3. |
|
|
| 4. |
- Abbafati, Cristiana, et al.
(författare)
-
- 2020
-
Tidskriftsartikel (refereegranskat)
|
|
| 5. |
|
|
| 6. |
- Aeddula, Omsri, 1993-, et al.
(författare)
-
AI-Driven Predictive Maintenance for Autonomous Vehicles for Product-Service System Development
- 2024
-
Konferensbidrag (refereegranskat)abstract
- The paper presents an Artificial Intelligence-driven approach to predictive maintenance for Product-Service System (PSS) development. This study focuses on time-based and condition-based maintenance, leveraging variational autoencoders to identify both predicted and unpredicted maintenance issues in autonomous haulers. By analyzing data patterns and forecasting future values, this approach enables proactive maintenance and informed decision-making in the early stages of PSS development. The inclusion of interaction terms enhances the model’s ability to capture the interdependencies among system components, addressing hidden failure modes. Comprehensive evaluations demonstrate the effectiveness and robustness of the developed models, showcasing resilience to noise and variations in operational data. The integration of predictive maintenance with PSS development offers a strategic advantage, providing insights into vehicle performance early in the development phases. This empowers decision-makers for efficient resource allocation and proactive maintenance planning. The research highlights the limitations and potential areas of improvement while also emphasizing the practical applicability and significance of the developed models in enhancing PSS development.
|
|
| 7. |
- Alanwar, Amr, et al.
(författare)
-
Data-Driven Reachability Analysis From Noisy Data
- 2023
-
Ingår i: IEEE Transactions on Automatic Control. - : Institute of Electrical and Electronics Engineers (IEEE). - 0018-9286 .- 1558-2523. ; 68:5, s. 3054-3069
-
Tidskriftsartikel (refereegranskat)abstract
- We consider the problem of computing reachable sets directly from noisy data without a given system model. Several reachability algorithms are presented for different types of systems generating the data. First, an algorithm for computing over-approximated reachable sets based on matrix zonotopes is proposed for linear systems. Constrained matrix zonotopes are introduced to provide less conservative reachable sets at the cost of increased computational expenses and utilized to incorporate prior knowledge about the unknown system model. Then we extend the approach to polynomial systems and, under the assumption of Lipschitz continuity, to nonlinear systems. Theoretical guarantees are given for these algorithms in that they give a proper over-approximate reachable set containing the true reachable set. Multiple numerical examples and real experiments show the applicability of the introduced algorithms, and comparisons are made between algorithms.
|
|
| 8. |
- Alanwar, Amr, et al.
(författare)
-
Data-Driven Reachability Analysis Using Matrix Zonotopes
- 2021
-
Ingår i: Proceedings of the 3rd Conference on Learning for Dynamics and Control, L4DC 2021. - : ML Research Press. ; , s. 163-175
-
Konferensbidrag (refereegranskat)abstract
- In this paper, we propose a data-driven reachability analysis approach for unknown system dynamics. Reachability analysis is an essential tool for guaranteeing safety properties. However, most current reachability analysis heavily relies on the existence of a suitable system model, which is often not directly available in practice. We instead propose a data-driven reachability analysis approach from noisy data. More specifically, we first provide an algorithm for over-approximating the reachable set of a linear time-invariant system using matrix zonotopes. Then we introduce an extension for Lipschitz nonlinear systems. We provide theoretical guarantees in both cases. Numerical examples show the potential and applicability of the introduced methods.
|
|
| 9. |
- Alanwar, Amr, et al.
(författare)
-
Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information
- 2022
-
Ingår i: Proceedings. - : Institute of Electrical and Electronics Engineers Inc..
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- This paper presents algorithms for performingdata-driven reachability analysis under temporal logic sideinformation. In certain scenarios, the data-driven reachablesets of a robot can be prohibitively conservative due to theinherent noise in the robot’s historical measurement data. Inthe same scenarios, we often have side information about therobot’s expected motion (e.g., limits on how much a robotcan move in a one-time step) that could be useful for furtherspecifying the reachability analysis. In this work, we showthat if we can model this side information using a signaltemporal logic (STL) fragment, we can constrain the datadriven reachability analysis and safely limit the conservatismof the computed reachable sets. Moreover, we provide formalguarantees that, even after incorporating side information, thecomputed reachable sets still properly over-approximate therobot’s future states. Lastly, we empirically validate the practicality of the over-approximation by computing constrained,data-driven reachable sets for the Small-Vehicles-for-Autonomy(SVEA) hardware platform in two driving scenarios.
|
|
| 10. |
- Alanwar, Amr, et al.
(författare)
-
Logical Zonotopes : A Set Representation for the Formal Verification of Boolean Functions
- 2023
-
Ingår i: 2023 62nd IEEE Conference on Decision and Control, CDC 2023. - : Institute of Electrical and Electronics Engineers (IEEE). ; , s. 60-66
-
Konferensbidrag (refereegranskat)abstract
- A logical zonotope, which is a new set representation for binary vectors, is introduced in this paper. A logical zonotope is constructed by XORing a binary vector with a combination of other binary vectors called generators. Such a zonotope can represent up to 2γ binary vectors using only γ generators. It is shown that logical operations over sets of binary vectors can be performed on the zonotopes' generators and, thus, significantly reduce the computational complexity of various logical operations (e.g., XOR, NAND, AND, OR, and semi-tensor products). Similar to traditional zonotopes' role in the formal verification of dynamical systems over real vector spaces, logical zonotopes can efficiently analyze discrete dynamical systems defined over binary vector spaces. We illustrate the approach and its ability to reduce the computational complexity in two use cases: (1) encryption key discovery of a linear feedback shift register and (2) safety verification of a road traffic intersection protocol.
|
|
