The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In a future distribution network, it is difficult to maintain system voltage because a large number of distributed generators are introduced to the system. The authors have proposed an autonomous decentralized voltage control method using power factor control of distributed generators and multiagent technology. In our previous work, the proposed method works efficiently and the voltage profile is...
This paper proposes a simple 1 DOF rotational haptic display that achieves endless sharpening of a pencil. Many haptic applications have been proposed to present shapes, elasticity, viscosity, and other physical properties of the environment. While these are important to support many tasks such as teleoperation and computer aided design, we focus on the use of haptic display for amusement. We paid...
In this paper, we present a formal equivalence checking method for source-to-source refinements in C-based high-level hardware design descriptions. The method is based on word-level symbolic simulation, where variables and operators in designs are treated as uninterpreted symbols. In addition, we introduce a more efficient method utilizing the difference between two designs under verification. It...
Modular component-based robot systems require not only an infrastructure for component management, but also scalability as well as real-time properties. Robot technology (RT)-middleware is a software platform for such component-based robot systems. Each component in the RT-Middleware, so-called "RT-component'' supporting particular robot functions, is based on common object request broker architecture...
C-based hardware designs are now accepted as means to increase design productivity. Starting with rather algorithmic design descriptions, incremental refinements are applied to generate high level synthesizable descriptions which are further processed by high-level and logic synthesis tools. C-based system level design descriptions, such as in SpecC and SystemC, can give concise and global views on...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.