Coordinating individual systems to function dynamically and simultaneously in all situations.
This paper proposes an event-triggered interactive gradient descent method for solving multi-objective optimization problems. We consider scenarios where a human decision maker works with a robot in a supervisory manner in order to find the best Pareto solution to an optimization problem. The human has a time-invariant function that represents the value she gives to the different outcomes. However, this function is implicit, meaning that the human does not know it in closed form, but can respond to queries about it.
Submitted by Jorge Cortes on October 13th, 2017
Airborne networking, unlike the networking of fixed sensors, mobile devices, and slowly-moving vehicles, is very challenging because of the high mobility, stringent safety requirements, and uncertain airspace environment. Airborne networking is important because of the growing complexity of the National Airspace System with the integration of unmanned aerial vehicles (UAVs). This project develops an innovative new theoretical framework for cyber-physical systems (CPS) to enable airborne networking, which utilizes direct flight-to-to-flight communication for flexible information sharing, safe maneuvering, and coordination of time-critical missions.
This project uses an innovative co-design approach that exploits the mutual benefits of networking and decentralized mobility control in an uncertain heterogeneous environment. The approach departs from the usual perspective that views physical mobility as communication constraints, communication as constraints for decentralized mobility control, and uncertain environment as constraints for both. Instead, approach taken here proactively exploits the constraints, uncertainty, and new structures with information to enable high-performance designs. The features of the co-design such as scalability, fast response, trackability, and robustness to uncertainty advance the core CPS science on decision-making for large-scale networks under uncertainty.
The technological advances developed in this research will contribute to multiple fields, including mobile networking, decentralized control, experiment design, and general real-time decision making under uncertainty for CPS. Technology transfer will be pursued through close collaboration with industries and national laboratories. This novel research direction will also serve as a unique backdrop to inspire the CPS workforce. New teaching materials will benefit the future CPS workforce by equipping them with a knowledge base in networking and control. Broad outreach and dissemination activities that involve undergraduate student societies, K-12 school teaching, and public events, all stemming from the PI's current efforts, will be enhanced.
Off
University of Texas at Arlington
-
National Science Foundation
Submitted by Yan Wan on October 3rd, 2017
The age of autonomous mobile systems is dawning -- from autonomous cars to household robots to aerial drones -- and they are expected to transform multiple industries and have significant impact on the US economy. Through wireless coordination, these systems create a whole that is greater than the sum of its parts. For example, vehicle "platoons" increase both highway throughput and fuel efficiency by traveling nearly bumper-to-bumper, using a wireless coupling to brake and accelerate simultaneously. Similarly, vehicles or drones can speed around blind corners using the sensing capabilities of the agents ahead of them. However, wireless communication is still considered too unreliable for safety-critical operations like these. This research is creating new techniques for safe wirelessly coordinated mobility, which is becoming increasingly important with the proliferation of autonomous mobile systems.
The approach is to develop a framework for joint modeling and analysis of motion and communication in order to find provably safe coordination paths. This includes new models that can predict the effect of motion paths on the wireless channel, together with new formal methods that can use these models in a tractable manner to synthesize control strategies with provable guarantees. The key innovations include new methods to assess the validity of a Radio Frequency model, new methods for tractable probabilistic reasoning over complex models of the wireless channel and protocols, and new control strategies that achieve provable safety guarantees for states that would have been unsafe without wireless coordination. If successful, this research will allow mobile systems to realize the performance benefits of wireless coordination while preserving the ability to provide provable safety guarantees. The focus is not on improving the wireless channel reliability; instead, the aim is to provide safety guarantees on the entire mobile system by modeling and analyzing the channel's dynamic properties in a rapidly changing environment.
Off
University of Virginia
-
National Science Foundation
Cody Fleming
Submitted by Cameron Whitehouse on October 2nd, 2017
Event
ISORC 2018
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..
Submitted by Anonymous on September 19th, 2017
Event
IEEE ICIT 2018
The 19th IEEE International Conference on Industrial Technology
jointly organized by IEEE IES, the University of Lyon, Ampère and Satie labs
contact@icit2018.org
IEEE ICIT is one of the flagship yearly conferences of the IEEE Industrial Electronics Society, devoted to the dissemination of new research ideas and experiments and works in progress within the fields of:
Submitted by Anonymous on July 24th, 2017
Event
SETTA 2017
The 3rd Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017)
October 23-25, 2017 | Changsha, China | http://lcs.ios.ac.cn/setta2017/
Invited Speakers
Cliff Jones (Newcastle University)
Rupak Majumdar (Max Planck Institute for Software Systems)
Sanjit Seshia (University of California, Berkeley)
Program Chairs:
Submitted by Anonymous on June 20th, 2017
Project
CPS: Synergy: Collaborative Research: Real-time Data Analytics for Energy Cyber-Physical Systems
Inadequate system understanding and inadequate situational awareness have caused large-scale power outages in the past. With the increased reliance on variable energy supply sources, system understanding and situational awareness of a complex energy system become more challenging. This project leverages the power of big data analytics to directly improve system understanding and situational awareness. The research provides the methodology for detecting anomalous events in real-time, and therefore allow control centers to take appropriate control actions before minor events develop into major blackouts. The significance for the society and for the power industry is profound. Energy providers will be able to prevent large-scale power outages and reduce revenue losses, and customers will benefit from reliable energy delivery with service guarantees. Students, including women and underrepresented groups, will be trained for the future workforce in this area.
The project includes four major thrusts: 1) real-time anomaly detection from measurement data; 2) real-time event diagnosis and interpretation of changes in the state of the network; 3) real-time optimal control of the power grid; 4) scientific foundations underpinning cyber-physical systems. The major outcome of this project is practical solutions to event or fault detection and diagnosis in the power grid, as well as prediction and prevention of large-scale power outages.
Off
New Jersey Institute of Technology
-
National Science Foundation
Submitted by Maggie Cheng on June 19th, 2017
Event
ERTS² 2018
Embedded Real Time Software and Systems ( ERTS² 2018)
The ERTS2 congress created by the late Jean-Claude Laprie in 2002 is a unique European cross sector event on Embedded Software and Systems, a platform for top-level scientists with representatives from universities, research centres, agencies and industries. The previous editions gathered more than 100 talks, 500 participants and 60 exhibitors. ERTS2 is both:
Submitted by Anonymous on June 9th, 2017
Event
DHS 2017
International Workshop on Methods and Tools for Distributed Hybrid Systems (DHA 2017)
Associated with MFCS 2017
Submitted by Anonymous on April 14th, 2017
Announcement
RTSS'17: Call for Workshop Proposals
Call for Workshop Proposals
38th IEEE Real-Time Systems Symposium (RTSS 2017)
Scope of the Workshops
The Real-Time Systems Symposium (RTSS) is the flagship conference of the IEEE Computer Society Technical Committee on Real-Time Systems. RTSS 2017, the 38th edition of the conference, will take place in Paris, France from December 5 to December 8, 2017. Continuing a successful tradition, RTSS 2017 will organize one-day workshops on December 5th, 2017. The purposes of the workshops are to:
- strengthen interactions between the real-time community and other related research areas;
- create a stimulating environment that facilitates the discussion of open or hot research topics.
Proposal Submission Instructions
Researchers and practitioners are invited to submit workshop proposals. Proposals should consist of two parts. First, a short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the research community, as well as a list of previous or related workshops (if any). A second, organizational part should include:
- contact information for the workshop organizers;
- estimate of the audience size (note: the Workshop Selection Committee reserves the right to cancel workshops that have a low number of participants);
- past attendance numbers (if not a new workshop);
- proposed format (contributed short papers or long abstracts, invited papers, open discussion, keynote speakers, etc.);
- potential invited speakers (if any);
- proposed sponsorships (if any);
- procedures for selecting papers and participants (e.g., program committee, review process, etc.);
- plans for dissemination of contributions (e.g., website, special issues of journals, etc.);
- special technical or audio/video needs; and
- any other relevant information.
Submission of proposals should be made by sending an email to Song Han (song.han@uconn.edu) with the subject line “RTSS 2017 Workshop Proposal”.
Important Dates
- June 9, 2017 – FIRM Workshop Proposal Submission Deadline
- June 23, 2017 – Workshop Selection Notification
- July 14, 2017 – Workshop Web Pages Posted with CFPs
- September 15, 2017 – FIRM Workshop Papers Submission Deadline
- October 13, 2017 – Workshop Papers Notification of Acceptance
- October 20, 2017 – FIRM Workshop Papers Camera Ready Deadline
Workshop Selection Committee
- Song Han, University of Connecticut, USA (Workshops Chair)
- Isabelle Puaut, University of Rennes/IRISA (Program Chair)
- Frank Mueller, North Carolina State University, USA (General Chair)
General Announcement
Not in Slideshow
Submitted by Anonymous on March 20th, 2017