Mining citizen emotions to estimate the urgency of urban issues

Crowdsourcing technology offers exciting possibilities for local governments. Specifically, citizens are increasingly taking part in reporting and discussing issues related to their neighborhood and problems they encounter on a daily basis, such as overflowing trash-bins, broken footpaths and lifts, illegal graffiti, and potholes. Pervasive citizen participation enables local governments to respond more efficiently to these urban issues. This interaction between citizens and municipalities is largely promoted by civic engagement platforms, such as See-Click-Fix, FixMyStreet, CitySourced, and OpenIDEO, which allow citizens to report urban issues by entering free text describing what needs to be done, fixed or changed. In order to develop appropriate action plans and priorities, government officials need to figure out how urgent are the reported issues. In this paper we propose to estimate the urgency of urban issues by mining different emotions that are implicit in the text describing the issue. More specifically, a reported issue is first categorized according to the emotions expressed in it, and then the corresponding emotion scores are combined in order to produce a final urgency level for the reported issue. Our experiments use the SeeClickFix hackathon data and diverse emotion classification algorithms. They indicate that (i) emotions can be categorized efficiently with supervised learning algorithms, and (ii) the use of citizen emotions leads to accurate urgency estimates. Further, using additional features such as the type of issue or its author leads to no further accuracy gains.     

Stability robustness of networked control systems with respect to packet loss

This paper is concerned with stability analysis of discrete-time networked control systems over a communication channel subject to packet loss whose behavior is modeled by an i.i.d Bernoulli process with a packet dropping probability bounded by a constant. A necessary and sufficient condition for stability is obtained. A packet dropping margin is introduced as a measure of stability robustness of a system against packet dropping, and a formula for it is derived. A design method is proposed for achieving a large margin subject to a constraint that the system has a set of prescribed nominal closed-loop poles.     

Development of an undergraduate course – Internet-based instrumentation and control

The objective, strategy, and implementation details of a new undergraduate course, Internet-based Instrumentation and Control, are presented. The course has a companion laboratory that is supported by the National Science Foundation and industry. The combination is offered to senior-level undergraduate engineering students interested in sensing, instrumentation, control, and web programming that want to learn more about the integration of these technologies for solving real-world engineering problems. The course will also be offered to gifted high school seniors with similar interests and can serve as a vehicle to attract them to engineering disciplines. Preliminary assessment of the first offering of the course is encouraging and has shown that the course has achieved success in helping students understand concepts and master basic technologies for developing Internet-based automatic systems.     

具有随机丢包的网络化多自主体系统的一致性

研究具有随机丢包的网络化多自主体系统的均方一致性问题,其中不同自主体间的通信通道具有相同的丢包情况并且均服从马尔可夫(Markov)分布。首先,利用系统变换和迭代方法,得到了系统达到均方一致的一个初等充要条件。然后,利用矩阵理论和图论知识,如果拓扑图含有有向生成树,则可以将系统的均方一致性转化成一个线性Markov跳变系统的均方稳定性,并且可以建立线性矩阵不等式形式的均方可镇定准则。最后,通过相应的仿真实例说明了所得结论的可行性。     

Asynchronous decentralized event-triggered control

In this paper we propose an approach to the implementation of controllers with decentralized strategies triggering controller updates. We consider set-ups with a central node in charge of the computation of the control commands, and a set of not co-located sensors providing measurements to the controller node. The solution we propose does not require measurements from the sensors to be synchronized in time. The sensors in our proposal provide measurements in an aperiodic way triggered by local conditions. Furthermore, in the proposed implementation (most of) the communication between nodes requires only the exchange of one bit of information (per controller update), which could aid in reducing transmission delays and as a secondary effect result in fewer transmissions being triggered.     

Event-driven observer-based output feedback control for linear systems

This paper concerns the problem of event-driven observer-based output feedback control of linear systems. Contrary to normal sampled-data control systems, where the controller is updated periodically, in event-driven systems, it is updated only when an “event” happens, and a typical event is defined as some error signals exceeding a given threshold. Both continuous- and discrete-time event detector cases are considered. It is shown that even with the significantly reduced sampling frequency, the global uniform ultimate boundedness of the event-driven closed-loop systems can also be guaranteed. A numerical example is finally used to illustrate the effectiveness and advantages of the proposed approaches.     

