Results 11 to 20 of about 68,235 (306)
Abstract Interpretation of Microcontroller Code: Intervals meet Congruences [PDF]
, 2013 Bitwise instructions, loops and indirect data access present challenges to the verification of microcontroller programs. In particular, since registers are often memory mapped, it is necessary to show that an indirect store operation does not accidently ...
Brauer, Jorg +2 more
core +1 more source
Embedded Model Predictive Control for Enhancing Tracking Performance of a Ball-and-Plate System
IEEE Access, 2019 Implementing model predictive control (MPC) on a limited-performance microcontroller has always been a great challenge. In this paper, we propose an MPC implementation method that can run on a microcontroller by improving the calculation efficiency and ...
Heeseung Bang, Young Sam Lee
doaj +1 more source
Hybrid scheduling approach for concurrent task execution on microcontroller-based systems [PDF]
Revista Română de Informatică și AutomaticăMicrocontrollers are low-power, energy-efficient integrated circuits that contain a processor, memory, storage, and input/output peripherals in an all-in-one package.
Nuru DASHDAMIRLI
doaj +1 more source
DESAIN KONTROL ROBOT MANIPULATOR KAPASITAS 1.25 kgf
Rekayasa Mesin, 2022 A robotic manipulator is one type of popular industrial robot which has a shape and movement that resemble a human arm. Robotic Manipulator mainly consists of a base, arm, gripper, and control system.
Sirojuddin Sirojuddin +3 more
doaj +1 more source
Range Analysis of Microcontroller Code Using Bit-Level Congruences: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings [PDF]
, 2010 Verifying the correctness of microcontroller programs in presence of bitwise instructions, loops, and indirect data access poses difficult challenges.
Andy King +5 more
core +1 more source
Electrical engineering & Electromechanics, 2023 Introduction. Static converters are among the most widely used equipment in several applications, for example, electric power transmission, motor speed variation, photovoltaic panels, which constitute the electronic components.
S. Bechekir +5 more
doaj +1 more source
A Multi-One Instruction Set Computer for Microcontroller Applications
IEEE Access, 2021 This work presents a simple integer-only instruction set architecture and microarchitecture derived from One Instruction Set Computers (OISCs) and embedding multiple execution modes ( ${m}$ OISC), capable of running at a reasonable performance level to ...
Marco Crepaldi +2 more
doaj +1 more source
Higher-order concurrency for microcontrollers [PDF]
Proceedings of the 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2021 Programming microcontrollers involves low-level interfacing with hardware and peripherals that are concurrent and reactive. Such programs are typically written in a mixture of C and assembly using concurrent language extensions (like $\texttt{FreeRTOS tasks}$ and $\texttt{semaphores}$), resulting in unsafe, callback-driven, error-prone and difficult-to-
Abhiroop Sarkar +3 more
openaire +2 more sources
SOFTWARE DEVELOPMENT FOR SMART HOME PROCESS CONTROL
Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska, 2020 Here we make an overview of the main stages of software development for server management system of "smart" building with a central controller via a mobile device. We have developed our own version of the concept.
Vitalii Kopeliuk +2 more
doaj +1 more source
Artificial intelligence-controlled pole balancing using an Arduino board
Revista Tecnológica, 2021 Automation Process (AP) is an important issue in the current digitized world and, in general, represents an increase in the quality of productivity when compared with manual control.
José Luis Revelo Orellana, Oscar Chang
doaj +1 more source