Control of dynamical systems with temporal logic specifications

This thesis is motivated by safety-critical applications involving autonomous air, ground, and space vehicles carrying out complex tasks in uncertain and adversarial environments. We use temporal logic as a language to formally specify complex tasks and system properties. Temporal logic specifications generalize the classical notions of stability and reachability that are studied in the control and hybrid systems communities. Given a system model and a formal task specification, the goal is to automatically synthesize a control policy for the system that ensures that the system satisfies the specification. This thesis presents novel control policy synthesis algorithms for optimal and robust control of dynamical systems with temporal logic specifications. Furthermore, it introduces algorithms that are efficient and extend to high-dimensional dynamical systems.

The first contribution of this thesis is the generalization of a classical linear temporal logic (LTL) control synthesis approach to optimal and robust control. We show how we can extend automata-based synthesis techniques for discrete abstractions of dynamical systems to create optimal and robust controllers that are guaranteed to satisfy an LTL specification. Such optimal and robust controllers can be computed at little extra computational cost compared to computing a feasible controller.

The second contribution of this thesis addresses the scalability of control synthesis with LTL specifications. A major limitation of the standard automaton-based approach for control with LTL specifications is that the automaton might be doubly-exponential in the size of the LTL specification. We introduce a fragment of LTL for which one can compute feasible control policies in time polynomial in the size of the system and specification. Additionally, we show how to compute optimal control policies for a variety of cost functions, and identify interesting cases when this can be done in polynomial time. These techniques are particularly relevant for online control, as one can guarantee that a feasible solution can be found quickly, and then iteratively improve on the quality as time permits.

The final contribution of this thesis is a set of algorithms for computing feasible trajectories for high-dimensional, nonlinear systems with LTL specifications. These algorithms avoid a potentially computationally-expensive process of computing a discrete abstraction, and instead compute directly on the system's continuous state space. The first method uses an automaton representing the specification to directly encode a series of constrained-reachability subproblems, which can be solved in a modular fashion by using standard techniques. The second method encodes an LTL formula as mixed-integer linear programming constraints on the dynamical system. We demonstrate these approaches with numerical experiments on temporal logic motion planning problems with high-dimensional (10+ states) continuous systems.

New generation of two-dimensional spintronic systems realized by coupling of Rashba and Dirac fermions

Intriguing phenomena and novel physics predicted for two-dimensional (2D) systems formed by electrons in Dirac or Rashba states motivate an active search for new materials or combinations of the already revealed ones. Being very promising ingredients in themselves, interplaying Dirac and Rashba systems can provide a base for next generation of spintronics devices, to a considerable extent, by mixing their striking properties or by improving technically significant characteristics of each other. Here, we demonstrate that in BiTeI@PbSb2Te4 composed of a BiTeI trilayer on top of the topological insulator (TI) PbSb2Te4 weakly- and strongly-coupled Dirac-Rashba hybrid systems are realized. The coupling strength depends on both interface hexagonal stacking and trilayer-stacking order. The weakly-coupled system can serve as a prototype to examine, e.g., plasmonic excitations, frictional drag, spin-polarized transport, and charge-spin separation effect in multilayer helical metals. In the strongly-coupled regime, within similar to 100 meV energy interval of the bulk TI projected bandgap a helical state substituting for the TI surface state appears. This new state is characterized by a larger momentum, similar velocity, and strong localization within BiTeI. We anticipate that our findings pave the way for designing a new type of spintronics devices based on Rashba-Dirac coupled systems.

Computer-aided design of PV/wind hybrid system

