Optimal Control of Gene Mutation in DNA Replication

We propose a molecular-level control system view of the gene mutations in DNA replication from the finite field concept. By treating DNA sequences as state variables, chemical mutagens and radiation as control inputs, one cell cycle as a step increment, and the measurements of the resulting DNA sequence as outputs, we derive system equations for both deterministic and stochastic discrete-time, finite-state systems of different scales. Defining the cost function as a summation of the costs of applying mutagens and the off-trajectory penalty, we solve the deterministic and stochastic optimal control problems by dynamic programming algorithm. In addition, given that the system is completely controllable, we find that the global optimum of both base-to-base and codon-to-codon deterministic mutations can always be achieved within a finite number of steps

Dynamic Multi-Objective Optimization With jMetal and Spark: a Case Study

Technologies for Big Data and Data Science are receiving increasing research interest nowadays. This paper introduces the prototyping architecture of a tool aimed to solve Big Data Optimization problems. Our tool combines the jMetal framework for multi-objective optimization with Apache Spark, a technology that is gaining momentum. In particular, we make use of the streaming facilities of Spark to feed an optimization problem with data from different sources. We demonstrate the use of our tool by solving a dynamic bi-objective instance of the Traveling Salesman Problem (TSP) based on near real-time traffic data from New York City, which is updated several times per minute. Our experiment shows that both jMetal and Spark can be integrated providing a software platform to deal with dynamic multi-optimization problems.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Route Swarm: Wireless Network Optimization through Mobility

In this paper, we demonstrate a novel hybrid architecture for coordinating networked robots in sensing and information routing applications. The proposed INformation and Sensing driven PhysIcally REconfigurable robotic network (INSPIRE), consists of a Physical Control Plane (PCP) which commands agent position, and an Information Control Plane (ICP) which regulates information flow towards communication/sensing objectives. We describe an instantiation where a mobile robotic network is dynamically reconfigured to ensure high quality routes between static wireless nodes, which act as source/destination pairs for information flow. The ICP commands the robots towards evenly distributed inter-flow allocations, with intra-flow configurations that maximize route quality. The PCP then guides the robots via potential-based control to reconfigure according to ICP commands. This formulation, deemed Route Swarm, decouples information flow and physical control, generating a feedback between routing and sensing needs and robotic configuration. We demonstrate our propositions through simulation under a realistic wireless network regime.Comment: 9 pages, 4 figures, submitted to the IEEE International Conference on Intelligent Robots and Systems (IROS) 201

Extending TRANSIMS Technology to an Integrated Multilevel Representation

The TRANSIMS system developed at Los Alamos in the USA over the past decade is a world leader in providing an integrated land-use transportation dynamical model for large areas with a million or more inhabitants. TRANSIMS uses standard survey data to create synthetic micropopulations, including family structure, to simulate trip making and emergent traffic dynamics. We propose to extend TRANSIMS by adapting it to a new multi-level representation, allowing dynamics to be algebraically integrated at the micro-, meso- and macro-levels. The new representation builds a lattice hierarchy in a way that integrates non-partitional hierarchies of links and routes based on the usual hierarchy of geographical zones, e.g. neighbourhoods, districts, cities, counties and countries. Applying the representation to a big city starts by defining sets of zones at different levels. At the first level, N, is the street. This can be subdivided to building plots at level N-1, buildings at level N-2, and even rooms at level N-3. At level N+1 are the neighbourhoods, at level N+2 is the set of district zones (each of them containing the different neighbourhoods in the previous level), and at the top level N+3 (in this case), is just one zone, the city itself. If a larger study area is to be considered, we would have a whole set of N+3 zones defining N+4-level areas, and so on, extending to the level of counties, countries or even continents. This paper will explain the fundamentals of TRANSIMS technology and compare it to other systems. We will show how TRANSIMS and the new multi-level representation can be brought together to give new insights into the macro-dynamics of very large road systems such as London, England and even the whole of Europe

QML-Morven : A Novel Framework for Learning Qualitative Models

Publisher PD

Automatic instantiation of abstract tests on specific configurations for large critical control systems

Computer-based control systems have grown in size, complexity, distribution and criticality. In this paper a methodology is presented to perform an abstract testing of such large control systems in an efficient way: an abstract test is specified directly from system functional requirements and has to be instantiated in more test runs to cover a specific configuration, comprising any number of control entities (sensors, actuators and logic processes). Such a process is usually performed by hand for each installation of the control system, requiring a considerable time effort and being an error prone verification activity. To automate a safe passage from abstract tests, related to the so called generic software application, to any specific installation, an algorithm is provided, starting from a reference architecture and a state-based behavioural model of the control software. The presented approach has been applied to a railway interlocking system, demonstrating its feasibility and effectiveness in several years of testing experience