Seminars

Speaker
Photo of Alper Bozkurt, Ph.D.
Alper Bozkurt, Ph.D.
PRECISE Seminar: Internet of Bionic Things (Cyber-Enabled Bionic Organisms for Environmental Sensing)
November 16, 2016

The present day technology falls short in offering autonomous mobile robots that can function effectively and efficiently under unknown and dynamic environmental conditions. Insects and canines, on the other hand, exhibit an unmatched ability to navigate through a wide variety of environments and overcome perturbations by successfully maintaining control and stability. In this talk, Dr. Alper Bozkurt will present how microsystems based neural stimulation and physiological monitoring systems are used to wirelessly navigate cockroaches and train dogs to enable cyber-physical working…

Speaker
Francky Catthoor, Ph.D.
PRECISE Seminar: Challenges for future IoT gateway/infrastructure platforms and the embedding of new memory technologies
November 11, 2016

It is well-known that today's computing platforms for the IoT big data server and network router infrastructure is highly energy-consuming. And scaling this to the exascale sizes and Tbps bandwidth handling, which are required for the future, looks implausible with incremental innovations. The exploding energy consumption in today's solutions is largely due to the requirement for maintaining a strong platform flexibility and programmability across a wide range of different tasks and services. But still, also some clear opportunities are emerging to reduce this energy compared to the state-…

Speaker
Gregor Goessler, Ph.D.
PRECISE Seminar: Definitions of Logical Causality for Trace Analysis
October 19, 2016

Establishing liabilities in component-based systems is a challenging task, as it requires to establish convincing evidence with respect to the occurrence of a failure, and the causality relation between the failure and a damage. The second issue is especially complex when several failures are detected and their impact on the occurrence of the damage has to be assessed. In this talk I will propose a formal framework for reasoning about logical causality between component failures and the violation of a system-level specification.

Speaker
John Garrity
PRECISE Seminar: Overview of GE & GE Research’s "Systems & Synthesis" Lab
October 12, 2016

I will provide an overview of GE, GE Research, and the "Systems & Synthesis" lab. Our  mission is to develop solutions that accelerate systems & sub-systems development & integration through software synthesis, V&V, and large systems discrete event simulation technologies. Our team consists of Controls Engineers, Electrical, & Systems Engineering with a focus on embedded software development & test as well as Formal methods for requirements capture, analysis & design validation & verification. My talk will focus on how we are tying these technologies to…

Speaker
Profile photo of Alessandro D'Innocenzo
Alessandro D'Innocenzo, Ph.D.
Joint ESE-PRECISE Seminar: Modeling and Co-design of Control Tasks over Wireless Networking Protocols (State of the Art and Challenges)
September 28, 2016

Wireless networked control systems are the integration of physical processes with wireless networked computing units. The co-design of control policies and network configuration must take into account the joint dynamics of communication protocols/channels and physical devices/processes. In this talk we first give a brief overview of the state-of-the-art on wireless networked control systems. Then we present some recent advances in the co-design of control tasks over wireless networking protocols subject to long term (e.g. failures, malicious attacks) and short term (e.g. dynamic routing,…