- document
-
Ibrahim, A. (author), Goswami, D. (author), Li, H. (author), Basten, T. (author)Vehicle platooning is an enabler technology for increasing road capacity, improving safety and reducing fuel consumption. Platoon control is a two-layered system where each layer runs under a different communication standard and rate - (i) the upper-layer operates under a specific V2V communication standard such as IEEE 802.11p and (ii) the...article 2022
- document
-
Detterer, P. (author), Nabi, M. (author), Jiao, H. (author), Basten, T. (author)The energy efficiency of an Internet of Things (IoT) receiver can be improved by introducing an adjustable tradeoff between signal quality and energy consumption. In good channel conditions, the receiver can be set to consume less energy per bit, without compromising signal quality in bad channel conditions. We propose a system-level receiver...article 2022
- document
-
van der Sanden, B. (author), Geilen, M. (author), Reniers, M. (author), Basten, T. (author)A key challenge in the synthesis and subsequent analysis of supervisory controllers is the impact of state-space explosion caused by concurrency. The main bottleneck is often the memory needed to store the composition of plant and requirement automata and the resulting supervisor. Partial-order reduction (POR) is a well-established technique...article 2022
- document
-
Ibrahim, A. (author), Goswami, D. (author), Li, H. (author), Soroa, I.M. (author), Basten, T. (author)Vehicle platooning has gained attention for its potential to increase road capacity and safety, and higher fuel efficiency. Platoon controls are implemented over Vehicle-to-Vehicle (V2V) wireless communication, in-vehicle networks and Electronic Control Units (ECUs). V2V communication has a low message rate imposed by the V2V standard compared...article 2021
- document
-
van der Sanden, B. (author), Geilen, M. (author), Reniers, M. (author), Basten, T. (author)One of the main challenges in the synthesis and analysis of supervisory controllers is the impact of state-space explosion caused by concurrency. The main bottleneck is often the memory needed to store the composition of plant and requirement automata and the resulting supervisor. Partial-order reduction is a well-established technique in the...conference paper 2021
- document
-
Sioutas, S. (author), Stuijk, S. (author), Basten, T. (author), Somers, L. (author), Corporaal, H. (author)Tensor Cores (TCUs) are specialized units first introduced by NVIDIA in the Volta microarchitecture in order to accelerate matrix multiplications for deep learning and linear algebra workloads. While these units have proved to be capable of providing significant speedups for specific applications, their programmability remains difficult for the...conference paper 2020
- document
- Mohamed, S. (author), Goswami, D. (author), Nathan, V. (author), Rajappa, R. (author), Basten, T. (author) article 2020
- document
- Basten, T. (author), Bastos, J. (author), Medina, R. (author), van der Sanden, B. (author), Geilen, M.C.W. (author), Goswami, D. (author), Reniers, M.A. (author), Stuijk, S. (author), Voeten, J.P.M. (author) bookPart 2020
- document
- Geilen, M.C.W. (author), Skelin, M. (author), van Kampenhout, J.R. (author), Ara, H.A. (author), Basten, T. (author), Stuijk, S. (author), Goossens, K.G.W. (author) bookPart 2020
- document
- Catthoor, F. (author), Basten, T. (author), Zompakis, N. (author), Geilen, M.C.W. (author), Kjeldsberg, P.G. (author) book 2020
- document
-
Jonk, R. (author), Voeten, J. (author), Geilen, M. (author), Basten, T. (author), Schiffelers, R. (author)We introduce a technique to verify temporal properties expressed in MTL on Interval Message Sequence Charts (IMSC), a model based on UML2.0 MSC that captures the timed execution of component-based software systems. We accomplish this by encoding the IMSC and the property of interest in a constraint satisfaction problem, which is then solved with...conference paper 2020
- document
-
Elahi, H. (author), Geilen, M. (author), Basten, T. (author)The timing of discrete-event systems with synchronization is naturally modeled with canonical multi-rate max-plus linear equations. The main objectives of these models are to analyze and control the systems. As a system becomes more complex, determining its canonical model becomes more complicated. Moreover, these systems may change over time...conference paper 2020
- document
-
Sanchez, R.M. (author), Nikkhah, S.T. (author), Goswami, D. (author), Heemels, W. (author), Stuijk, S. (author), Basten, T. (author)Pipelining is a promising technique to deal with long delays in control loops, for instance due to intensive data processing. Reconfigurable pipelined control (RPC) is of particular interest, as it has an improved performance compared to a static configuration. We present design and implementation techniques for RPC systems.article 2020
- document
-
Behrouzian, A.R.B. (author), Goswami, D. (author), Basten, T. (author), Geilen, M. (author), Alizadeh Ara, H. (author), Hendriks, M. (author)(m, k)-firm real-time tasks require meeting the deadline of at least m jobs out of any k consecutive jobs. When compared to hard real-time tasks, (m, k)-firm tasks open up the possibility of tighter resource-dimensioning in implementations. Firmness analysis verifies the satisfaction of (m, k)-firmness conditions. Scheduling policies under which...conference paper 2020
- document
-
vanden Berg, F. (author), Camra, V. (author), Hendriks, M. (author), Geilen, M. (author), Hnetynka, P. (author), Manteca, F. (author), Sanchez, P. (author), Bures, T. (author), Basten, T. (author)Cyber-physical systems (CPS) are complex, heterogeneous, and dynamic systems, spanning hardware and software components ranging from edge devices to cloud platforms. CPS need to satisfy many rigorous constraints, e.g., with respect to deadlines, safety, and quality, yielding a large configuration space where only a limited number of...conference paper 2020
- document
-
Sioutas, S. (author), Stuijk, S. (author), Basten, T. (author), Corporaal, H. (author), Somers, L. (author)The Halide DSL and compiler have enabled high-performance code generation for image processing pipelines targeting heterogeneous architectures through the separation of algorithmic description and optimization schedule. However, automatic schedule generation is currently only possible for multi-core CPU architectures. As a result, expert...conference paper 2020
- document
-
Medina, R. (author), Valencia, J. (author), Stuijk, S. (author), Goswami, D. (author), Basten, T. (author)Pipelined image-based control uses parallel instances of its image-processing algorithm in a pipelined fashion to improve the quality of control. A performance-oriented control design improves the controller settling time with each additional processing resource, which creates a resources-performance trade-off. In real-life applications, it is...article 2019
- document
-
Mohamed, S. (author), De, S. (author), Bimpisidis, K. (author), Nathan, V. (author), Goswami, D. (author), Corporaal, H. (author), Basten, T. (author)Image Processing (IP) applications have become popular with the advent of efficient algorithms and low-cost CMOS cameras with high resolution. However, IP applications are compute-intensive, consume a lot of energy and have long processing times. Image approximation has been proposed by recent works for an energy-efficient design of these...conference paper 2019
- document
-
Tavakoli, R. (author), Nabi, M. (author), Basten, T. (author), Goossens, K. (author)Wireless sensor networks (WSNs) are considered as a promising solution in intravehicle networking to reduce wiring and production costs. This application requires reliable and real-time data delivery, while the network is very dense. The time-slotted channel hopping (TSCH) mode of the IEEE 802.15.4 standard provides a reliable solution for low...article 2019
- document
-
Catthoor, F. (author), Basten, T. (author), Zompakis, N. (author), Geilen, M.C.W. (author), Kjeldsberg, P.G. (author)The focus of this book is on the principles and the use of the system scenario approach. This concept effectively supports the efficient realization of systems in the presence of strong dynamic behavior. The efficiency can be obtained in a multi-dimensional cost space. Realizations can involve the mapping of applications on some type of...bookPart 2019