Vehicle systems, being either ground/air/water vehicles, require hundreds/thousands of battery cells to meet their power and energy needs. In this project, we aim to develop comprehensive management solutions of such large-scale batteries with the joint consideration of peak power, operation time, and battery life for vehicle electrification.
This project addresses the foundational problem of knowledge and limits of knowledge within cyber-physical systems (CPS). A single system observes its environment through sensors and interacts through actuators. Neither is perfect. Thus, the CPS's internal view of the world is blurry and its actions are imprecise. CPS are still analyzed with methods that do not distinguish between truth in the world and an internal view thereof, resulting in a mismatch between the behavior of theoretical models and their real-world counterparts.
Organized by U.Lisboa on behalf of Ada-Europe, in cooperation with ACM SIGAda, SIGBED (pending), SIGPLAN (pending) and the Ada Resource Association (ARA)
Submitted by Anonymous on Wed, 11/01/2017 - 3:22pm
Research Positions (PostDoc + PhD) in Static and Runtime Verification of Flight Control Software for Unmanned Aircraft Systems
Virginia Tech, Blacksburg VA 24061, U.S.A.
Application deadline: Interested researchers are encouraged to apply as soon as possible, preferably before December 15, 2017. Applications will be accepted until positions are filled.
Submitted by Anonymous on Tue, 09/19/2017 - 10:39am
IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC 2018)
IEEE ISORC was founded in 1998 (with its first meeting in Kyoto, Japan) to address research into the application of real-time object-oriented distributed technology. Since then, ISORC has continually evolved to meet the latest challenges faced by researchers and practitioners in the real-time domain, with an emphasis on object-, component- and service- oriented systems and solutions..