A complete set of match calculation methods for optimum sizing of PV/wind hybrid system is presented. In this method, the more accurate and practical mathematic models for characterizing PV module, wind generator and battery are adopted; combining with hourly measured meteorologic data and load data, the performance of a PV/wind hybrid system is determined on a hourly basis; by fixing the capacity of wind generators, the whole year's LPSP (loss of power supply probability) values of PV/wind hybrid systems with different capacity of PV array and battery bank are calculated, then the trade-off curve between battery bank and PV array capacity is drawn for the given LPSP value; the optimum configuration which can meet the energy demand with the minimum cost can be found by drawing a tangent to the trade-off curve with the slope representing the relationship between cost of PV module and that of the battery. According to this match calculation method, a set of match calculation programs for optimum sizing of PV/wind hybrid systems have been developed. Applying these match calculation programs to an assumed PV/wind hybrid system to be installed at Waglan island of Hong Kong, the optimum configuration and its hourly, daily, monthly and yearly performances are given. (C) 2003 Elsevier Science Ltd. All rights reserved.

Efficient modelling and optimisation of hybrid multilayered plates subject to ballistic impact

Among the key challenges present in the modelling and optimisation of composite structures against impact is the computational expense involved in setting up accurate simulations of the impact event and then performing the iterations required to optimise the designs. It is of more interest to find good designs given the limitations of the resources and time available rather than the best possible design. In this paper, low cost but sufficiently accurate finite element (FE) models were generated in LS Dyna for several experimentally characterised materials by semi-automating the modelling process and using existing material models. These models were then used by an optimisation algorithm to generate new hybrid offspring, leading to minimum weight and/or cost designs from a selection of isotropic metals, polymers and orthotropic fibre-reinforced laminates that countered a specified impact threat. Experimental validation of the optimal designs thus identified was then successfully carried out using a single stage gas gun. With sufficient computational hardware, the techniques developed in this pilot study can further utilise fine meshes, equations of state and sophisticated material models, so that optimal hybrid systems can be identified from a wide range of materials, designs and threats.

A hybrid case adaptation approach for case-based reasoning

Case-Based Reasoning is a methodology for problem solving based on past experiences. This methodology tries to solve a new problem by retrieving and adapting previously known solutions of similar problems. However, retrieved solutions, in general, require adaptations in order to be applied to new contexts. One of the major challenges in Case-Based Reasoning is the development of an efficient methodology for case adaptation. The most widely used form of adaptation employs hand coded adaptation rules, which demands a significant knowledge acquisition and engineering effort. An alternative to overcome the difficulties associated with the acquisition of knowledge for case adaptation has been the use of hybrid approaches and automatic learning algorithms for the acquisition of the knowledge used for the adaptation. We investigate the use of hybrid approaches for case adaptation employing Machine Learning algorithms. The approaches investigated how to automatically learn adaptation knowledge from a case base and apply it to adapt retrieved solutions. In order to verify the potential of the proposed approaches, they are experimentally compared with individual Machine Learning techniques. The results obtained indicate the potential of these approaches as an efficient approach for acquiring case adaptation knowledge. They show that the combination of Instance-Based Learning and Inductive Learning paradigms and the use of a data set of adaptation patterns yield adaptations of the retrieved solutions with high predictive accuracy.

Evaluation of a micro PV-Wind hybrid system in Nordic climate conditions

A one year data analysis for a micro PV-Wind hybrid system (0.52 kW + 1 kW), installed in Borlänge/Sweden is presented in this paper. The system performance was evaluated according the guidelines of the IEC 61724 standard. The parameters obtained allow a comparison with similar systems. The measurement data are also used to evaluate the sizing and operation of the hybrid system. In addition, the system was modelled in HOMER to study sizing options.

A testing and demonstration facility for PV systems and components

A test and demonstration facility for PV and PV hybrid systems and system components has been designed and installed at Dalarna University in Sweden. The facility allows studies of complete PV systems or single components in a range of 0.1-10 kW. The facility includes two grid-connected PV systems, a PV Hybrid off-grid system, three emulators and the necessary measurement and control equipment. Tests can be done manually or automatically through programmed test procedures controlled that will be implemented in Labview. The facility shall be used by researchers, professionals of the industry and engineering students.

Invariance for Impulsive Control Systems

