Theoretical aspects of cyber-physical systems.
Event
MODELS 2015
ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems
Models 2015 is the premier conference on systems and software modeling. It will be held in Ottawa, Canada September 27 to October 2, 2015. The main conference will run from Wednesday Sept 30 to Friday Oct 2, with satellite events such as workshops and tutorials being held the previous three days.
Preliminary Call for Contributions
Submitted by Anonymous on November 20th, 2014
Event
DSN 2015
45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
The Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) is the most prestigious international forum for presenting research results in the field of dependable and secure computing.
Submitted by Anonymous on November 20th, 2014
Event
CSER 2015
Conference on Systems Engineering Research (CSER 2015)
STEVENS INSTITUTE OF TECHNOLOGY
DATES
Tuesday, March 17: SEANET Workshop (Systems Engineering & Architecting Doctoral Network for Research)
This workshop is designed for current or soon-to-be doctoral students, and consists of speakers and breakout sessions focused on performing doctoral research.
Wednesday, March 18 - Thursday, March 19: CSER Conference
CONFERENCE OBJECTIVE
Submitted by Anonymous on November 20th, 2014
Submitted by Glenn Ricart on November 18th, 2014
Submitted by David Corman on November 18th, 2014
Submitted by David Corman on November 18th, 2014
News Item
Bosch sponsors ARCH'15
Bosch sponsers the 500 Euro prize for the most promising benchmark result.
Submitted by Matthias Althoff on November 17th, 2014
Accurate and reliable knowledge of time is fundamental to cyber-physical systems for sensing, control, performance, and energy efficient integration of computing and communications. This statement underlies the proposal. Emerging CPS applications depend on precise knowledge of time to infer location and control communication. There is a diversity of semantics used to describe time, and quality of time varies as we move up and down the system stack. System designs tend to overcompensate for these uncertainties and the result is systems that may be over designed, inefficient, and fragile.
The intellectual merit derives from the new and fundamental concept of time and the holistic measure of quality of time (QoT) that captures metrics including resolution, accuracy, and stability. The proposal builds a system stack ("ROSELINE") that enables new ways for clock hardware, operating system, network services, and applications to learn, maintain and exchange information about time, influence component behavior, and robustly adapt to dynamic QoT requirements, as well as to benign and adversarial changes in operating conditions. Application areas that will benefit from Quality of Time will include: smart grid, networked and coordinated control of aerospace systems, underwater sensing, and industrial automation.
The broader impact of the proposal is due to the foundational nature of the work which builds a robust and tunable quality of time that can be applied across a broad spectrum of applications that pervade modern life. The proposal will also provide valuable opportunities to integrate research and education in graduate, undergraduate, and K-12 classrooms. There will be extensive outreach through publications, open sourcing of software, and participation in activities such as the Los Angeles Computing Circle for pre-college students.
Award Number
Display Videos in Hero
Off
Co-PIs
Anthony Rowe
Mani Srivastava
Ragunathan Rajkumar
Neal Patwari
Thomas Schmid
Joao Hespanha
Sudhakar Pamarti
Institution
University of California-San Diego
Lead PI
Rajesh Gupta
Project URL
Performance Period
-
Sponsor
National Science Foundation
Lead PI (text)
Rajesh Gupta
Submitted by Rajesh Gupta on November 12th, 2014
Abstract:
This project aims to enable cyber-‐physical systems that can be worn on the body in order to one day allow their users to touch, feel, and manipulate computationally simulated three-‐dimensional objects or digital data in physically realistic ways, using the whole hand. It will do this by precisely measuring touch and movement-‐induced displacements of the skin in the hand, and by reproducing these signals interactively, via new technologies to be developed in the project.
Submitted by Yon Visell on November 10th, 2014
Abstract:
The use of deductive techniques, such as theorem provers, has several advantages in safety verification of hybrid systems. State-of-the-art theorem provers, however, suffer from a significant lack of automation.
Submitted by Nikos Arechiga on November 10th, 2014