Searched for: subject%3A%22Formalization%22
(1 - 20 of 104)

Pages

document
Touloujian, Hovsep (author)
Rechargeable Lithium(Li)-Ion Batteries are a ubiquitous element of modern technology, as they pertain to efficient and sustainable energy storage for Electric Vehicles (EVs), as well as wind and solar farms. In the last decades, the production and design of such batteries and their adjacent embedded control, charging, and safety protocols,...
master thesis 2024
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
van der Weide, N.J. (author), Rasekh, Nima (author), Ahrens, B.P. (author), North, P.R. (author)
Category theory is a branch of mathematics that provides a formal framework for understanding the relationship between mathematical structures. To this end, a category not only incorporates the data of the desired objects, but also "morphisms", which capture how different objects interact with each other. Category theory has found many...
conference paper 2024
document
Wijntjes, M.W.A. (author), van Middelkoop, C. (author)
We present a framework that connects ideas from the visual arts and visual perception. It adapts two existing frameworks for the analysis of form and content so that it can be used in an educational context for teaching perception through visual arts. The basis is the formal analysis of texture, colour, light, space, and material. This...
journal article 2024
document
Grande, Davide (author), Peruffo, A. (author), Salavasidis, Georgios (author), Anderlini, Enrico (author), Fenucci, Davide (author), Phillips, Alexander B. (author), Kosmatopoulos, Elias B. (author), Thomas, Giles (author)
Closed-loop stability of control systems can be undermined by actuator faults. Redundant actuator sets and Fault-Tolerant Control (FTC) strategies can be exploited to enhance system resiliency to loss of actuator efficiency, complete failures or jamming. Passive FTC methods entail designing a fixed-gain control law that can preserve the...
journal article 2024
document
Zeru, Feven Gebeyehu (author)
The Master's thesis "A Spatial Dialogue in the emerging city of Addis Ababa" explores the intricate dynamics between formal and informal housing in Addis Ababa, Ethiopia. Authored by a German-Ethiopian architectural designer, the thesis critically examines the oversimplified categorization of traditional "sefer" settlements and modern...
master thesis 2023
document
Holten, Lucas (author)
Writing software that follows its specification is important for many applications. One approach to guarantee this is formal verification in a dependently-typed programming language. Formal verification in these dependently-typed languages is based on proof writing. Sadly, while proofs are easy to check for computers, writing proofs can be...
master thesis 2023
document
Kloppenburg, Jeroen (author)
The behaviour of software is intrinsically linked to the hardware it runs on. As hardware innovations continuously change the landscape of computing, software has to adapt to these changes. Running legacy software on new hardware requires either the old hardware to be emulated, or a very time-consuming and error-prone process of reverse...
master thesis 2023
document
Jóźwik, Michał (author)
When designing critical software, great care must be taken to guarantee its correctness. Refactoring is one of the techniques used to improve code readability, maintainability, and other factors without changing functionality. Thus, to ensure that it is properly applied, automated tools are used to perform refactoring. To ensure that the code...
bachelor thesis 2023
document
Padilla Cancio, José (author)
This paper concerns itself with correct by construction refactoring of Maybe values to List values in a Haskell-like language (HLL) as a case study on data-oriented refactorings. Our language makes use of intrinsically-typed syntax and de Bruijn indices for variables. Operational semantics are defined using big step semantics. We define a...
bachelor thesis 2023
document
Juhošová, Sára (author)
Formal verification is a powerful tool for ensuring program correctness but is often hard to learn to use and has not yet spread into the commercial world. This thesis focuses on finding an easy-to-use solution to make formal verification available in popular programming language ecosystems. We propose a solution where users can write code in an...
master thesis 2023
document
Antonopoulos, Tasos (author)
Navi Mumbai is a city designed to diffuse the overpopulation problem of Mumbai. However, there were villages in the area that developed informally alongside the formal city. These villages present several problems such as inadequate housing, identity loss, lack of infrastructure, lack of public space, overcrowding and crammed streets. There are...
master thesis 2023
document
Namwanje, Priscilla (author), Muñoz Sanz, V. (author), Rocco, Roberto (author)
This article explores the use of the pattern language approach in bridging the gap between formal and informal urban planning practices in the African context. This study focuses on a case application within the urbanised region encompassing the Nakivubo wetland located in Kampala, Uganda. As in other cities in Africa with a colonial past,...
journal article 2023
document
Gracia, Ibon (author), Boskos, D. (author), Laurenti, L. (author), Mazo, M. (author)
We present a novel framework for formal control of uncertain discrete-time switched stochastic systems against probabilistic reach-avoid specifications. In particular, we consider stochastic systems with additive noise, whose distribution lies in an ambiguity set of distributions that are ε−close to a nominal one according to the Wasserstein...
conference paper 2023
document
Scholz, G. (author), Wijermans, Nanda (author), Paolillo, Rocco (author), Neumann, Martin (author), Masson, Torsten (author), Chappin, E.J.L. (author), Templeton, Anne (author), Kocheril, Geo (author)
Simulating collective decision-making and behaviour is at the heart of many agent-based models (ABMs). However, the representation of social context and its influence on an agent’s behaviour remains challenging. Here, the Social Identity Approach (SIA) from social psychology, offers a promising explanation, as it describes how people behave...
journal article 2023
document
Gracia Merino, Ibón (author)
There is growing interest to control cyber-physical systems under complex specifications while retaining formal performance guarantees. In this thesis we present a framework for formal control of uncertain systems under complex specifications. We consider dynamical systems with random disturbances, whose probability distribution is unknown. When...
master thesis 2022
document
Miaskiwskyi, L.T. (author)
The subject of this thesis is twofold: The first part is the study of local-to-global principles for the continuous Lie algebra (co-)homology of certain infinite-dimensional Lie algebras of geometric origin, specifically, Gelfand-Fuks cohomology and continuous cohomology of gauge algebras. It includes both an exposition to classical results of...
doctoral thesis 2022
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 Haas, Olav (author)
Formal verification of imperative programs can be carried out on paper by annotating programs to obtain an outline of a proof in the style of Hoare. This process has been mechanized by the introduction of Separation Logic and computer assisted verification tools. However, the tools fail to achieve the readability and convenience of manual paper...
master 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
Searched for: subject%3A%22Formalization%22
(1 - 20 of 104)

Pages