In this article, we provide invariance conditions for control systems whose dynamics are given by measure driven differential inclusions. The solution concept plays a critical role in the extension of the conventional conditions for the impulsive control context. A couple of examples illustrating the specific features of impulsive control systems are included.

An extension of the invariance principle for dwell-time switched nonlinear systems

In this paper, we propose an extension of the invariance principle for nonlinear switched systems under dwell-time switched solutions. This extension allows the derivative of an auxiliary function V, also called a Lyapunov-like function, along the solutions of the switched system to be positive on some sets. The results of this paper are useful to estimate attractors of nonlinear switched systems and corresponding basins of attraction. Uniform estimates of attractors and basin of attractions with respect to time-invariant uncertain parameters are also obtained. Results for a common Lyapunov-like function and multiple Lyapunov-like functions are given. Illustrative examples show the potential of the theoretical results in providing information on the asymptotic behavior of nonlinear dynamical switched systems. (C) 2012 Elsevier B.V. All rights reserved.

SCIENTIFIC MANAGEMENT SYSTEMS AS ENFRAMING OR EMPOWERING: HOW LEAN AND SIX SIGMA DEFINE TECHNICAL COMMUNICATION

In this project, I examine current forms of scientific management systems, Lean and Six Sigma, as they relate to technical communication. With the goal of breaking work up into standardized processes in order to cut costs and increase efficiency, Lean, Six Sigma and Lean Six Sigma hybrid systems are increasingly applied beyond manufacturing operations to service and other types of organizational work, including technical communication. By consulting scholarship from fields such as business, management, and engineering, and analyzing government Lean Six Sigma documentation, I investigate how these systems influence technical communication knowledge and practice in the workplace. I draw out the consequences of system-generated power structures as they affect knowledge work, like technical communication practice, when it is reduced to process. In pointing out the problems these systems have in managing knowledge work, I also ask how technical communication might shape them.

Videoconference capacity Leasing on Hybrid Clouds.

This paper proposes a new methodology focused on implementing cost effective architectures on Cloud Computing systems. With this methodology the paper presents some disadvantages of systems that are based on single Cloud architectures and gives some advices for taking into account in the development of hybrid systems. The work also includes a validation of these ideas implemented in a complete videoconference service developed with our research group. This service allows a great number of users per conference, multiple simultaneous conferences, different client software (requiring transcodification of audio and video flows) and provides a service like automatic recording. Furthermore it offers different kinds of connectivity including SIP clients and a client based on Web 2.0. The ideas proposed in this article are intended to be a useful resource for any researcher or developer who wants to implement cost effective systems on several Clouds

Unsaturated polyester-poly(epsilon-caprolactone) hybrid nanocomposites: Thermal-mechanical properties

This paper reports on the thermal behavior and mechanical properties of nanocomposites based on unsaturated polyester resin (UP) modified with poly(ɛ-caprolactone) (PCL) and reinforced with an organically modified clay (cloisite 30B). To optimize the dispersion of 30B and the mixing of PCL in the UP resin, two different methods were employed to prepare crosslinked UP–PCL-30B hybrid nanocomposites. Besides, two samples of poly(ɛ-caprolactone) of different molecular weight (PCL2: Mn = 2.103g.mol−1 and PCL50: Mn = 5.104g.mol−1) were used at several concentrations (4, 6, 10 wt%). The 30B concentration was 4 wt% in all the nanocomposites. The morphology of the samples was studied by scanning electron microscopy (SEM). The analysis of X-ray patterns reveals that intercalated structures have been found for all ternary nanocomposites, independently of the molecular weight, PCL concentration and the preparation method selected. A slight rise of the glass transition temperature, Tg, is observed in UP/PCL/4%30B ternary nanocomposites regarding to neat UP. The analysis of the tensile properties of the ternary (hybrid) systems indicates that UP/4%PCL2/4%30B nanocomposite improves the tensile strength and elongation at break respect to the neat UP while the Young modulus remains constant