14th International Conference on Informatics in Control, Automation and Robotics (ICINCO) In Cooperation with: AAAI, INNS, EUROMICRO, euRobotics AISBL, RSJ, SBA, SPR and EurAI Technically Co-sponsored by: IEEE and IEEE-RAS Co-organized by: Universidad Rey Juan Carlos Sponsored by: INSTICC INSTICC is Member of: WfMC and FIPA Logistics Partner: SCITEVENTS

Track: Workshop on Adaptive Technology (WAT 2017) The 8th International Conference on Ambient Systems, Networks and Technologies http://usp.us2.list-manage.com/track/click?u=e2bd2dfe2bca5a783c68a77df&id=61fe7a8330&e=7a0e921367 Theme Adaptive approach aims to aid the solution search of practical problems through auto-modifiable mathematical abstractions such as adaptive models and devices. In other words, the adaptive approach can be described as an auto-modifiable formalism.

The objective of this proposal is to exploit an early concept of a flexible, low-cost, and drone-carried broadband long-distance communication infrastructure and investigates its capability for immediate smart-city application in emergency response.

Design of cyber-physical systems today relies on executable models. Designers develop models, simulate them, nd defects, and improve their designs before the system is built, thus greatly reducing the design costs. However, current model-based design methods lack support for model libraries (creating and exchanging models as "black boxes"), tool interoperability (allowing models to be co-simulated by multiple tools), and multi-view modeling (allowing to combine models that "live in different worlds", for instance, a control-logic model with an energy-consumption model).

The cities in the U.S. and elsewhere in the developed world are experiencing a transformation: Many people demand denser neighborhood with mixed use, while they choose to utilize public transportation, rather than private cars, for their commute and other daily transportation needs. To support this trend, cities are in need of novel transportation and logistics services that can help address the needs of their citizens, boost their productivity, and increase the wellness of their lives. There are a number of emerging technologies that can address this challenge.

This project is a component of a larger effort is to develop the foundations of modeling, synthesis and development of verified medical device software and systems from verified closed-loop models of the device and organ(s). This research spans both implantable medical devices such as cardiac pacemakers and physiological control systems such as drug infusion pumps which have multiple networked medical systems. Here we focus on advancing two aspects of this work: (1) development of patient-specific models and therapies and (2) multi-scale modeling of complex physiological phenomena.

The CyberCardia project will lead to significant advances in the state of the art for system verification and cardiac therapies based on the use of formal methods and closed-loop control and verification.  The animating vision for the work is to enable the development of a true in silico design methodology for medical devices that can be used to speed the development of new devices and to provide greater assurance that their behavior matches designer intentions, and to pass regulatory muster more quickly so that they can be used on patients needing their care.