Wed11Jul2018Fri13Jul2018Faculty Hall, Indian Institute of ScienceShow details
The Cyber-Physical Systems Symposium is a single track symposium aimed at bringing together leading researchers and industry experts to share the recent advancements and the upcoming challenges in the area of Cyber Physical Systems (CPS). The symposium invites students, researchers and the industry experts to attend the event which will be held from 11 to 13 July 2018 at the Indian Institute of Science, Bangalore, India.
For more information please visit the Symposium website.
Fri30Mar201810.00-11.00RBCCPS, Seminar HallShow details
In cities across the globe, road transport remains an important source of air pollutants that are linked with acute and chronic health effects. In the last 20 years, my research group have investigated these associations in human challenge chamber studies in Umea, Sweden; real-world exposure scenarios in London and recently in the megacity Beijing, China. The main particulate matter (PM) components originating from road traffic are engine emissions. The largest single source is derived from diesel exhaust (DE). Indeed, owing to the increased market penetration of diesel engines in many European countries and the fact that they generate up to 100 times as many particles as comparable gasoline engines with three-way catalytic convertors, diesel exhaust particles (DEPs) contribute significantly to the airshed in many of the world’s largest cities.
To investigate effects on the airways, human volunteers (healthy and/or mild asthmatic) were exposed for 1–2 h to whole DE (particulates and the associated gas phase) from an idling engine at concentrations ranging from environmentally relevant (PM10 100 ug/m2, 0.7 ppm NO2) to those commonly experienced in busy diesel-dominated traffic environments (PM10 300 g/m2, 1.6 ppm NO2). By performing blood, bronchoalveloar lavage (BAL), and bronchial mucosal biopsy sampling after exposure, these studies have been instrumental in uncovering a systemic and pulmonary inflammatory response attributed, in part, to the oxidative properties of exhaust PM.
Away from orthodox, controlled exposure chamber studies, work was next undertaken in London. Using the city as the laboratory, real-world exposure scenarios were used to investigate the respiratory effects of short-term exposure to diesel traffic. In adults with mild to moderate asthma, walking for 2 h along a busy city street where traffic is entirely diesel powered (as opposed to in a nearby park) resulted in a significant but asymptomatic reduction in lung function. In line with our studies of humans in exposure chambers and our current understanding of the chain of molecular events, roadside traffic exposures also induced inflammatory changes, namely an increase in sputum neutrophil counts and IL-8 and myeloperoxidase concentrations.
As described above from my research in Umea and London evidence supports an interactive chain of events linking pollution-induced pulmonary and systemic oxidative stress, inflammatory events, and translocation of particle constituents with an associated risk of vascular dysfunction, atherosclerosis, and ischemic cardiovascular and obstructive pulmonary diseases. It is now clearly recognised that exposure to combustion-related PM, at concentrations experienced by populations throughout the world, contributes to pulmonary and cardiac disease through multiple mechanistic pathways that are complex and interdependent.
In contrast to the UK’s long industrial heritage, China has undergone rapid industrialization over the past few decades, adding thousands of kilometres of urban road and hundreds of millions of vehicles. PM emissions from traffic have contributed to increasingly poor air quality in Beijing, threatening public health. In 2016 we started work on a new project in Beijing - Effects of air pollution on cardiopulmonary disease in urban and peri-urban residents in Beijing (AIRLESS). We are examining the impact of air pollution on the health of residents who live in the centre of Beijing with residents who live outside the Beijing urban sprawl in a rural area. The 120 individuals in the rural area are exposed to pollution, but it tends to be more of a coal/biomass type of pollution experienced as part of their everyday lives, whereas in central Beijing it’s more traffic-based pollution. We provide the volunteers with personal air quality monitors and measuring their exposure for 24 hours a day for seven days. This data provides us with a unique view of their personal exposure to air pollution. With this approach, we will learn if the pollution in China results in the same type of biological responses we have seem previously in Umea and London.
About the speaker
Frank Kelly holds the chair in Environmental Health at King's College London, where he is Director of the Environmental Research Group, Director of the NIHR Health Protection Research Unit on Environmental Hazards and Deputy Director of the MRC-PHE Centre for Environment & Health. Prof Kelly leads a substantial research activity which spans all aspects of air pollution research from toxicology to science policy. He has led studies of the urban airshed within London including the impact of the introduction of London’s Congestion Charging Zone and Low Emission Zone. Other work examines the toxicity of PM associated metals and quinones, diesel and biodiesel exhaust emissions, wood smoke and the identification of biomarkers of traffic exposure.
Prof. Kelly has published over 300 peer-reviewed papers as well as many conference papers and books (as author or editor) on the toxicology and health effects of ozone, nitrogen dioxide and particulate pollution. In addition to his academic work, Prof. Kelly is past President of the European Society for Free Radical Research and past Chairman of the British Association for Lung Research. He provides policy support to the WHO on air pollution issues and he is Chairman of COMEAP the UK’s Department of Health’s Expert Committee on the Medical Effects of Air Pollutants.
Thu22Mar201811.00-12.00RBCCPS, Seminar HallShow details
The study of complex systems and the control issues arising from them have remained as one of the prime research problems since many years. The complex systems can be roughly described as the systems having many components within it, which are interacting with each other. If these component interact in a nonlinear fashion, then such systems are referred as complex nonlinear systems. The popular examples include biological systems, network (power or communication) systems, underactuated systems in aerospace and robotics, economic systems, bio-mimicking engineering systems, multi-agent systems and so on.
Towards this aim of exploring such various complex nonlinear systems, we predominantly look into a class of underactuated systems and address the complete control problem – right from the system representation, control design, stability analysis and experimental results. We also briefly look into a special underactuated system of slosh-container and summarise the work done in this problem.
At the end, some future prospects of the current work and few problem areas will be discussed which would constitute the intended thrust for my further research.
About the speaker
Dr. Parth S. Thakar has worked as a research associate at IIT Bombay. He received his Ph.D. from Systems and Control Engineering, IIT Bombay in 2017 and Bachelor’s degree in Electronics and Communication Engineering from Saurashtra University, Rajkot in 2007. He has got an INSPIRE Faculty Award from Department of Science and Technology (DST) in 2017.
His research interests are mainly in the fields of nonlinear control, underactuated systems, Lyapunov methods, sliding mode control, robotics, biological systems and control aspects and usually grows in the fields, interfacing these topics.
He has published three international journal and three international conference papers till date. He frequently reviews journal and conference papers from IEEE and IFAC.
Fri09Mar201810.00-11.00RBCCPS, Seminar HallShow details
Caching is an important determinant of storage system performance. Bulk cache preloading is the process of preloading large batches of relevant data into cache, minutes or hours in advance of actual requests by the application. We address bulk preloading, by analyzing high-level spatio-temporal motifs from raw and noisy I/O traces by aggregating the trace into a temporal sequence of correlated count vectors. Such temporal multivariate data from trace aggregation arise from a diverse set of workloads leading to diverse data distributions with complex spatio-temporal dependencies.
Motivated by this, we explore predictive models based on non-parametric clustering of multivariate count data, a previously unexplored topic. While Poisson is the most popular distribution for count modeling, the Multivariate Poisson often leads to intractable inference and a sub-optimal fit of the data. Hence, we first explore extensions to the Multivariate Poisson distribution and propose the Sparse Multivariate Poisson distribution along with Dirichlet Process mixture model extensions and efficient techniques for approximate inference. This enables the practical use of Poisson based models for multivariate count data in a variety of real-world applications. Next, we explore techniques to move beyond the limitations of Poisson based models, for clustering multivariate counts, for instance in handling over dispersed data or data with negative correlations. We explore, for the first time, marginal independent inference techniques based on the Gaussian Copula for multivariate count data in the Dirichlet Process mixture model setting, which enables us to circumvent the limiting assumptions of Poisson based marginals. Inference with copulas is hard when data is not continuous. We propose inference based on extended rank likelihood that bypasses specifying marginals, making our inference suitable for count data and even data with a combination of discrete and continuous marginals. This enables the use of Bayesian non-parametric modeling, for several data types, without assumptions on marginals.
Finally, we propose temporal extensions for predictive modeling of multivariate counts based on our count modeling techniques. We outline HULK, a strategy for I/O efficient bulk cache preloading to leverage high-level spatio-temporal motifs in Block I/O traces. Experimentally, we show a dramatic improvement in hit-rates on benchmark traces and lay the groundwork for further research in storage domain to reduce latencies using data mining techniques for trace modeling.
About the Speaker
Lavanya Tekumalla is a Machine Learning Scientist at Amazon. She has pursued a PhD from the Machine Learning Lab, CSA, IISc under the guidance of Prof. Chiranjib Bhattacharyya. During her PhD, she has worked on Probabilistic Modeling with Bayesian Non-Parametric models and efficient techniques for approximate inference. She has worked across several application domains such as Natural Language Understanding, systems applications such as cache preloading, mortality prediction in the medical domain and product recommendation for e-commerce.
She worked for over seven years in the industry in various roles at Amazon.com (Seattle/Bangalore) and InMobi (Bangalore) that she thoroughly enjoyed. She also has a Masters in Computer Graphics from the University of Utah.
The primary focus of Lavanya's doctoral thesis has been Bayesian models for nonparametric clustering of discrete data such as multivariate count data. This talk primarily explores her interdisciplinary work on novel predictive models for the systems application of bulk cache preloading. In addition, Lavanya will also highlight the key contributions and results from some of her other recent papers to outline her research journey.
Fri23Feb201814.00-15.30CSA Department, Room 254Show details
The Robert Bosch Centre is organising two talks in the area of blockchains and one possible use in cryptocurrencies.
The first talk by Prof Y. Narahari is titled "Blockchain Technology: Promise and Prospects for Industrial and Societal Applications": The bitcoin, unleashed in 2008, was for a specific need (digital currency) but offered a spectacular new data structure for achieving tamper proof record keeping.
In this talk, we introduce the building blocks of blockchain technology and survey the rich variety of industrial and societal applications where it can be deployed. In particular, we describe a trusted B2B collaborative platform that we are currently designing using smart contracts inspired by game theoretic analysis.
About the Speaker
Y. Narahari is a Professor in the Department of Computer Science and Automation and the Chair of the Electrical Sciences Division. His current interests are in topics at the interface of computer science and game theory.
The second talk by Prof C. E. Veni Madhavan is focussing on "Cryptocurrencies and Blockchains": Cryptocurrencies, in particular the first and well-known Bitcoin and others such as Ethereum, are canonical examples of the blockchain paradigm. Minting or generating new elements or coins of this form of currency relies on the notion of proof-of-work. Generation of proof-of-work is based on solving a computationally intensive problem such as finding a specific form of hash string. Cryptocurrencies have serendipitously heralded a digital information revolution in the form of blockchains, a broad term, for distributed ledger technologies.
As monetary instruments these attempt to provide for the many attractive properties of fiat currency, such as privacy, anonymity, transferability, fungibility. However, these are different, from State backed denominational fiat currencies, with respect to the properties of fixed, store-of-value, medium-of-exchange, arbitrage within jurisdictional boundaries, seigniorage in fiscal governance, taxation and law enforcement. An alternative paradigm of cryptographic digital cash, the analog of fiat currency, in the form of digital coins, coupons or tokens, predates the contemporary examples of cryptocurrencies.
Our work is on such a system of virtual money. We discuss these paradigms of cryptonomics from perspectives of science, technology, economics, applications, mathematics, governance and human-usage factors.
About the Speaker
C. E. Veni Madhavan, after his formal retirement as Professor in August 2014, continues to work in the CSA department on various scientific mentoring and R&D projects with government, academia and industry.
Thu15Feb2018Fri16Feb20189:00 - 17:00Department of Electrical Communication Engineering, IIScShow details
The tutorial will be presented by a team from the University of Toulouse and the Laboratory for Analysis and Architecture of Systems (LAAS-CNRS) from France, led by Professor Thierry Monteil. Topics covered in the tutorial on 15 February are:
General presentation on oneM2M
Machine-to-Machine (M2M) concept is one of the main features of Internet of Things (IoT). It promises to inter-connect billions of devices in near future covering various domains from building, energy, healthcare, industrial, transportation, retail, security to environmental services. However, the M2M market expansion opportunities are not straight forward. In fact, M2M is suffering from a high vertical domain fragmentation, which has increased the R&D cost in each specific domain. Various vertical M2M solutions have been designed independently and separately for different applications, which inevitably impacts or even impedes large-scale M2M deployment. To bridge this gap, Several Standards Organization released the oneM2M standard for a common M2M service platform an end to end M2M service platform with the intermediate service layer that is key components of the horizontal M2M solution. These standards based platform follows a RESTful approach with open interfaces to enable developing services and applications independently of the underlying network, thus easing the deployment of vertical applications and facilitating innovation across industries.
Eclipse OM2M: an open-source oneM2M-compliant IoT platform
In this tutorial, you will discover the Eclipse OM2M project which is an open source implementation of the oneM2M standard. OM2M follows a RESTful style with open interfaces to enable developing applications and exchanging data independently of the underlying network. It proposes a modular architecture running on top of an OSGi runtime, making it highly extensible via plugins. OM2M plugins enables multiple communication protocols binding, reuse of existing remote devices management mechanisms (e.g. LWM2M), and interworking with existing legacy devices (e.g. ZIGBEE, KNX, EnOcean, Z-wave, etc.).
Comprehensive use case study & demo
First, you will learn how to build the OM2M project from source code, configure the platform, and start OM2M server and gateways. After a successful mutual authentication, the OM2M server and gateways become ready to exchange data. Second, the OM2M web interface will be used to seamlessly browse the resource tree of each M2M machine. This will be completed with an easy user interface base on Node-RED framework. Third, a simple HTTP clients will be used to request the OM2M RESTful API and handle the available primitive procedures. You can for example register new applications, create containers, store data, request information, publish and subscribe to events, discover resources according to filter criteria, manage access rights, and handle groups. Finaly, you will learn how to develop your own OM2M plugin using Maven and Tycho specific device technology or adding a new service to extend OM2M capabilities.
Advanced topics and research activities
The ADREAM smart building of LAAS will be presented as use case to show the increasing complexity of such heterogeneous environment and how oneM2M can be used to overcome these challenge for an effective interoperability. Device management, Data management with semantic, performance analysis will be presented.
08:30 – 09:00 Registration 09:00 – 09:15 Tutorial Opening 09:15 – 10:15 General presentation on oneM2M 10:15 – 10:45 Coffee break 10:45 – 12:00 Eclipse OM2M: An open-source oneM2M-compliant IoT platform 12:00 – 13:15 Lunch Break 13:15 – 15:15 Comprehensive use case study & Demo 15:15 – 15:45 Coffee break 15:45 – 16:15 Advanced topics and research activities 16:15 – 16:45 Indian research on IoT 16:45 – 17:00 Conclusion
Registration is no longer possible.
This hackathon aims to imagine the new applications that a smart city could offer its citizens, its elected officials or its technical and administrative services in a multi-domain vision based on the oneM2M standard. In this city, you will have:
- Smart buildings equipped with sensors for temperature, brightness, presence, sound volume, etc.; you can also operate lighting, ventilation, billboards
- Connected bus equipped with geolocation sensors, pollution, movement, temperature, sound volume, etc.; you can operate a billboard or interact with other equipment in the city
- Green space equipped with humidity sensors and pump
- Public space allowing you to manage parking, household waste, the display of information, pollution data or even public lighting.
A simulation of the smart city will allow you to develop your ideas that you can then test on a model reproducing spaces of the city of Bengaluru.
A set of documents will be published to help participant to prepare the hackathon: Description of the mockup (sensors, actuators, oneM2M resource and possible operation), a MOOC on oneM2M, node-RED modules description for easy prototyping. All information will be reachable from this page at the beginning of February.
The hackathon will begin on Friday morning and Friday evening the solutions made by participants will be presented to a panel of experts who will evaluate how ideas can break the single-domain vision for a richer vison and multi-field of the city showcasing the potential of the oneM2M standard to achieve this.
Registration is no longer possible.
Mon12Feb2018Wed07Mar2018Robert Bosch Centre for Cyber-Physical Systems, Seminar HallShow details
Instructor(s): Dr. Arun Babu
Schedule: Mon & Wed 10.30-12pm, (First class Feb 12)
Venue: RBCCPS Seminar Hall
Cybersecurity deals with processes, techniques, and tools to protect computers and networks from unauthorized access and attacks. This course deals with practical aspects of cybersecurity and teaches various types of attacks and mechanisms to prevent them. Topics will include: Attacks and attackers, vulnerabilities, safe and secure coding practices, basics of cryptography, OS security, web security, network security, security through obscurity, malware, cyber-warfare, cybersecurity in India, and case studies.
Hacking exposed 7 : Network Security Secrets and Solutions - by Stuart Mcclure, Joel Scambray, George Kurtz
One, Aleph. "Smashing the stack for fun and profit (1996)." Phrack 7 (2007): 49
Exploit Mitigation Techniques: an Update After 10 Years – by Theo de Raadt ruBSD 2013, 14 December 2013,
CERT secure coding practices
MISRA-C:2004 – Guidelines for the use of the C language in critical systems
Guidelines for Protection of National Critical Information Infrastructure, Government of India
Knowledge of computer programming and computer networks, familiarity with UNIX like OS like Linux/*BSD/Solaris.
Wed10Jan2018Fri27Apr2018Robert Bosch Centre for Cyber-Physical Systems, Seminar HallShow details
Instructor: Dr. Atreyee Kundu
Schedule: Wed & Fri 3.30-5pm, (First class on Jan 10)
Venue: RBCCPS Seminar Hall
Switched and hybrid systems and their solutions, Stability of switched systems: background and motivation, Time-dependent switching: arbitrary switching and common Lyapunov functions, constrained switching and multiple Lyapunov functions, State-dependent switching: Lyapunov-Metzler and S-procedure characterizations, Algorithms for synthesizing stabilizing switching signals, Switched systems with inputs and outputs, input-to-state stability, invertibility, Switching adaptive control, Limited information control of switched systems, Applications of switched systems in the analysis of networked control systems under communication uncertainties
Primary text: D. Liberzon, Switching in systems and control, Birkhauser, Boston, 2003
Further texts and resources will be indicated during the course of the lectures.
Linear systems theory, familiarity with a simulation software such as MATLAB
Wed10Jan201816.00-17.00Robert Bosch Centre for Cyber-Physical Systems, Seminar HallShow details
Deploying autonomy in expensive safety-critical or high-risk systems require guarantees of safety. Two major challenges in providing these assurances are the stochasticity and the high dimensionality of the system. Stochasticity may capture human actions, disturbance effects, and mitigate the inevitable limitations in mathematical models; and high-dimensionality is inevitable as model fidelity improves. The desired guarantee may be obtained by solving the stochastic reach-avoid problem, a stochastic optimal control problem with a multiplicative cost function. Existing approaches provide approximations and suffer from the curse of dimensionality. We propose scalable algorithms to underapproximate the stochastic reach-avoid probability and the associated sets using convex optimization, Fourier analysis, and computational geometry. Our approach is grid-free and recursion-free and enables verification of high-dimensional stochastic dynamical systems. We apply our method to problems in stochastic target capture using quadrotors and satellite rendezvous and docking.
About the Speaker
Abraham P. Vinod received the B.Tech. and the M.Tech. degree in Electrical Engineering from the Indian Institute of Technology, Madras in 2014. He is currently a PhD candidate in the Department of Electrical and Computer Engineering at the University of New Mexico.
His research interests are in the area of optimization and stochastic control, particularly stochastic reachability analysis.
He was awarded Best Student Paper Award in the 2017 ACM Hybrid Systems: Computation and Control Conference for the use of Fourier transforms in stochastic reachability, the Prof. Achim Bopp Prize for Best Student Hardware Project for his M.Tech. work on attitude estimation, and the Central Board of Secondary Education Merit Scholarship for his undergraduate studies.
Tue09Jan201816.00-17.00Robert Bosch Centre for Cyber-Physical Systems, Seminar HallShow details
One of the grand challenges of this century is to understand the information processing architecture of the brain to develop intelligent computing platforms. Various neuro-biological studies have shown that information processing in biology relies on impulse like signals emitted by neurons called action potentials. Motivated by this form of information representation, Spiking Neural Networks (SNNs) have been proposed where the timing of spikes generated by artificial neurons is central to its learning and inference capabilities. My research work aims to investigate the computational power of the biologically plausible SNNs and quantify their hardware efficiency on existing/emerging platforms compared to the state-of-the-art artificial neural networks used in machine learning today.
As an exemplary illustration of spike based learning and inference, I will describe a novel spiking neural network (SNN) for automated, real-time handwritten digit classification and its implementation on a GP-GPU platform. Information processing within the network, from feature extraction to classification is implemented by mimicking the basic aspects of neuronal spike initiation and propagation in the brain. The feature extraction layer of the SNN uses fixed synaptic weight maps to extract the key features of the image and the classifier layer uses the recently developed NormAD approximate gradient descent based supervised learning algorithm for spiking neural networks to adjust the synaptic weights. On the standard MNIST database images of handwritten digits, the SNN achieves an accuracy of 99.80% on the training set and 98.06% on the test set, with nearly 4 X fewer parameters compared to the state-of-the-art spiking networks. The SNN is implemented on a GPU based user-interface system to infer digits written by different users within an SNN emulation time of less than 100 ms.
About the Speaker
Shruti R. Kulkarni received the Masters' degree in electrical engineering from IIT Bombay, in 2012. She started her PhD in 2014 at IIT Bombay and later moved to the Intelligent Computing Lab at NJIT, NJ, USA to continue her PhD research under Dr. Bipin Rajendran. Her current research interests include bio-inspired computing, spiking neural networks, real-time learning systems and neuromorphic architecture design using emerging memory devices.
Mon08Jan201816.00-17.00Robert Bosch Centre for Cyber-Physical Systems, Seminar HallShow details
This talk addresses in the main the problem of secure control of networked cyber-physical systems, and, title notwithstanding, a digression into mm-wave networks that have quickly become of great topical interest since the FCC release of 10.85 GHz of spectrum in July 2016.
We consider physical plants controlled by multiple actuators and sensors communicating over a network, where some sensors and actuators could be "malicious." A malicious sensor may not report the measurement that it observes truthfully, while a malicious actuator may not apply actuation signals in accordance with the designed control policy.
In the first segment of the talk, we introduce the notions of securable and unsecurable subspaces of a linear dynamical system, which have important operational meanings in the context of secure control. These subspaces may be regarded as analogs of the controllable and unobservable subspaces reexamined in an era where there is intense interest in cyber security of control systems.
In the second segment of the talk, we address the problem of detecting malicious sensors in a system. We propose a general technique, called "Dynamic Watermarking',' by which honest actuators in the system can detect the actions of malicious sensors, and disable closed-loop control based on their information.
We then digress to Medium Access Control (MAC) design for mm-wave wireless networks. The high directionality of mm-wave nodes introduces the problem of deafness, which renders conventional MAC protocols such as CSMA/CA ineffective in orchestrating the medium access. We outline some preliminary results on TrackMAC, a MAC protocol designed for mm-wave wireless networks, and show how it achieves efficient medium access.
This talk is based on several joint works with Prof. P. R. Kumar, Woo-Hyun Ko, and Simon Yau of Texas A&M University, and Dr. Amal Ekbal, Dr. Ahsan Aziz, and Dr. Nikhil Kundargi of National Instruments.
About the Speaker
Bharadwaj Satchidanandan is a fourth-year graduate student in the Electrical and Computer Engineering department at Texas A&M University, where he is advised by Prof. P. R. Kumar. Prior to this, he obtained his master's degree in Electrical Engineering from Indian Institute of Technology Madras, where he was advised by Prof. David Koilpillai and Prof. Kiran Kuchi. Between May 2015 and August 2015, he interned at Intel Labs, Santa Clara, CA, where he worked on interference cancellation algorithms for next-generation wireless networks. Between June 2017 and August 2017, he interned at National Instruments, Austin, TX, where he worked on medium access control for mm-wave wireless networks.
His research interests lie in the areas of cyber-physical systems, power systems, security, database privacy, communications, control, and signal processing.
In addition to technical publications, his research has also garnered significant media coverage, notably in ACM TechNews, TechRepublic, Texas A&M Today, Texas A&M Engineer, and the top story of 6PM news in KBTX TV. He was the recipient of the Best Student Paper Award at the 9th International Conference on Communication Systems and Networks (COMSNETS). He was also the winner of the global Hackathon contest conducted as a part of the 2017 Global Conference on Cyber Space (GCCS 2017), for which he received an award from the Prime Minister of India.
Wed03Jan201816.00-17.00Robert Bosch Centre for Cyber-Physical Systems, Seminar HallShow details
Dynamical systems are all around us, that are complex in terms of having constraints, uncertainty, nonlinearity or being distributed. Control system enforces a desired behavior on the dynamical system evolution, with applications to diverse branches of science and engineering from robotics to neuroscience that has had enormous impact on society.
In particular, model predictive control technology revolutionized industrial control as it introduced a systematic means of handling constraints by making use of predictions over models and solving the resulting (non)convex optimization. Because of its online computations, it is naturally suitable to deal with stochastic disturbances, time variance and interacting systems. These techniques will be demonstrated on automatic transmissions.
Consequently, as more and more critical infrastructure such as aerospace are being embedded with sensing and control and linked to the internet, the resulting security vulnerability can be exploited to inflict systematic damage to the connected physical systems. I shall demonstrate such attacks over a model B747 aircraft and conclude by highlighting the potential of control beyond the boundaries of the discipline like neuroscience.
About the Speaker
Abhishek Dutta is an Assistant Professor of Electrical and Computer Engineering and affiliated to the UTC Institute for Advanced Systems Engineering and Connecticut Institute for the Brain and Cognitive Sciences at the University of Connecticut. He was a Postdoctoral Research Associate at Aerospace Engineering in coordinated science lab of the University of Illinois at Urbana-Champaign with Cedric Langbort. He holds a PhD in Electromechanical Engineering (model predictive control) under the supervision of Robin De Keyser at Ghent University and under the advise of Jan Maciejowski as a Junior member of Wolfson College Cambridge. Dr. Dutta received MSc with distinction from the University of Edinburgh including an informatics prize for outstanding thesis.
Fri08Dec201716.00-17.00Robert Bosch Centre for Cyber-Physical Systems, Seminar HallShow details
Unmanned aerial vehicles are seeing an explosive growth in several domains, mostly in the commercial sector. Applications include real-estate, journalism, wild life conservation, precision agriculture, delivery, internet access, infrastructure assessment, etc. Each application has key requirements which must be met in the design of these vehicles.
In this talk, some of the challenges in the air vehicle design for these applications will be presented, including aerodynamics, structures and flight control. A key design challenge is ensuring design flexibility, extensibility, and reconfigurability – while guaranteeing low cost, resource efficiency, reliability, and robustness.
Conventional mind set is to first design the airframe and then address sensing and control architecture, which is often restrictive and inhibits true system level optimization. In this talk a new framework for designing UAVs will presented that integrates aerodynamics, structural properties, sensing and control in a unified framework.
About the Speaker
Raktim Bhattacharya is Associate Professor and Director of the Laboratory for Uncertainty Quantification at Aerospace Department of Texas A&M.
He received his B.Tech. in Aerospace Engineering from IIT Kharagpur in 1996, and his Ph.D. in Aerospace Engineering from University of Minnesota in 2003.
His research interests include uncertainty quantification, robust control and nonlinear systems.
Thu07Dec201716.00-17.00Robert Bosch Centre for Cyber-Physical Systems, Seminar HallShow details
Several finite blocklength converses in information theory have been discovered for several loss criteria using a variety of arguments. What is perhaps unsatisfactory is the absence of a common framework using which converses can be found for any loss criterion. We present a linear programming based framework for obtaining converses for finite blocklength lossy joint source-channel coding problems. The framework applies for any loss criterion, generalizes certain previously known converses, and also extends to multi-terminal settings. The finite blocklength problem is posed equivalently as a nonconvex optimization problem and using a lift-and-project-like method, a close but tractable LP relaxation of this problem is derived. Lower bounds on the original problem are obtained by the construction of feasible points for the dual of this LP relaxation. A particular application of this approach leads to new converses that improve on the converses of Kostina and Verdu ́ for joint source-channel coding and lossy source-coding, and imply the converse of Polyanksiy, Poor and Verdu for channel coding. Another construction leads to a new general converse for finite blocklength joint source-channel coding that shows that the LP is tight for all blocklengths for the "matched setting" of minimization of the expected average bit-wise Hamming distortion of a q-ary uniform source over a q-ary symmetric memoryless channel.
The tightness of the LP relaxation for canonical problems in information theory shows that optimal coding in these problems has an associated "dual" viewpoint: namely, the optimal packing of "source flows" and "channel flows" that are throttled by an error density bottleneck. In the multi-terminal setting, using the language of these flows we derive improvements to converses of Miyake and Kanaya for Slepian-Wolf coding, the converse of Zhou et al for the successive refinement problem and new tight converses for compound and averaged channels. Coincidentally, the recent past has seen a spurt of results on using duality to obtain outer bounds in combinatorial coding theory (including the author's own nonasymptotic upper bounds for zero-error codes for the deletion channel). We speculate that these and our results hold the promise of a unified, duality-based theory of converses for problems in information theory.
About the Speaker
Ankur Kulkarni is an Assistant Professor (since 2013) with the Systems and Control Engineering Group at the Indian Institute of Technology Bombay (IITB).
He received his B.Tech. in Aerospace Engineering from IITB in 2006, M.S. in 2008 and Ph.D. in 2010, both from the University of Illinois at Urbana-Champaign (UIUC). From 2010-2012 he was a post-doctoral researcher at the Coordinated Science Laboratory at UIUC.
His research interests include the role of information in stochastic control, game theory, information theory, combinatorial coding theory problems, optimization and variational inequalities, and operations research. He is an Associate (from 2015-2018) of the Indian Academy of Sciences, Bangalore, a recipient of the INSPIRE Faculty Award of the Department of Science and Technology, Government of India (2013), best paper award at the National Conference on Communications in Chennai (2017), and the William A. Chittenden Award at UIUC (2008). He is a consultant to the Securities and Exchange Board of India on the regulation of high frequency trading.
Mon04Dec201716.00-17.00Robert Bosch Centre for Cyber-Physical Systems, Seminar HallShow details
Sustainability and security considerations have lead to an increased deployment of renewable generation in grids all over the world. However, limited control capabilities and uncertainty associated with renewables poses a challenge to the conventional “load-following” operational strategy adopted by the grid operators. Engaging the demand-side in power grid operations is a potential solution to address this challenge. This talk provides an overview of ways in which consumers can participate in grid management and the benefits associated with their participation. The talk also describes technology solutions being developed at IITB to equip consumers with information and decisions support tools needed to facilitate their participation in grid operations.
About the Speaker
Anupama Kowli is an Assistant Professor at the Indian Institute of Technology Bombay. She is a researcher in the area of electricity markets, energy economics, resource planning and power system operation and control.
She received her Masters and Ph.D. from University of Illinois at Urbana Champaign in 2009 and 2013, respectively. Anupama was a visiting scholar at University of Florida. She interned as an energy consultant at KEMA Inc and as a control engineer at the Pacific Northwest National Laboratory.
Thu30Nov201710.00-11.00Robert Bosch Centre for Cyber-Physical Systems, Seminar HallShow details
Cyber-Physical Systems (CPS) are engineered systems resulting from a seamless integration between physical processes and cyber technologies such as communication networks and computational hardware. This tight integration exposes the CPS to a variety of attacks, both on the physical and cyber components, which can result in significant performance degradation. Further, CPS usually consist of multiple agents that collaborate and share information with each other, thus making them vulnerable to privacy breach and leakage of confidential data. This talk will focus on the need, design and analysis of security and privacy mechanisms in CPS.
In the first part of the talk, we will present a security problem for real-time resource- constrained autonomous systems (for example, a UAV), which can reserve only limited computational resources and time for security and control purposes. In such scenarios, the control and security tasks usually compete with each other for limited resources and there exists a trade-off between security and control performance. We characterize the optimal trade-off and identify attack regimes in which the system should prefer control tasks over security tasks, and vice-versa.
The second part will focus on privacy in cooperative dynamical multi-agent CPS. We present a noise adding differentially private mechanism to preserve the privacy of agents’ state over time, and analyze the effect of the privacy mechanism on the system performance. Next, we show that a fundamental trade-off exists between privacy and cooperation level, and it is beneficial for the agents to reduce cooperation if they want to be more private.
About the Speaker
Vaibhav Katewa is a postdoctoral scholar in the Department of Mechanical Engineering at University of California, Riverside. He received his M.S. and Ph.D. in Electrical Engineering from University of Notre Dame in 2012 and 2016, respectively, advised by Prof. Vijay Gupta. He received his B.Tech. from IIT Kanpur in 2007 in Electrical Engineering.
His research interests include design and analysis of security and privacy methods for cyber-physical systems and complex networks, decentralized and sparse feedback control, and protocol design for networked control systems.
Mon20Nov201715.00-16.00Robert Bosch Centre for Cyber-Physical Systems, Seminar HallShow details
Modern world is witnessing rapid changes due to changing demographic, scientific and climatic conditions. This is reflected equally in the energy utility landscape as well. The political and economic dynamics in favor of carbon neutral measures, wide legislations by government bodies for accommodating distributed renewable energy sources is gradually abating the natural monopoly the utilities once used to enjoy; thus opening up new possibilities for the energy management. In a bid to survive and stay afloat in the era of hyper-competition, the utility and transmission system operators (TSOs) are focusing on curtailing the operational expenditures (OPEX), optimizing the capital expenses (CAPEX) and still trying to run the business profitable. The efforts carried out in the process has also to be sustainable so that it does not die during or after major technological or economic reforms.
India stands a special place due to its demographic dividend, quest for power and connectivity and massive technological need to cater to the common mass. To overcome different challenges, indigenous technology push plays a vital role. In this direction several government organizations and initiatives have become instrumental to make socio-economic impact.
At the same time, the emergence of fourth industrial revolution is shifting focus towards digitalization, cloud computing, big data analytics, internet of things and related topics. The lecture will discuss on some of the challenges related to the convergence of power and automation sector. The challenges in this field is enormous and so are the opportunities. The future prospects of connected things in a power system and the role of automation in improving the quality of life in the context of smart cities will be discussed in the lecture.
About the Speaker
Subrat Sahoo completed his Master and PhD from Indian Institute of Science, Bangalore in 2007 in the areas of transformer diagnostics. He worked in GE Global Research in Bangalore on remote prognostics of generators and steam turbines for four years. He is currently with ABB corporate research in Sweden since 2011, working as a senior scientist in the areas of rotating machine and power system diagnostics.
Dr Sahoo has authored and co-authored around fourteen papers in various international journals and conferences. He has co-authored eight patents. He collaborates with different universities in Europe and also with some IITs in India. He has supervised several Masters thesis students, examined PhD theses and serves in technical committee of various international conferences. He writes blogs in his free time on scientific and political fields and loves travelling and reading human minds.
Mon13Nov201717.00-18.00Robert Bosch Centre for Cyber-Physical Systems, Seminar HallShow details
ALS, or Amyotrophic Lateral Sclerosis, is a progressive neurodegenerative disease that affects nerve cells in the brain and the spinal cord. There is no cure.
For people with ALS their eyes are their only link to the world. Eye controlled applications allow them a degree of communication and control and promise a degree of autonomy and dignity. After many decades in labs and niche applications, eye tracking is poised to go mainstream in the next five years and transform lives and society-at-large. It has important applications beyond accessibility. Our eyes are our primary portal to the world. Now imagine if a computer could detect where and what you were looking at all the time. The business applications beyond accessibility, are vast (gaming, education, productivity), and the social implications are somewhat scary.
About the Speaker
Harish S. Kulkarni is a Principal Software Engineer at Microsoft Corp. Over his two decade career, he has built key portions of Windows and Windows Embedded Operating Systems and as part of different advanced prototyping teams he has delivered important next generation technologies. He joined the Microsoft Research’s Enable team in 2014 which is focused on bringing cutting edge research to people with disabilities. He is currently working on building mobility and communication solutions for people with ALS using eye-tracking technology.
Mon13Nov2017Tue14Nov20179.15-17.30ECE Department, Golden Jubilee HallShow details
The workshop will focus on how to take research to the next stage of having impact, and on the challenges involved. It will survey different models being tried by different universities, may assess what has worked and what not, and will generally provide a constructive template on how to make a quantum jump on this aspect by thinking ahead and proactively structuring and spawning activities at universities.
In the session on Monday morning, experts from IIT Madras, Texas A&M and IISc will present their institutions' approach on translating research to impact. In an industry session on Monday afternoon, Chief Data Scientists or CTOs from the companies like Wipro, Flipkart and Conduent will detail their views on how to bridge academia and industry.
In a session on Monday afternoon and Tuesday morning, successful entrepreneurs of IISc will talk about their experiences. A VC co-founder will focus on the topic of building startups in Artificial Intelligence. The workshop ends with a panel discussion to help identify three to four critical action points to move towards the constructive template for spawning research to impact activities.
More information is available here: http://www.rbccps.org/research2impact.
Please register for the workshop here: http://www.rbccps.org/research2impact/registration/.
Wed08Nov201716.00-17.00Robert Bosch Centre for Cyber-Physical Systems, Seminar HallShow details
Artificial Intelligence and deep learning have taken the IT industry by storm. Major IT firms are investing heavily in these areas to gain a strategic advantage. This intense competition has resulted in many fast-paced technology developments, which are being incorporated into a plethora of applications in a variety of domains. This talk will provide an overview of the hype and reality behind the recent advances in AI/deep learning, and outline their potential use in cyber-physical systems.
Deep learning techniques are capable of making sense out of large volumes of disparate sensor data, and (deep) reinforcement learning can deal with complex control and planning scenarios. Therefore, in combination, these techniques can be used to address many challenges related to cyberphysical systems, such as monitoring and controlling large scale deployments, intelligent transportation, and drones.
About the Speaker
Raghu Krishnapuram is currently the Head of the R&D and IP Cell, as well as Professor in the Computer Science and Engineering Department of Ramaiah Institute of Technology, Bangalore.
He was until recently Program Manager, Financial Services, Xerox Research Centre, India. Earlier, he worked at IBM T J Watson Center, Yorktown Heights, New York, where he was a technical leader for cognitive computing research. From 2000 to 2013, Raghu held various leadership positions at IBM Research India. During the last 4 years of his tenure at IBM Research India, he served as Associate Director, where he led projects in the area of “Knowledge, Information, and Smarter Planet Solutions”, with a particular focus on emerging markets. He also served as a relationship manager for IBM’s services divisions such as IBM Global Process Services and IBM Business Services.
Raghu is an alumnus of IIT Bombay. After graduating with a PhD from Carnegie Mellon University in 1987, he worked in the academia in the US for 13 years, initially at the University of Missouri and later at Colorado School of Mines, where he was a full professor. Raghu has published about 170 papers in journals and conferences, many with a very high citation count. He has filed over 40 patent disclosures out of which 11 have been granted by the US Patent Office. Raghu has been recognized as a Master Inventor by IBM and has served on the Technology Council of the IBM Academy of Technology. He is also a Fellow of IEEE and the Indian National Academy of Engineers (INAE).
Fri27Oct201711.00-12.30Robert Bosch Centre for Cyber-Physical Systems, Seminar HallShow details
Cyber-physical systems, which rely on the joint functioning of information and physical systems, are vulnerable to cyber "information attacks" which impact the functioning of the internal physical system. This talk focuses on two broad classes of such attacks: Information extraction – wherein an external observer has access to input and output variables of the system exposed through cyber communication links, infers sensitive information about the internal states of the system and consequently compromises the security of system operation –and False Information Injection – wherein an attacker injects false inputs to the physical system and consequently impairs the system functions.
In this talk, an abstract framework that integrates information theoretic measures into classical stochastic control models is proposed to study fundamental security tradeoffs in such systems. The proposed framework is then used to study some practical problems in cyber-physical security, most notably within the context of energy storage in the smart electricity grid.
About the Speaker
Parvathinathan Venkitasubramaniam is an Associate Professor in the ECE Department of Lehigh University in Bethlehem, Pennsylvania. Prior to joining Lehigh University he was a post-doctoral fellow at the University of California, Berkeley. He received his B.Tech from IIT Madras (2002), M.Sc. (2005) and PhD (2007) from Cornell University in Ithaca, New York, all in Electrical Engineering. He works on developing theoretical foundations for privacy in networked systems.
Thu31Aug201714.00-15.15Robert Bosch Centre for Cyber-Physical Systems, Seminar HallShow details
During this seminar, two talks will be presented:
Talk 1 (14.00-14.30)
Closedocs: An indexing system to index clusters of close documents
The cost of indexing two documents in traditional indexing systems is the same irrespective of the token overlap between two documents. In closedocs we developed an indexing scheme which indexes clusters of close documents with the aim of achieving significant CPU and space savings. This involved developing a scalable nearest neighbor retrieval scheme for retrieving similar documents in a corpus of 10s of billions of documents.
Talk 2 (14.40-15.15)
Practical methods for simulation of compressible flow
Traditionally explicit methods have been used for simulating compressible flow. However, explicit methods impose strict time step restrictions based on the speed of sound. In my thesis work, we developed a semi-implicit scheme for simulating compressible flow which alleviated this acoustic time step restriction, allowing us to take much larger time steps. The method splits the compressible flow flux into two parts – an advection part and an acoustic part.
The advection part is solved using an explicit scheme, while the acoustic part is solved using an implicit method allowing us to avoid the sound speed imposed CFL restriction. Our method leads to a standard Poisson equation similar to what one would solve for incompressible flow, but has an identity term more similar to a diffusion equation.
I will also briefly talk about extensions of this implicit pressure solve for solid-fluid coupling and for integrating shock wave dynamics into traditional smoke simulations.
About the Speaker
Nipun Kwatra received his Ph.D. in Computer Science from Stanford University in 2011. Before that he received his Masters degree from Georgia Tech in 2006 and a Bachelors degree from the Indian Institute of Technology Delhi in 2004.
His research focused on physically based simulation with focus on computational fluid dynamics and solid fluid coupling. He has been interested in applications of simulation to both computer graphics and scientific computing.
After his PhD he worked at Google for four years in the AdWords backend and web search infrastructure teams. In the AdWords team, he worked on systems infrastructure and ad-quality improvements. In the web search infrastructure team he worked on developing a new indexing scheme for indexing clusters of documents which yielded significant CPU and storage savings in the search serving system.
Since then he has been working on his startup in personal videos domain, where he developed an application which reinvents the browse, discovery and sharing experience for personal videos.
Thu03Aug201711.00-12.00Robert Bosch Centre for Cyber-Physical Systems, Seminar HallShow details
Cyber-physical systems (CPS) such as automobiles, electrical grids, transportation networks and water networks, are increasingly controlled through (distributed) cyber-systems, which make them vulnerable to attacks. To secure CPS systems, just protecting bits (cyber-security) is insufficient: a sensor attack can feed wrong inputs to sensors and thus manipulate the physical signals before they get converted to bits.
By drawing insights from error correction, we develop CPS defense strategies that leverage the physical dynamics of CPS to protect against attacks. We demonstrate such strategies for the state estimation problem in the presence of attacks on sensors and actuators. We characterize the resilience of the system, which corresponds to the maximum number of attacks that can be tolerated while successfully reconstructing the state from observations. When there is measurement and process noise, these ideas enable design of (optimal) MMSE estimation under adversarial attacks.
We also propose computationally feasible state estimators for these problems. For the problem of designing output-feedback controllers that stabilize the system, we show that a principle of separation between estimation and control holds, even when there are adversarial attacks. We also develop ideas on how to develop secure active sensing, which could protect against individual sensor attacks in the context of anti-lock brake (ABS) sensors. We conclude the talk with a new notion of distortion security which is suitable for security for CPS systems, and show that it can also potentially enable lightweight security.
About the Speaker
Suhas N. Diggavi received the B.Tech. in Electrical Engineering from the Indian Institute of Technology Delhi, and the Ph.D. in Electrical Engineering from Stanford University, USA, in 1998.
After completing his Ph.D., he was a Principal Member of Technical Staff in the Information Sciences Center, AT&T Shannon Laboratories, Florham Park. After that he was on the faculty of the School of Computer and Communication Sciences, École polytechnique fédérale de Lausanne (EPFL), Switzerland, where he directed the Laboratory for Information and Communication Systems (LICOS).
He is currently a Professor, in the Department of Electrical Engineering, at the University of California, Los Angeles, where he directs the Information Theory and Systems laboratory.
His research interests include wireless network information theory, wireless networking systems, network data compression and network algorithms; more information can be found at http://licos.ee.ucla.edu.
He has received several recognitions for his research including the 2013 IEEE Information Theory Society & Communications Society Joint Paper Award, the 2013 ACM International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc) best paper award, the 2006 IEEE
Donald Fink prize paper award. He is currently a Distinguished Lecturer and also serves on board of governors for the IEEE Information theory society. He is a Fellow of the IEEE.
Tue25Jul201715.00-16.00Robert Bosch Centre for Cyber-Physical Systems, Seminar HallShow details
As we move away from fossil fuels toward renewable energy sources such as solar and wind, inexpensive energy storage technologies are required. This is so since renewable energy sources, such as solar and wind, are intermittent. An alternative to batteries – which are quite expensive – is “smart loads”, such as air conditioners equipped with computation and communication capability. With appropriate software, the power consumption of air conditioning -- and many other loads -- can be varied around a baseline. This variation is analogous to the charging and discharging of a battery. Loads equipped with such intelligence have the potential to provide a vast and inexpensive source of energy storage. Two principal challenges in creating a reliable virtual battery from millions of consumer loads include (1) maintaining consumers’ Quality of Service (QoS) within strict bounds, and (2) coordinating the actions of loads with minimal communication to ensure accurate reference tracking by the aggregate.
When the loads in question are residential loads that can either turned on or off, the coordination problem suffers from a combinatorial explosion. This talk describes our work in addressing this challenge by using randomized control, in which control actions are decided probabilistically. A key advantage of this approach is that aggregate behavior of a collection of loads can be approximated by an LTI (linear time invariant) system. Two classes of on/off loads will be considered: deferrable loads, such as water pumps, and thermostatically controlled loads (TCLs) such as air conditioners. The latter is more challenging since the additional randomness introduced by weather and consumer behavior. While the former can be modeled by a finite-space space Markov chain, the latter requires an infinite state space.
About the Speaker
Prabir Barooah is an Associate Professor of Mechanical and Aerospace Engineering at the University of Florida, where he has been since 2007. He received the Ph.D. degree in Electrical and Computer Engineering in 2007 from the University of California, Santa Barbara. From 1999 to 2002 he was a research engineer at United Technologies Research Center, East Hartford, CT. He received the M.S. degree in Mechanical Engineering from the University of Delaware in 1999 and the B.Tech. degree in Mechanical Engineering from the Indian Institute of Technology Kanpur, in 1996.
Dr. Barooah is the winner of Endeavour Executive Fellowship (2016) from the Australian Government, ASEE-SE (American Society of Engineering Education, South East Section) outstanding researcher award (2012), NSF CAREER award (2010), General Chairs' Recognition Award for Interactive papers at the 48th IEEE Conference on Decision and Control (2009), best paper award at the 2nd International Conference on Intelligent Sensing and Information Processing (2005), and NASA group achievement award (2003).
Wed19Jul2017Fri21Jul2017Faculty Hall, Indian Institute of ScienceShow details
The Symposium on Cyber Physical Systems is to bring eminent researchers in the area of CPS to Bangalore, have them interact with students and researchers from all over India, share ideas and interesting applications, and identify challenging future CPS research directions. We are organising six thematic sessions over three days:
- Autonomous Systems and Robotics
- Control and Optimisation for Smart Grids
- Hybrid Systems and ControlS
- Software Engineering for CPS
- CPS Test Beds
- CPS Security and Anomaly Detection
For more information and registration, please visit the Symposium website.
Thu13Jul201715.30-16.15 pmRobert Bosch Centre for Cyber-Physical Systems, Seminar HallShow details
Society is rapidly advancing towards autonomous cyber-physical systems (CPS) that interact and collaborate with humans. Examples include semi-autonomous vehicles interacting with drivers and pedestrians, medical robots interacting with doctors and nurses, and many more. The safety-critical nature of these systems requires us to provide strong correctness guarantees on their performance in interaction with humans. However, the combination of intelligence and autonomy in these systems, and their interactions with humans, make them particularly challenging for verification and control.
In this talk, I will discuss our recent work on this topic of safe and interactive autonomy and verified intelligent systems. First, I will describe a learning-based game-theoretic approach to design autonomous systems that are mindful of their effects on humans, and further leverage these effects for better efficiency, coordination, and estimation. Next, I will discuss techniques to systematically verify robustness and safety of such systems. Finally, I will discuss the broader challenges for verified artificial intelligence, and corresponding promising directions to tackle these challenges.
About the Speaker
Sanjit A. Seshia is a Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He received an M.S. and Ph.D. in Computer Science from Carnegie Mellon University, and a B.Tech. in Computer Science and Engineering from the Indian Institute of Technology, Bombay.
His research interests are in dependable computing and computational logic, with a current focus on applying automated formal methods to problems in cyber-physical systems, computer security, electronic design automation, and synthetic biology. His Ph.D. thesis work on the UCLID verifier and decision procedure helped pioneer the area of satisfiability modulo theories (SMT) and SMT-based verification.
He is co-author of a widely-used textbook on embedded, cyber-physical systems and has led the development of technologies for cyber-physical systems education based on formal methods. His awards and honors include a Presidential Early Career Award for Scientists and Engineers (PECASE), an Alfred P. Sloan Research Fellowship, the Frederick Emmons Terman Award for contributions to electrical engineering and computer science education, and the School of Computer Science Distinguished Dissertation Award at Carnegie Mellon University.
Wed21Jun201710.00-15.00Robert Bosch Centre for Cyber-Physical SystemsShow details
On 21 June the Robert Bosch Centre for Cyber-Physical Systems will organise the 1st CPS Day, where we invite all recipients of the MTech Project Awards and of the Young Faculty Awards to present their research to the interested public.
For more information, please visit: www.rbccps.org/events/cps-day
Thu15Jun201716.00-17.00 pmRobert Bosch Centre for Cyber-Physical Systems, Seminar HallShow details
The design of complex engineered systems requires the concerted effort of diverse stakeholders, each responsible for a part or an aspect of the overall problem. Inconsistencies emerge naturally when different parts of a system design are often concurrently modified without regard for their dependencies. Such dependencies range from easy to detect and fix to requiring costly simulations and rework. This presentation introduces modelling language engineering concepts and in particular linguistic and ontological properties as a means to reason about the relationships between different views/engineering disciplines. Subsequently, we explore the link between consistency management and design processes.
About the Speaker
Hans Vangheluwe is a Professor in the Antwerp Systems and Software Modelling (AnSyMo) group within the Department of Mathematics and Computer Science at the University of Antwerp in Belgium, where he is a founding member of the NEXOR IOF Consortium on Cyber-Physical Systems (CPS). He is an Adjunct Professor in the School of Computer Science at McGill University, Montreal, Canada where he was tenured faculty 2000-2010.
AnSyMo is an Associated Lab of Flanders Make, the strategic research centre for the Flemish manufacturing industry. He heads the Modelling, Simulation and Design Lab (MSDL), distributed over the University of Antwerp and McGill.
In a variety of projects, often with industrial partners, he develops and applies the model-based theory and techniques of Multi-Paradigm Modelling (MPM) in diverse application domains.
Tue13Jun201714.00-15.00Robert Bosch Centre for Cyber-Physical Systems, Seminar HallShow details
Fiber Bragg Grating (FBG) sensors have become one of the most widely used sensors in the recent times for a variety of applications. In the present research work, FBG sensor based devices have been devised for newer applications in bio-medical and engineering fields. Basically, novel packaging methodologies for FBGs are developed, which transducts the measured parameter to a secondary parameter that can be sensed by the FBG.
In the field of Cardiology, a FBG Pulse Recorder has been developed which has the ability to acquire the radial arterial pulse pressure waveform. This Pulse Recorder has been used to evaluate blood pressure, arterial compliance and pulse transit time differential. In the field of Dentistry, an FBG based bite force recorder which can record the individual tooth bite force has been developed. Also, an in-vitro study utilizing the FBG Temperature Sensor to measure the variation of temperature in the pulp chamber during light curing of composite materials has been carried out.
In the field of Seismology, a cantilever based seismometer using a FBG sensor has been developed and tested for field conditions along with a commercial seismometer. Further, the FBG seismometer has been employed for a unique application of an elephant intrusion monitoring. Furthermore, an FBG device has been developed for displacement measurement facilitating tuneable sensitivity; this device has been exploited for vibrometry and surface profilometry.
About the speaker
Sharath Umesh received his B.E. Degree in Mechanical Engineering from M S Ramaiah Institute of Technology in 2009. He received his PhD from the Department of Instrumentation and Applied Physics, Indian Institute of Science in 2016. He is presently working as a Research Associate in the Central Manufacturing Technology Institute, Bangalore.
He is the recipient of a National Award named Prof K N Amulya Reddy Award among the Gandhian Young Technological Innovation Award 2015 held at Rashtrapti Bhavan, New Delhi for "Fiber Bragg Grating Pulse Recorder". He is the recipient of Best Poster Presentation Award in the 7th International Conference on Sensing Technology 2013 held at Wellington, New Zealand.
Tue06Jun2017Tue25Jul2017Robert Bosch Centre for Cyber-Physical Systems, Hands-on LabShow details
Instructor: Darshak Vasavada
Every Tuesday in June (6, 13, 20, 27) and July (4, 11, 18, 25)
Lectures from 5.00-7.00 pm and Lab from 7.00-7.30 pm
Students are expected to work on the problems and platforms at home
The course is aimed for students from various fields, who do not have prior experience in electronics or programming but are interested in developing embedded systems specific to their field of technology. This course will enable students from various Science and Engineering branches to build simple embedded systems, or effectively team up with Electronics and Computer Science engineers to build embedded systems with higher complexity.
The following topics will be discussed:
- Microprocessor basics
- Introduction to programming
- Structure of a stand-alone system
- Programming I/O devices
- Communication between devices
- Communication with the external world
- Students presentations
None. However, exposure to some programming language will be useful. If not, the student may have to put in a extra effort to learn simple programming.
Thank you for your interest in the course. Unfortunately, it is fully booked.
Mon05Jun2017Fri30Jun2017Robert Bosch Centre for Cyber-Physical Systems, Hands-on LabShow details
Instructor: Dr Arun Babu
Every Monday and Friday, starting 5 June (5, 9, 12, 16, 19, 23, 26 and 30 June), 10.30-12.30
Cybersecurity deals with processes, techniques, and tools to protect computers and networks from unauthorized access and attacks. This course deals with practical aspects of cybersecurity and teaches various types of attacks and mechanisms to prevent them.
The following topics will be discussed:
- Attacks and attackers
- Safe and secure coding practices
- Basics of cryptography
- OS security
- Web security
- Network security
- Security through obscurity
- Cybersecurity in India,
- Case studies
Knowledge of computer programming and computer networks, familiarity with UNIX like OS, such as Linux/*BSD/Solaris
Thank you for your interest in the course. Unfortunately, it is fully booked.
Mon05Jun201711-12 pmRobert Bosch Centre for Cyber-Physical Systems, Seminar HallShow details
Vector Space Models represent words in a high dimensional space where “semantically” similar words are mapped to neighboring points. Such techniques have a long, rich history in the field of Natural Language Processing (NLP), but all methods depend in some way or another on the Distributional Hypothesis, which states that words that appear in the same contexts share semantic meaning. Here we share our experience in one such Predictive model, Word2vec Skip-Gram, a particularly computationally-efficient scheme for learning word embeddings from raw text.
The shallow neural network implementation of the model applied to a large Life Science corpus results in a Semantic Bio-Knowledge Graph of nodes (corresponding to words/phrases) and edge weights determined by metrics such as the Cosine Distance between vector pairs. We explore various properties exhibited by the Semantic Bio-Knowledge graph and highlight early results that suggest novel associations that are incipient from the data (such as between genes/diseases, drugs/genes, genes/genes etc.). In particular, the Temporal Analysis of the graph yields robust predictions of certain associations well ahead of their actual occurrence in the primary literature. We believe that a larger distributed software system, nferX, built on this model can augment knowledge synthesis and hypothesis generation in an era of exponentially growing literature.
About the Speaker
Murali Aravamudan is a serial entrepreneur, inventor and engineer who built successful technology companies in the Media and Telecom ecosystems. Murali is currently the Founder of the Life Sciences venture nference, whose mission is to improve clinical outcomes and commercial decisions through a large scale Artificial Intelligence (AI) technology platform. Murali is a technology pioneer having authored 95 US patents and more than 100 pending patents in the areas of search, personalization, conversational interfaces, data networking, telephony and, more recently, computational biology, pharmaceutical drug discovery and molecular diagnostics.
Earlier in his career, Murali served as Vice President and Chief Technology Officer of the Communications Software Business at Lucent Technologies and as a department head of Communications Software Research at Bell Laboratories, Murray Hill.
Tue09May2017Thu29Jun2017Robert Bosch Centre for Cyber-Physical Systems, Hands-on LabShow details
Instructor: Professor Abd-El-Kader Sahraoui, University of Toulouse and Laboratory for Analysis and Architecture of Systems (LAAS-CNRS)
Lectures: 10.00-12.00 pm on 9, 16, 23 and 30 May (Tuesdays)
Lab: 4.00-7.00 pm on 7, 8, 14, 15, 21, 22, 28 and 29 June (Tuesdays and Thursdays)
The course will give an introduction to Systems Engineering in the CPS context by discussing the following topics:
- Introduction to Systems Engineering
- Processes and associated standards
- Requirements Engineering
- Process conceptions and architectures
- Validation and verification
- Case studies
- Cyber-Physical Systems
During the lab, two students will work on applying the development methodology and prototyping to applications in the following domains:
- Intelligent transport systems
- CPS applications
- Distributed computer control and IoT
- Programming embedded systems on TI Tiva
Basic knowledge on hardware, software and control systems
Unfortunately, the maximum number of participants already registered.
Tue11Apr201710.30-11.30 amRobert Bosch Centre for Cyber-Physical Systems, Seminar HallShow details
Dynamical patterns such as spiral waves or target waves occur in a wide variety of natural systems spanning across a range of length scales: From intracellular calcium waves to waves of infection spreading over thousands of kilometers. These patterns also occur in physiological systems such as the heart, uterine myometrium, gastro-intestinal complex and cerebral cortex and are often observed in the context of deviations from the natural rhythm of the organ (arrhythmia). Most prominently, they are implicated in the disturbances to the normal pumping rate in the heart, resulting in cardiac disease, one of the leading causes of death in both the industrialized and developing world. For these reasons, arrhythmias are the subject of intense research.
Increased availability of experimental data and vastly improved computational power (high performance computation) have enormously facilitated the building of realistic models of these physiological systems, especially the heart. Modelling approaches are most useful in scenarios where they can complement experiments, such as in the investigation of complex spatial patterns of electrical activity that occur in the bulk of the heart during instances of cardiac arrhythmia. Further, models also have applications in drug-testing, prediction and therapeutic interventions in the context of life-threatening arrhythmia.
In this talk, I will outline the mathematics of excitable media which is used to model the dynamics in these systems. I will briefly discuss the tools of high-performance computation that are used typically for these systems. I will then describe a few results pertinent to the genesis, detection and control of arrhythmia in the context of heart. Finally, I will conclude with a brief discussion on modelling a different kind of pattern, viz, patterns of urban growth and demographic change.
About the Speaker
S. Sridhar obtained his Ph.D. in Theoretical Physics from the University of Madras in 2011. His doctoral research carried out at the Institute of Mathematical Sciences, Chennai, involved investigating the nonlinear dynamics of patterns in biological systems and developing control schemes for spatially extended chaos having potential medical applications.
After doing a PostDoc in the Chemistry Department at Brandeis University (USA), he joined Scimergent (Data Analytics company based in Chennai) as postdoctoral scientist in 2013 to work on an data-driven approach to study patterns of urbanization and economic networks in India. During 2015-2016, he worked as a Pegasus Marie-Curie Postdoctoral Fellow at the Department of Physics, Ghent University (Belgium).
His research interests include, modelling cardiac arrhythmia, pattern formation in biological and chemical systems, and spatiotemporal patterns of development and urbanization in India. He has also co-authored a book on genesis and control of patterns in excitable media and is currently editing a Research Topic on "Simulating Normal and Arrhythmic Dynamics: From Sub-Cellular to Tissue and Organ Level" for Frontiers journal.
Mon03Apr20174-5 pmRBCCPS, Seminar HallShow details
Analytics of network telemetry data is useful for addressing many important network operational problems. While Big Data techniques have been pushing scale boundaries for processing data ever further, in many cases the real bottleneck for analytics is the acquisition, i.e. the ability to generate and export the data on which analytics depends.
To address this issue, the framework distributed network analytics that pushes analytics processing into the network and dynamically sets up data sources as needed. One of the challenges of such a framework concerns providing users with simple ways to articulate network analytics queries and instruct the network which data to generate and provide.
We have addressed this issue using a model-driven approach that is presented in this talk. Using YANG as a way to model network analytics tasks, our system lets users articulate network analytics tasks at a very high level of abstraction that is subsequently broken down by the framework into lower-level analytics tasks which are deployed across the network.
Mouli Chandramouli, Cisco
Mouli Chandramouli has a M.Sc. and Ph.D. degree in Operations Research from the University of Arizona, Tucson. He worked at AT&T Bell Laboratories and Bell Communications Research for ten years in the areas of network performance modeling. Later he worked for the startup Dynamicsoft, that was later acquired by Cisco. He is currently working at Cisco in the area of analytics.
Mon13Mar2017Wed29Mar2017RBCCPS, Seminar HallInstructor: Professor K R K Rao, Head of Analog Training at Texas Instruments India, retd. Professor IIT MadrasSyllabus: The course will introduce a systems approach to analog design via detailed discussion of the following topics:
Specially designed experimental kits will be made available to enable the students to learn via laboratory exercises.Prerequisites: Curiosity to learn practical analog design.Timings:Theory: 9.30-10.30 am, Labs: 5-7pmDates: March 13, 15, 17, 20, 22, 24, 27, 29The course is fully booked.
- Automatic Gain Control
- Filter Design
- Phase Locked Loops
- Frequency Locked Loops.
Fri10Mar2017Sat11Mar2017M. S. Ramaiah Institute of Technology (MSRIT)Show details
The Symposium on Smarter Cities is being organized jointly by Ramaiah Institute of Technology, Bangalore and the Robert Bosch Centre for Cyber-Physical Systems (RBCCPS), Indian Institute of Science, Bangalore under TEQIP-II (Technical Education Quality Improvement Programme) and will be held at Ramaiah Institute of Technology campus on March 10-11, 2017.
Smarter Cities act as a catalyst for economic growth and improve the quality of life of their citizens by developing and implementing area-based technologies and solutions to today’s challenges.
The goal of the symposium is to provide a platform for domain experts, researchers, practitioners, and students to exchange ideas on technologies and practical experiences related to Smarter Cities. It will cover various aspects of Smarter Cities such as energy, transportation, water, healthcare, education, pollution, tourism and governance with a focus on state-of-the art technologies, methodologies, and best practices.
The symposium should be of interest to:
- Researchers in the Smarter Cities domain
- Participants in Smarter cities projects
- Students in engineering and management streams
- City administrators
An "Ideathon", open to students of engineering colleges all over India, will be part of the symposium. We welcome ideas that are novel, practical and of an interdisciplinary nature for solutions to problems related to Smarter Cities. The Ideathon will provide an opportunity to students to interact with experts and present their ideas for solving real-world problems.
The top three ideas will win cash awards worth a total of Rs. 1,50,000 (First prize – Rs. 75,000; second prize – Rs. 50,000; third prize – Rs. 25,000).
Please visit the Symposium website for detailed information on the program and the Ideathon.
Thu16Feb201711-12 pmRBCCPS, Seminar HallShow details
Formal modelling is hard and is often difficult to scale for large and complex systems. As part of the AMADEOS project, a tool was designed to facilitate rapid modelling and simulation of system-of-systems (SoS) using a customization of Google Blockly tool. Blockly has been adopted to ease the design of SoS by means of simpler and intuitive user interface; thus requiring minimal technology expertise and support for the SoS designer. This talk will showcase some of the ideas and results of the tool developed for the AMADEOS project.
Dr P. Arun Babu
P. Arun Babu worked as a postdoctoral researcher at ResilTech, Pisa for the European Union projects CECRIS (Certification of critical systems) and AMADEOS (Architecture for multi-criticality agile dependable evolutionary open system-of-systems). He received his PhD from Homi Bhabha National Institute at Indira Gandhi Centre for Atomic Research in 2013 and his M.Tech. degree from the University of Hyderabad in 2008. He has also worked in industry at Cavium Networks and Progress Software.
Wed18Jan20174.00 - 5.00 pmRobert Bosch Centre for Cyber-Physical Systems, Seminar HallShow details
The talk has two parts: The first part is on the LAAS-CNRS lab and its research related to systems and computing and applications. The second part is on systems engineering, ranging from systems monitoring and bridgening the gap between formal and semi-formal methods with a focus on requirement eliciaition issues and deployment. The seminar ends with actual challenging work of "Can we talk about emergent properties in engineering systems?" and a follow up debate with the audience on such issue.
A discussion on various possibilities for students to do PhD and visiting opportunities is part of the lecture.
Abd-El-Kader Sahraoui was born in the city of Frenda in the South West of Algeria. He obtained his B.Sc and M.Sc from Manchester University in 1977 and 1979. He has held different positions in industry from 1979 to 1984 and obtained his PhD and D.Sc. degrees from Toulouse University in 1987 and 1994.
He has been Lecturer, Assistant and Associate Professor at Toulouse University UPS and at Tarbes Engineering Institute ENIT. Currently, he is a Professor at Toulouse II University in the college of IUTB and a Research Associate at LAAS-CNRS of the French Research Council. He has been Associate Researcher at the University of California, Berkeley during the academic year 1999/2000, pursuing research in system engineering for advanced transportation systems. He was Guest Professor and Chair of Requirement Engineering at Hasso Plattner Institute for Systems Software Engineering in Postdam, Germany in the academic year 2001/2002.
Tue10Jan20175.00-6.00 pmDepartment of Electrical Communication Engineering, Golden Jubilee HallShow details
This talk will address VLSI architectures for emerging Internet of Things applications. There are a number of critical concerns: Machine learning and information analytics, reducing energy consumption and silicon area, and enhancing security and preventing piracy. Almost all things should have embedded classifiers to make decisions on data. Thus, reducing energy consumption of features and classifiers is important.
The first part of the talk will present energy reduction approaches for a medical Internet of Things for monitoring EEG and predicting seizures. In the second part of the talk, I will address hardware security and present approaches to designing circuits that cannot be easily reverse engineered and cannot be pirated. To this end, authentication and obfuscation approaches will be presented.
Tea/coffee will be served before the talk.
Prof Keshab K. Parhi, University of Minnesota, Minneapolis
Keshab K. Parhi has been with the University of Minnesota, Minneapolis since 1988, where he is currently Distinguished McKnight University Professor and Edgar F. Johnson Professor in the Department of Electrical and Computer Engineering.
He received the B.Tech. degree from the Indian Institute of Technology, Kharagpur in 1982, the M.S.E.E. degree from the University of Pennsylvania, Philadelphia in 1984, and his PhD degree from the University of California, Berkeley in 1988. He published 595 papers, holds 29 patents, and has authored the textbook VLSI Digital Signal Processing Systems (Wiley, 1999) and coedited the reference book Digital Signal Processing for Multimedia Systems (Marcel Dekker, 1999).
Keshab K. Parhi is widely recognized for his work on high-level transformations of iterative data-flow computations, for developing a formal theory of computing for design of digital signal processing systems, and for his contributions to multi-gigabit Ethernet systems on copper and fiber and for backplanes. His current research addresses VLSI architecture design of signal processing, communications and biomedical systems, error control coders and cryptography architectures, high-speed transceivers, stochastic computing, hardware security, and molecular computing. He is also currently working on intelligent classification of biomedical signals and images, for applications such as seizure prediction and detection, schizophrenia classification, biomarkers for mental disorders, brain connectivity, and diabetic retinopathy screening.
Mon02Jan201710.00-11.00Robert Bosch Centre for Cyber-Physical Systems, Seminar HallShow details
The rise of Internet of Things and cyber-physical systems create new challenges in interconnecting variety of devices and people for the systems to function in a holistic manner to address issues of efficiency, robustness and resilience of systems. As these systems become increasingly complex, there is a need to revisit system engineering approaches, standards, and semantic interoperability.
This talk will also provide an example of a Smart City project in Downtown Washington, D.C. and the approach taken from both a city management and technology perspective. Further, the talk will address challenges of interoperability by making the case that category theory provides a possible semantic foundation for engineering of such complex interlinked systems.
Prof Eswaran Subrahmanian, Carnegie Mellon University, Pittsburgh
His areas of research are engineering design, information modeling for collaborative engineering work, role of standards for product life cycle management, engineering and policy and systems engineering for collaborative work. He has worked on projects with ABB, Bosch, Bombardier, Boeing and Alcoa for creating, deploying, and supporting global systems engineering projects.
He had been guest researcher at the National Institute of Standards and Technology in the USA. He has been Visiting Professor at TU Delft, University of Lyon II and is a Distinguished Visiting Fellow of the Royal Academy of Engineering, UK. He is a Distinguished Scientist of the ACM and Fellow of the American Association of Advancement of Science (AAAS). He is also founding Member of Fields of View in Bangalore, India.
Fri16Dec20168.30 am - 1.30 pmShow details
This workshop aims at discussing two specific topics of potential value for addressing mobility problems in Indian cities: (1) Transportation modeling tools and (2) Transportation technologies.
Bengaluru and other cities in India are experiencing an unprecedented growth in the demand for travel and associated challenges, including traffic congestion, air pollution, declining safety of travellers, and economic impacts. To address these issues, a variety of mobility, policy, and technology solutions are being considered. These include smart city approaches such as mixed land-uses, transit oriented developments, walkable and cyclable neighborhoods, shared mobility, last mile connectivity, and the use of information and communication technologies (ICT) for traffic management. In the face of the multitude of mobility solutions being considered, transportation modeling tools play an important role in the evaluation and design of appropriate solutions.
Therefore, a specific focus of the workshop will be on the development of modelling tools that can be used to analyze (or simulate) urban travel demand and system performance under alternative scenarios of urban design, mobility policies, and technology solutions.
Another topic of interest to the workshop is emerging technologies that can potentially revolutionize urban mobility. Such technologies include automated (or the so called driverless), wireless connected, and sensing enabled transportation systems. A reason why these two topics – mobility modelling tools and emerging mobility technologies – will be discussed together is the potential for synergy between the two in addressing urban mobility problems. Therefore, opportunities for such synergies will be discussed as well.