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 Cyber-Physical Systems (CPS) the operation of electromechanical devices is tightly integrated with the embedded computer system. The diversity of components imply in different profiles of energy consumption. Thereby, it becomes useful to use techniques that can manage the energy consumption. In a previous work, this aspect was modeled using a technique that allows estimating the energy consumption...
Assuring the correctness of a system's behavior is a must when dealing with critical systems. For instance, the Topcased project proposed several tools and methods in order to model such systems and to verify its behavior prior to implementation. In this scenario, the AADL modeling language plays a key role. Using this language, one can perform transformations to models with lower abstraction levels...
The goal of this course is to present the topic of mobile robotics, including the design difficulties and challenges. Participants will be presented to the main design tools currently adopted. The topics to be addressed are: terrestrial mobile robots, unmanned aerial vehicles, submarine vehicles, architectures, movement control techniques, behavior and perception, applications, navigation and location...
Cyber-Physical Systems (CPS) are characterizedby an intensive interaction between its electro-mechanicaldevices and the embedded computer system. In most of thesesystems the battery autonomy is crucial, since power failurescan render the system inoperable. Therefore CPS designersmust take good-care regarding its energy consumption. Thispaper presents a framework to monitor the energy consump-tion...
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.