Robust Model Predictive Control for Signal Temporal Logic Synthesis

Most automated systems operate in uncertain or adversarial conditions, and have to be capable of reliably reacting to changes in the environment. The focus of this paper is on automatically synthesizing reactive controllers for cyber-physical systems subject to signal temporal logic (STL) specifications. We build on recent work that encodes STL specifications as mixed integer linear constraints on the variables of a discrete-time model of the system and environment dynamics. To obtain a reactive controller, we present solutions to the worst-case model predictive control (MPC) problem using a suite of mixed integer linear programming techniques. We demonstrate the comparative effectiveness of several existing worst-case MPC techniques, when applied to the problem of control subject to temporal logic specifications; our empirical results emphasize the need to develop specialized solutions for this domain

Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications

We address the problem of diagnosing and repairing specifications for hybrid systems formalized in signal temporal logic (STL). Our focus is on the setting of automatic synthesis of controllers in a model predictive control (MPC) framework. We build on recent approaches that reduce the controller synthesis problem to solving one or more mixed integer linear programs (MILPs), where infeasibility of a MILP usually indicates unrealizability of the controller synthesis problem. Given an infeasible STL synthesis problem, we present algorithms that provide feedback on the reasons for unrealizability, and suggestions for making it realizable. Our algorithms are sound and complete, i.e., they provide a correct diagnosis, and always terminate with a non-trivial specification that is feasible using the chosen synthesis method, when such a solution exists. We demonstrate the effectiveness of our approach on the synthesis of controllers for various cyber-physical systems, including an autonomous driving application and an aircraft electric power system

Model Predictive Control for Signal Temporal Logic Specification

We present a mathematical programming-based method for model predictive control of cyber-physical systems subject to signal temporal logic (STL) specifications. We describe the use of STL to specify a wide range of properties of these systems, including safety, response and bounded liveness. For synthesis, we encode STL specifications as mixed integer-linear constraints on the system variables in the optimization problem at each step of a receding horizon control framework. We prove correctness of our algorithms, and present experimental results for controller synthesis for building energy and climate control

Summability properties of Gabor expansions

We show that there exist complete and minimal systems of time-frequency shifts of Gaussians in $L^2(\mathbb{R})$ which are not strong Markushevich basis (do not admit the spectral synthesis). In particular, it implies that there is no linear summation method for general Gaussian Gabor expansions. On the other hand we prove that the spectral synthesis for such Gabor systems holds up to one dimensional defect.Comment: 21 page

New Polynuclear Copper-Pyrazolate Complexes: Towards the Synthesis of Photo- and Redox-Active Metal Organic Frameworks

The main objectives of this project are the synthesis and redox- or photo-active modification and CO2 adsorption studies of metal-organic frameworks (MOFs) based on Cu3-pyrazolate secondary building units (SBUs). Trinuclear copper(II) complexes of the formula [Cu3(µ3-O)(µ-4-R-pz)3X3]z have been studied extensively due to their redox, magnetic and catalytic properties. In earlier work, we have shown that trinuclear copper(II) complexes of the formula [Cu3(µ3-O)(µ-4-R-pz)3X3]z pz = pyrazolato anion; R = H, CH(O), Cl, Br and NO2; X = Cl, NCS, CH3COO, CF3COO and pyridine – can be oxidized to the corresponding z+1, formally CuII2CuIII, species. In this project, fourteen (14) new copper-pyrazolate complexes of varying nuclearities (Cu3, Cu6, Cu7 and Cu12), terminal ligands (-NO2, py, -N3, -Cl) and bridging ligands (4-Cl-pzH and 4-Ph-pzH) have been synthesized. Efforts have been made to prepare MOFs based on the Cu3(µ3-O)-SBUs. While attempting to design the most suitable SBU for redox-active MOF construction, it was found that the one-electron oxidation of the all-CuII complex [Cu3(µ3-O)(µ-pz)3(NO2)3]2–, [8]2-, was achieved at redox potential more cathodic than any other Cu3(µ3-O)-complexes studied in our laboratory. The mixed-valent compound, [Cu3(µ3-O)(µ-pz)3(NO2)3]–, [8]-, the easiest accessible CuII2CuIII species known to date, was characterized spectroscopically. Compound [8] and analogous [11] release NO almost quantitatively upon the addition of PhSH or acetic acid. The system is catalytic in the presence of excess nitrite. Before embarking on the study of photo-active MOFs, a simpler model compound – a dimer of trimer [{Cu3(µ3-OH)(µ-4-Cl-pz)3(py)2}2(µ-abp)](ClO4)4 [21], where abp = 4,4’-azopyridine, was synthesized and its photochemistry was studied. The absorption spectra recorded before and after irradiation indicated a structural change. Two dimensional (2D) and three dimensional (3D) materials with {[Cu3(µ3-OH)(µ-4-R-pz)3]2+}n SBUs where R = Ph or Cl , which can potentially undergo cis/trans-isomerization, have been prepared during this project. A Phenyl substituent at 4-position on the pyrazole ligand leads to the formation of new class of 2D sheets. Three new 3D porous MOFs based on {[Cu3(µ3-OH)(µ-4-Cl-pz)3]2+}n SBUs have interpenetrated- lattice structures and are capable of adsorbing CO2 selectively. Compounds FIU-1 and FIU-3 also exhibit hysteretic sorption-desorption profiles indicating the flexibility of the MOFs upon adsorption. Compound FIU-1 demonstrates the usefulness of a hexanuclear CuII -pyrazolate moiety as an SBU for generating 3-fold interpenetrated 3D polymeric network. Complexes FIU-2 and FIU-3 have novel 3-fold interpenetrating 3D hexagonal framework structures. Compound FIU-2 crystallizes in the monoclinic crystal system with the P21/c space group, whereas FIU-3 crystallizes in triclinic space group P . Both structures contain Cu3-SBUs connected by the linkers through the Cu-termini

Energy-Efficient Multi-View Video Transmission with View Synthesis-Enabled Multicast

Multi-view videos (MVVs) provide immersive viewing experience, at the cost of heavy load to wireless networks. Except for further improving viewing experience, view synthesis can create multicast opportunities for efficient transmission of MVVs in multiuser wireless networks, which has not been recognized in existing literature. In this paper, we would like to exploit view synthesis-enabled multicast opportunities for energy-efficient MVV transmission in a multiuser wireless network. Specifically, we first establish a mathematical model to characterize the impact of view synthesis on multicast opportunities and energy consumption. Then, we consider the optimization of view selection, transmission time and power allocation to minimize the weighted sum energy consumption for view transmission and synthesis, which is a challenging mixed discrete-continuous optimization problem. We propose an algorithm to obtain an optimal solution with reduced computational complexity by exploiting optimality properties. To further reduce computational complexity, we also propose two low-complexity algorithms to obtain two suboptimal solutions, based on continuous relaxation and Difference of Convex (DC) programming, respectively. Finally, numerical results demonstrate the advantage of the proposed solutions.Comment: 22 pages, 6 figures, to be published in GLOBECOM 201