Manipulability of leader–follower networks with the rigid-link approximation

This paper introduces the notion of manipulability to mobile, multi-agent networks as a tool to analyze the instantaneous effectiveness of injecting control inputs at certain, so-called leader nodes in the network. Effectiveness is interpreted to characterize how the movements of the leader nodes translate into responses among the remaining follower nodes. This notion of effectiveness is a function of the interaction topologies, the agent configurations, and the particular choice of inputs used to influence the network. In fact, classic manipulability is an index used in robotics to analyze the singularity and efficiency of configurations of robot-arm manipulators. To define similar notions for leader–follower networks, we use a rigid-link approximation of the follower dynamics and, under this assumption, we prove that the instantaneous follower velocities can be uniquely determined from that of the leaders’, which allows us to define a meaningful and computable manipulability index for the leader–follower networks. This paper examines the property of the proposed index in simulation and with real mobile robots, and demonstrates how the index can be used to find effective interaction topologies.     

A distributed solution to the network reconstruction problem

It has been recently shown in Ren et al. (2010) that by collecting noise-contaminated time series generated by a coupled-oscillator system at each node of a network, it is possible to robustly reconstruct its topology, i.e. determine the graph Laplacian. Restricting ourselves to linear consensus dynamics over undirected communication networks, in this paper we introduce a new dynamic average consensus least-squares algorithm to locally estimate these time series at each node, thus making the reconstruction process fully distributed and more easily applicable in the real world. We also propose a novel efficient method for separating the off-diagonal entries of the reconstructed Laplacian, and examine several concepts related to the trace of the dynamic correlation matrix of the coupled single integrators, which is a distinctive element of our network reconstruction method. The theory is illustrated with examples from computer, power and transportation systems.     

Decentralized control: Status and outlook

This paper reviews state of the art in the area of decentralized networked control systems with an emphasis on event-triggered approach. The models or agents with the dynamics of linear continuous-time time-invariant state-space systems are considered. They serve for the framework for network phenomena within two basic structures. The I/O-oriented systems as well as the interaction-oriented systems with disjoint subsystems are distinguished. The focus is laid on the presentation of recent decentralized control design and co-design methods which offer effective tools to overcome specific difficulties caused mainly by network imperfections. Such side-effects include communication constraints, variable sampling, time-varying transmission delays, packet dropouts, and quantizations. Decentralized time-triggered methods are briefly discussed. The review is deals mainly with decentralized event-triggered methods. Particularly, the stabilizing controller–observer event-based controller design as well as the decentralized state controller co-design are presented within the I/O-oriented structures of large scale complex systems. The sampling instants depend in this case only on a local information offered by the local feedback loops. Minimum sampling time conditions are discussed. Special attention is focused on interaction-oriented system architecture. Model-based approach combined with event-based state feedback controller design is presented, where the event thresholds are fully decentralized. Finally, several selected open decentralized control problems are briefly offered as recent research challenges.     

Model checking response times in Networked Automation Systems using jitter bounds

Response time (RT) of Networked Automation Systems (NAS) is affected by timing imperfections induced due to the network, computing and hardware components. Guaranteeing RT in the presence of such timing imperfections is essential for building dependable NAS, and to avoid costly upgrades after deployment in industries.This investigation proposes a methodology and work-flow that combines modelling, simulation, verification, experiments, and software tools to verify the RT of the NAS during the design, rather than after deployment. The RT evaluation work-flow has three phases: model building, modelling and verification. During the model building phase component reaction times are specified and their timing performance is measured by combining experiments with simulation. During the modelling phase, component based mathematical models that capture the network architecture and inter-connection are proposed. Composition of the component models gives the NAS model required for studying the RT performance on system level. Finally, in the verification step, the NAS formal models are abstracted as UPPAAL timed automata with their timing interfaces. To model timing interfaces, the action patterns, and their timing wrapper are proposed. The formal model of high level of abstraction is used to verify the total response time of the NAS where the reactions to be verified are specified using a subset of timed computation tree logic (TCTL) in UPPAAL model checker. The proposed approach is illustrated on an industrial steam boiler deployment.