Searched for: subject%3A%22Formal%255C+Methods%22
(1 - 17 of 17)
document
ten Voorde, Maarten (author)
The use of machine learning (ML), especially neural networks, in modeling control systems has shown promise, particularly for systems with complex physics. However, applying these models in safety-critical areas requires reliable verification and control synthesis methods due to their inherent complexity. Formal methods, using stochastic finite...
master thesis 2024
document
Augusto da Silva, F. (author)
In recent years, advances in technology have enabled the employment of automated systems to control driving tasks. The idea of electronic devices having complete control over a vehicle promises to change the concept of mobility soon. However, allowing computers to control all the tasks in a vehicle demands sophisticated systems and significant...
doctoral thesis 2022
document
de Albuquerque Gleizer, G. (author)
Event-triggered control (ETC) and self-triggered control (STC) are sample-and-hold control paradigms in which sensor data is only updated to the controller when necessary, often aperiodically, in contrast to the well-established periodic sampling paradigm. In ETC, a state-dependent event triggers a transmission, while in STC the controller...
doctoral thesis 2022
document
Bagbaba, Ahmet Cagri (author), Augusto da Silva, F. (author), Sonza Reorda, Matteo (author), Hamdioui, S. (author), Jenihhin, Maksim (author), Sauer, Christian (author)
ISO 26262 requires classifying random hardware faults based on their effects (safe, detected, or undetected) within integrated circuits used in automobiles. In general, this classification is addressed using expert judgment and a combination of tools. However, the growth of integrated circuit complexity creates a huge fault space; hence, this...
journal article 2022
document
Adams, S.J.L. (author), Lahijanian, Morteza (author), Laurenti, L. (author)
Neural networks (NNs) are emerging as powerful tools to represent the dynamics of control systems with complicated physics or black-box components. Due to complexity of NNs, however, existing methods are unable to synthesize complex behaviors with guarantees for NN dynamic models (NNDMs). This letter introduces a control synthesis framework for...
journal article 2022
document
de Albuquerque Gleizer, G. (author), Mazo, M. (author)
This paper addresses the problem of modeling and scheduling the transmissions generated by multiple event-triggered control (ETC) loops sharing a network. We present a method to build a finite-state similar model of the traffic generated by periodic ETC (PETC), which by construction mitigates the combinatorial explosion that is typical of...
journal article 2020
document
Augusto da Silva, F. (author), Bagbaba, Ahmet Cagri (author), Hamdioui, S. (author), Sauer, Christian (author)
The development of Integrated Circuits for the Automotive sector imposes on complex challenges. ISO26262 Functional Safety requirements entail extensive Fault Injection campaigns and complex analysis for the evaluation of deployed Software Tools. This paper proposes a methodology to improve Fault Analysis Tools Confidence Level (TCL) by...
conference paper 2020
document
Augusto da Silva, F. (author), Bagbaba, Ahmet Cagri (author), Sartoni, Sandro (author), Cantoro, Riccardo (author), Reorda, Matteo Sonza (author), Hamdioui, S. (author), Sauer, Christian (author)
The development of Integrated Circuits for the Automotive sector imposes on major challenges. ISO26262 compliance, as part of this process, entails complex analysis for the evaluation of potential random hardware faults. This paper proposes a systematic approach to identify faults that do not disrupt safety-critical functionalities and...
conference paper 2020
document
Augusto da Silva, F. (author), Bagbaba, Ahmet Cagri (author), Hamdioui, S. (author), Sauer, Christian (author)
Tolerance to random hardware failures, required by ISO26262, entails accurate design behavior analysis, complex Verification Environments and expensive Fault Injection campaigns. This paper proposes a methodology combining the strengths of Automatic Test Pattern Generators (ATPG), Formal Methods and Fault Injection Simulation to decrease the...
conference paper 2019
document
Tielman, M.L. (author), Jonker, C.M. (author), van Riemsdijk, M.B. (author)
Personal technology such as electronic partners (e-partners) play an increasing role in our daily lives, and can make an important difference by supporting us in various ways. However, when they offer this support, it is important that they do so with an understanding of our choices and what is important to us. To allow an e-partner to...
conference paper 2019
document
Fu, A. (author), Mazo, M. (author)
Periodic event-triggered control (PETC) [13] is a version of event-triggered control that only requires the measurement of the plant output periodically instead of continuously. In this note, we present a construction of timing models for these PETC implementations to capture the dynamics of the traffic they generate. In the construction, we...
journal article 2019
document
Verdier, C.F. (author), Mazo, M. (author)
This paper presents an automatic controller synthesis method for nonlinear systems with reachability and safety specifications. The proposed method consists of genetic programming in combination with an SMT solver, which are used to synthesize both a control Lyapunov function and the modes of a switched state feedback controller. The...
journal article 2017
document
Alonso-Mora, J. (author), DeCastro, Jonathan A. (author), Raman, Vasumathi (author), Rus, Daniela (author), Kress-Gazit, Hadas (author)
In the near future mobile robots, such as personal robots or mobile manipulators, will share the workspace with other robots and humans. We present a method for mission and motion planning that applies to small teams of robots performing a task in an environment with moving obstacles, such as humans. Given a mission specification written in...
journal article 2017
document
Kekatos, N. (author)
master thesis 2015
document
Dahlan, B. (author)
This thesis presents a method to semi-automate the reasoning about network bounds, namely the backlog and delay. Network Calculus offers a rich theory for modeling network elements. Using the modeling techniques of network calculus, network elements are represented by discrete-time systems whose dynamics are linear in min-plus algebra. From the...
master thesis 2013
document
Dos Santos Soares, M. (author)
In the research that led to this thesis a multi-disciplinary approach, combining Traffic Engineering and Software Engineering, was used. Traffic engineers come up with new control strategies and algorithms for improving traffic. Once new solutions are defined from a Traffic Engineering point of view, there is the problem of obtaining operational...
doctoral thesis 2010
document
Nami, M.R. (author), Sharifi, M. (author), Malekpour, A. (author)
Recently, several flavors of Formal Methods (FMs) have been gaining industrial acceptance and production quality software tools have begun emerging. Domain Engineering (DE) has been introduced as one of outstanding ideas in software development. It serves form al methods that provide a rigorous, mathematical based framework (domain model) for...
conference paper 2007
Searched for: subject%3A%22Formal%255C+Methods%22
(1 - 17 of 17)