Searched for: author:"Basten, T."
(1 - 20 of 69)

Pages

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
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
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
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
Mohamed, S. (author), Goswami, D. (author), Nathan, V. (author), Rajappa, R. (author), Basten, T. (author)
article 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
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
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
Sioutas, S. (author), Stuijk, S. (author), Waeijen, L. (author), Basten, T. (author), Corporaal, H. (author), Somers, L. (author)
Efficient code generation for image processing applications continues to pose a challenge in a domain where high performance is often necessary to meet real-time constraints. The inherently complex structure found in most image-processing pipelines, the plethora of transformations that can be applied to optimize the performance of an...
article 2019
document
Ibrahim, A. (author), Cicic, M. (author), Goswami, D. (author), Basten, T. (author), Johansson, K.H. (author)
Vehicle platooning has been attracting attention recently because of its ability to improve road capacity, safety and fuel efficiency. Vehicles communicate using Vehicle-to- Vehicle (V2V) wireless communication, making their status (acceleration, position, etc.) available to other vehicles. Shock waves, i.e. zones of reduced traffic speed that...
conference paper 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
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
Ara, H.A. (author), Behrouzian, A. (author), Hendriks, M. (author), Geilen, M. (author), Goswami, D. (author), Basten, T. (author)
Multi-scale dataflow models have actors acting at multiple granularity levels, e.g., a dataflow model of a video processing application with operations on frame, line, and pixel level. The state of the art timing analysis methods for both static and dynamic dataflow types aggregate the behaviours across all granularity levels into one, often...
article 2018
document
Tavakoli, R. (author), Nabi, M. (author), Basten, T. (author), Goossens, K. (author)
IEEE 802.15.4 Time-Slotted Channel Hopping (TSCH) aims to improve communication reliability in Wireless Sensor Networks (WSNs) by reducing the impact of the medium access contention, multipath fading, and blocking of wireless links. While TSCH outperforms single-channel communications, cross-technology interference on the license-free ISM bands...
article 2018
Searched for: author:"Basten, T."
(1 - 20 of 69)

Pages