Applications of CPS technologies dealing with automated machines that can take the place of humans in dangerous environments or manufacturing processes, or resemble humans in appearance, behavior, and/or cognition.
Event
ICINCO 2018
15th International Conference on Informatics in Control, Automation and Robotics
The purpose of the 15th International Conference on Informatics in Control, Automation and Robotics (ICINCO) is to bring together researchers, engineers and practitioners interested in the application of informatics to Control, Automation and Robotics. Four simultaneous tracks will be held, covering Intelligent Control Systems, Optimization, Robotics, Automation, Signal Processing, Sensors, Systems Modelling and Control, and Industrial Informatics.
Submitted by Anonymous on April 20th, 2018
Event
WAISE 2018
First International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018)
In conjunction with SAFECOMP 2018
Submitted by Anonymous on April 3rd, 2018
Event
IEEE ETFA 2018
2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (IEEE ETFA 2018)
ETFA 2018 is the 23rd Annual Conference of the IEEE Industrial Electronics Society (IES) focusing on the latest developments and new technologies in the field of industrial and factory automation. The conference aims to disseminate novel ideas and emerging trends, research results and practical achievements. ETFA 2018 will be held in the beautiful city of Turin, Italy, the home of worldwide renowned industrial companies.
Submitted by Anonymous on April 3rd, 2018
Event
RESACS 2018
4th International Workshop on Requirements Engineering for Self-Adaptive and Cyber-Physical Systems (RESACS 2018)
http://resacs2018.wordpress.com | http://twitter.com/RESACS_WS
Submitted by Bastian Tenbergen on March 27th, 2018
Event
SelPhyS 2018
Third Workshop on Self-Awareness in Cyber-Physical Systemsp
The concept of self-awareness has become a hot research topic in a variety of disciplines such as robotics, artificial intelligence, control theory, networked systems, and so on. Its applicability has been explored in various application domains such as automotive, military, consumer electronics, industrial control, medical equipment, and so forth.
Submitted by Anonymous on February 28th, 2018
Announcement
Call for Nominations - VCLA Awards 2018 for Master and Bachelor theses (deadline: 15 March)
CALL FOR NOMINATIONS
VCLA International Student Awards 2018 in Memory of Helmut Veith
The Vienna Center for Logic and Algorithms of TU Wien (Vienna University of Technology), calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the following two categories:
- Outstanding Master Thesis Award
- Outstanding Undergraduate Thesis Award (Bachelor thesis or equivalent, 1st cycle of the Bologna process)
The main areas of interest are:
- Computational Logic, covering theoretical and mathematical foundations such as proof theory, model theory, algorithmic lower and upper bounds, Boolean satisfiability (SAT), QBF, constraint satisfaction, satisfiability modulo theories, automated deduction (resolution, refutation, theorem proving), non-classical logics (substructural logics, multi-valued logics, deontic logics, modal and temporal logics), computational complexity (complexity analysis, parameterized complexity, decomposition methods).
- Databases and Artificial Intelligence, concerned with logical methods for modeling, storing, and drawing inferences from data and knowledge. This includes subjects like query languages based on logical concepts (Datalog, variants of SQL, XML, and SPARQL), novel database-theoretical methods (schema mappings, information extraction and integration), logic programming, knowledge representation and reasoning (ontologies, answer-set programming, belief change, inconsistency handling, argumentation, planning).
- Verification, concerned with logical methods and automated tools for reasoning about the behavior and correctness of complex state-based systems such as software and hardware designs as well as hybrid systems. This ranges from model checking, program analysis and abstraction to new interdisciplinary areas such as fault localization, program repair, program synthesis, and the analysis of biological systems.
The award is dedicated to the memory of Helmut Veith, the brilliant computer scientist who tragically passed away in March 2016, and aims to carry on his commitment to promoting young talent and promising researchers in these areas.
Award
The Outstanding Master Thesis Award is accompanied by a prize of € 1200, and the Outstanding Undergraduate Research Award by a prize of € 800. Additionally, the winners will be invited to present their work at an award ceremony during the Federated Logic Conference (FLoC) 2018 in Oxford.
Eligibility
The degree must have been awarded between November 15th 2015 and December 31st 2017. Students who obtained the degree at TU Wien are excluded from the nomination.
Important dates
- Submission deadline: March 15, 2018 (anywhere on Earth)
- Notification of decision: End of May 2018
- Award ceremony: July 2018 (during FLoC, details to be announced)
Nomination Procedures
For nomination instructions, please visit http://logic-cs.at/award-call-2018/
Kindly address all inquiries to award@logic-cs.at
VCLA Award Committee
- Federico Aschieri
- Paolo Baldi
- Ezio Bartocci
- Johannes Fichte
- Ekaterina Fokina
- Robert Ganian (committee co-chair)
- Yazmin A. Ibanez-Garcia
- Roman Kuznets
- Bjoern Lellmann
- Nysret Musliu
- Michael Morak
- Martin Nöllenburg
- Sebastian Ordyniak
- Magdalena Ortiz (general chair)
- Revantha Ramanayake (committee co-chair)
- Martin Suda
- Friedrich Slivovsky
General Announcement
Not in Slideshow
Submitted by Anonymous on February 8th, 2018
Event
PETRA '18
International Conference on Pervasive Technologies Related to Assistive Environments (PETRA)
The PErvasive Technologies Related to Assistive Environments (PETRA) conference is a highly interdisciplinary conference that focuses on computational and engineering approaches to improve the quality of life and enhance human performance in a wide range of settings, in the workplace, at home, in public spaces, urban environments, and other.
Submitted by Katie Dey on January 25th, 2018
Software-Defined Control (SDC) is a revolutionary methodology for controlling manufacturing systems that uses a global view of the entire manufacturing system, including all of the physical components (machines, robots, and parts to be processed) as well as the cyber components (logic controllers, RFID readers, and networks). As manufacturing systems become more complex and more connected, they become more susceptible to small faults that could cascade into major failures or even cyber-attacks that enter the plant, such as, through the internet. In this project, models of both the cyber and physical components will be used to predict the expected behavior of the manufacturing system. Since the components of the manufacturing system are tightly coupled in both time and space, such a temporal-physical coupling, together with high-fidelity models of the system, allows any fault or attack that changes the behavior of the system to be detected and classified. Once detected and identified, the system will compute new routes for the physical parts through the plant, thus avoiding the affected locations. These new routes will be directly downloaded to the low-level controllers that communicate with the machines and robots, and will keep production operating (albeit at a reduced level), even in the face of an otherwise catastrophic fault. These algorithms will be inspired by the successful approach of Software-Defined Networking. Anomaly detection methods will be developed that can ascertain the difference between the expected (modeled) behavior of the system and the observed behavior (from sensors). Anomalies will be detected both at short time-scales, using high-fidelity models, and longer time-scales, using machine learning and statistical-based methods. The detection and classification of anomalies, whether they be random faults or cyber-attacks, will represent a significant contribution, and enable the re-programming of the control systems (through re-routing the parts) to continue production.
The manufacturing industry represents a significant fraction of the US GDP, and each manufacturing plant represents a large capital investment. The ability to keep these plants running in the face of inevitable faults and even malicious attacks can improve productivity -- keeping costs low for both manufacturers and consumers. Importantly, these same algorithms can be used to redefine the production routes (and machine programs) when a new part is introduced, or the desired production volume is changed, to maximize profitability for the manufacturing operation.
Off
University of Illinois at Urbana-Champaign
-
National Science Foundation
Submitted by Sibin Mohan on November 30th, 2017
Recent years have seen an explosion in the use of cellular and wifi networks to deploy fleets of semi-autonomous physical systems, including unmanned aerial vehicles (UAVs), self-driving vehicles, and weather stations to perform tasks such as package delivery, crop harvesting, and weather prediction. The use of cellular and wifi networks has dramatically decreased the cost, energy, and maintenance associated with these forms of embedded technology, but has also added new challenges in the form of delay, packet drops, and loss of signal. Because of these new challenges, and because of our limited understanding of how unreliable communication affects performance, the current protocols for regulating physical systems over wireless networks are slow, inefficient, and potentially unstable. In this project we develop a new computational framework for designing provably fast, efficient and safe protocols for the control of fleets of semi-autonomous physical systems.
The systems considered in this project are dynamic, defined by coupled ordinary differential equations, and connected by feedback to a controller, with a feedback interconnection which has multiple static delays, multiple time-varying delays, or is sampled at discrete times. For these systems, we would like to design optimal and robust feedback controllers assuming a limited number of sensor measurements are available. Specifically, we seek to design a class of algorithms which are computationally efficient, which scale to large numbers of subsystems, and which, given models of the dynamics, communication links, and uncertainty, will return a controller which is provably stable, robust to model uncertainty, and provably optimal in the relevant metric of performance. To accomplish this task, we leverage a new duality result which allows the problem of controller synthesis for infinite-dimensional systems to be convexified. This result allows the problem of optimal and robust dynamic output-feedback controller synthesis to be reformulated as feasibility of a set of convex linear operator inequalities. We then use semidefinite programming to parametrize the set of feasible operators and thereby test feasibility of the inequalities with little to no conservatism. In a similar manner, estimator design and optimal controller synthesis are recast as semidefinite programming problems and used to solve the problems of sampled-data and systems with input delay. The algorithms will be scalable to at least 20 states and the controllers will be field-tested on a fleet of wheeled robotic vehicles.
Off
Arizona State University
-
National Science Foundation
Submitted by Matthew Peet on November 28th, 2017
Event
IntelliSys 2018
IntelliSys 2018 will focus in areas of intelligent systems and artificial intelligence and how it applies to the real world. IntelliSys provides a leading international forum that brings together researchers and practitioners from diverse fields with the purpose of exploring the fundamental roles, interactions as well as practical impacts of Artificial Intelligence. It is part of the conference series started in 2013.
Submitted by Anonymous on November 20th, 2017