scispace - formally typeset
Search or ask a question

Showing papers in "arXiv: Systems and Control in 2010"


Posted Content
TL;DR: A rule-based fuzzy system is presented for fusion of raw data obtained from the sensors having complement characteristics in accuracy and bandwidth and a fuzzy predictor system is also suggested aiming to extremely high accuracy for highly sensitive applications.
Abstract: This paper proposes a new approach to multi-sensor data fusion. It suggests that aggregation of data from multiple sensors can be done more efficiently when we consider information about sensors' different characteristics. Similar to most research on effective sensors' characteristics, especially in control systems, our focus is on sensors' accuracy and frequency response. A rule-based fuzzy system is presented for fusion of raw data obtained from the sensors that have complement characteristics in accuracy and bandwidth. Furthermore, a fuzzy predictor system is suggested aiming for extreme accuracy which is a common need in highly sensitive applications. Advantages of our proposed sensor fusion system are shown by simulation of a control system utilizing the fusion system for output estimation.

24 citations


Posted Content
TL;DR: In this article, the authors extend Takens' result to establish deterministic, explicit and nonasymptotic sufficient conditions for a delay coordinate map to form a stable embedding in the restricted case of linear dynamical systems and observation functions.
Abstract: Takens' Embedding Theorem remarkably established that concatenating M previous outputs of a dynamical system into a vector (called a delay coordinate map) can be a one-to-one mapping of a low-dimensional attractor from the system state space. However, Takens' theorem is fragile in the sense that even small imperfections can induce arbitrarily large errors in this attractor representation. We extend Takens' result to establish deterministic, explicit and non-asymptotic sufficient conditions for a delay coordinate map to form a stable embedding in the restricted case of linear dynamical systems and observation functions. Our work is inspired by the field of Compressive Sensing (CS), where results guarantee that low-dimensional signal families can be robustly reconstructed if they are stably embedded by a measurement operator. However, in contrast to typical CS results, i) our sufficient conditions are independent of the size of the ambient state space, and ii) some system and measurement pairs have fundamental limits on the conditioning of the embedding (i.e., how close it is to an isometry), meaning that further measurements beyond some point add no further significant value. We use several simple simulations to explore the conditions of the main results, including the tightness of the bounds and the convergence speed of the stable embedding. We also present an example task of estimating the attractor dimension from time-series data to highlight the value of stable embeddings over traditional Takens' embeddings.

15 citations


Posted Content
TL;DR: In this paper, the authors consider the problem of controller design using approximately bisimilar abstractions with an emphasis on safety and reachability specifications and propose abstraction-based approaches to solve both classes of problems.
Abstract: In this paper, we consider the problem of controller design using approximately bisimilar abstractions with an emphasis on safety and reachability specifications. We propose abstraction-based approaches to solve both classes of problems. We start by synthesizing a controller for an approximately bisimilar abstraction. Then, using a concretization procedure, we obtain a controller for our initial system that is proved "correct by design". We provide guarantees of performance by giving estimates of the distance of the synthesized controller to the maximal (i.e the most permissive) safety controller or to the time-optimal reachability controller. Finally, we use the presented techniques combined with discrete approximately bisimilar abstractions of switched systems developed recently, for switching controller synthesis.

13 citations


Posted Content
TL;DR: FCD appears to play an important role in key signaling transduction mechanisms in eukaryotes, including the ERK and Wnt pathways, as well as in E.coli and possibly other prokaryotic chemotaxis pathways.
Abstract: We study in this paper certain properties of the responses of dynamical systems to external inputs. The motivation arises from molecular systems biology. and, in particular, the recent discovery of an important transient property, related to Weber's law in psychophysics: "fold-change detection" in adapting systems, the property that scale uncertainty does not affect responses. FCD appears to play an important role in key signaling transduction mechanisms in eukaryotes, including the ERK and Wnt pathways, as well as in E.coli and possibly other prokaryotic chemotaxis pathways. In this paper, we provide further theoretical results regarding this property. Far more generally, we develop a necessary and sufficient characterization of adapting systems whose transient behaviors are invariant under the action of a set (often, a group) of symmetries in their sensory field. A particular instance is FCD, which amounts to invariance under the action of the multiplicative group of positive real numbers. Our main result is framed in terms of a notion which extends equivariant actions of compact Lie groups. Its proof relies upon control theoretic tools, and in particular the uniqueness theorem for minimal realizations.

12 citations


Posted Content
TL;DR: In this paper, a method for abstracting continuous dynamical systems by timed automata is presented, and conditions for obtaining sound, complete, and refinable abstractions are set up.
Abstract: In this report proofs are presented for a method for abstracting continuous dynamical systems by timed automata. The method is based on partitioning the state space of dynamical systems with invariant sets, which form cells representing locations of the timed automata. To enable verification of the dynamical system based on the abstraction, conditions for obtaining sound, complete, and refinable abstractions are set up. It is proposed to partition the state space utilizing sub-level sets of Lyapunov functions, since they are positive invariant sets. The existence of sound abstractions for Morse-Smale systems and complete and refinable abstractions for linear systems are proved.

12 citations


Posted Content
TL;DR: In this article, the authors considered a buffered, dynamic network with multiple sources, and sources use a retransmission strategy in order to improve packet delivery probability, where the optimization problem is formulated as a Markov Decision Process, where constraints and objective functions are ratios of time-averaged cost functions.
Abstract: We study optimal transmission strategies in interfering wireless networks, under Quality of Service constraints. A buffered, dynamic network with multiple sources is considered, and sources use a retransmission strategy in order to improve packet delivery probability. The optimization problem is formulated as a Markov Decision Process, where constraints and objective functions are ratios of time-averaged cost functions. The optimal strategy is found as the solution of a Linear Fractional Program, where the optimization variables are the steady-state probability of state-action pairs. Numerical results illustrate the dependence of optimal transmission/interference strategies on the constraints imposed on the network.

10 citations


Posted Content
TL;DR: An overview and analysis of known existing paradigms and methods of mathematical modeling and simulation of complex systems, which support the processes of control and decision making for complex hierarchical systems functioning in control loop are provided.
Abstract: We discuss the problems of modeling, control, and decision support in complex dynamic systems from a general system theoretic point of view. The main characteristics of complex systems and of system approach to complex system study are considered. We provide an overview and analysis of known existing paradigms and methods of mathematical modeling and simulation of complex systems, which support the processes of control and decision making. Then we continue with the general dynamic modeling and simulation technique for complex hierarchical systems functioning in control loop. Architectural and structural models of computer information system intended for simulation and decision support in complex systems are presented.

10 citations


Posted Content
TL;DR: It is proved that under two sufficient conditions: a) the objective function of the algorithm is continuous and all its local maxima are global maxima, and b) the origin is an interior point within the range of the considered transformation of the random perturbation, the corresponding adaptive distributed beamforming schemes converge both in probability and in mean.
Abstract: This work focuses on the convergence analysis of adaptive distributed beamforming schemes that can be reformulated as local random search algorithms via a random search framework. Once reformulated as local random search algorithms, it is proved that under two sufficient conditions: a) the objective function of the algorithm is continuous and all its local maxima are global maxima, and b) the origin is an interior point within the range of the considered transformation of the random perturbation, the corresponding adaptive distributed beamforming schemes converge both in probability and in mean. This proof of convergence is general since it can be applied to analyze randomized adaptive distributed beamforming schemes with any type of objective functions and probability measures as long as both the sufficient conditions are satisfied. Further, this framework can be generalized to analyze an asynchronous scheme where distributed transmitters can only update their beamforming coefficients asynchronously. Simulation results are also provided to validate our analyses.

7 citations


Posted Content
TL;DR: In this article, an iterative feedback design algorithm for stabilisation of discrete-time switched systems under arbitrary switching regimes is presented and implemented for single-input single-output (SISO) systems, based on iterative approximate common eigenvector assignment.
Abstract: This paper presents and implements an iterative feedback design algorithm for stabilisation of discrete-time switched systems under arbitrary switching regimes. The algorithm seeks state feedback gains so that the closed-loop switching system admits a common quadratic Lyapunov function (CQLF) and hence is uniformly globally exponentially stable. Although the feedback design problem considered can be solved directly via linear matrix inequalities (LMIs), direct application of LMIs for feedback design does not provide information on closed-loop system structure. In contrast, the feedback matrices computed by the proposed algorithm assign closed-loop structure approximating that required to satisfy Lie-algebraic conditions that guarantee existence of a CQLF. The main contribution of the paper is to provide, for single-input systems, a numerical implementation of the algorithm based on iterative approximate common eigenvector assignment, and to establish cases where such algorithm is guaranteed to succeed. We include pseudocode and a few numerical examples to illustrate advantages and limitations of the proposed technique.

5 citations


Posted Content
TL;DR: In this paper, the effect of sampling parameters on the reconstruction error and the sampling ratio was considered and feasible approaches for achieving an optimal sampling and reconstruction were proposed for sparse spectrum multiband signals.
Abstract: Periodic nonuniform sampling has been considered in literature as an effective approach to reduce the sampling rate far below the Nyquist rate for sparse spectrum multiband signals. In the presence of non-ideality the sampling parameters play an important role on the quality of reconstructed signal. Also the average sampling ratio is directly dependent on the sampling parameters that they should be chosen for a minimum rate and complexity. In this paper we consider the effect of sampling parameters on the reconstruction error and the sampling ratio and suggest feasible approaches for achieving an optimal sampling and reconstruction.

4 citations


Posted Content
TL;DR: This work proposes a theoretical development of the model-free control in order to extend its robustness capabilities using an optimal approach and some examples are discussed to illustrate the approach.
Abstract: We propose a theoretical development of the model-free control in order to extend its robustness capabilities. The proposed method is based on the auto-tuning of the model-free controller parameter using an optimal approach. Some examples are discussed to illustrate our approach.

Journal ArticleDOI
TL;DR: The stability of a Markovian model of electricity production and consumption that incorporates production volatility due to renewables and uncertainty about actual demand versus planned production is studied.
Abstract: We study the stability of a Markovian model of electricity production and consumption that incorporates production volatility due to renewables and uncertainty about actual demand versus planned production. We assume that the energy producer targets a fixed energy reserve, subject to ramp-up and ramp-down constraints, and that appliances are subject to demand-response signals and adjust their consumption to the available production by delaying their demand. When a constant fraction of the delayed demand vanishes over time, we show that the general state Markov chain characterizing the system is positive Harris and ergodic (i.e., delayed demand is bounded with high probability). However, when delayed demand increases by a constant fraction over time, we show that the Markov chain is non-positive (i.e., there exists a non-zero probability that delayed demand becomes unbounded). We exhibit Lyapunov functions to prove our claims. In addition, we provide examples of heating appliances that, when delayed, have energy requirements corresponding to the two considered cases.

Posted Content
TL;DR: A new method of H_infinity observer design for Lipschitz nonlinear systems is proposed in the form of an LMI optimization problem, which has guaranteed decay rate (exponential convergence) and is robust against unknown exogenous disturbance.
Abstract: In this paper, a new method of H_infinity observer design for Lipschitz nonlinear systems is proposed in the form of an LMI optimization problem. The proposed observer has guaranteed decay rate (exponential convergence) and is robust against unknown exogenous disturbance. In addition, thanks to the linearity of the proposed LMIs in the admissible Lipschitz constant, it can be maximized via LMI optimization. This adds an extra important feature to the observer, robustness against nonlinear uncertainty. Explicit bound on the tolerable nonlinear uncertainty is derived. The new LMI formulation also allows optimizations over the disturbance attenuation level (H_infinity cost). Then, the admissible Lipschitz constant and the disturbance attenuation level of the H_infinity filter are simultaneously optimized through LMI multiobjective optimization.

Posted Content
TL;DR: This paper proposes a method for abstracting control systems by timed game automata, and is aimed at obtaining automatic controller synthesis by partitioning the state space of a control system using positive and negative invariant sets, generated by Lyapunov functions.
Abstract: This paper proposes a method for abstracting control systems by timed game automata, and is aimed at obtaining automatic controller synthesis. The proposed abstraction is based on partitioning the state space of a control system using positive and negative invariant sets, generated by Lyapunov functions. This partitioning ensures that the vector field of the control system is transversal to the facets of the cells, which induces some desirable properties of the abstraction. To allow a rich class of control systems to be abstracted, the update maps of the timed game automaton are extended. Conditions on the partitioning of the state space and the control are set up to obtain sound abstractions. Finally, an example is provided to demonstrate the method applied to a control problem related to navigation.

Posted Content
TL;DR: This paper presents in this paper an alternative definition to Liouvillian systems using the language of diffieties and infinite prolongation theory.
Abstract: Liouvillian systems were initially introduced within the framework of differential algebra. They can be seen as a natural extension of differential flat systems. Many physical non flat systems seem to be Liouvillian. We present in this paper an alternative definition to this class of systems using the language of diffieties and infinite prolongation theory.

Posted Content
TL;DR: In this article, the authors studied the equilibrium states reached by a network whose members increase (resp. decrease) their security deployment when learning that the network infection is widespread, and they found that the equilibrium level of infection increases as the learning rate of the members increases.
Abstract: An epidemic spreading in a network calls for a decision on the part of the network members: They should decide whether to protect themselves or not. Their decision depends on the trade-off between their perceived risk of being infected and the cost of being protected. The network members can make decisions repeatedly, based on information that they receive about the changing infection level in the network. We study the equilibrium states reached by a network whose members increase (resp. decrease) their security deployment when learning that the network infection is widespread (resp. limited). Our main finding is that the equilibrium level of infection increases as the learning rate of the members increases. We confirm this result in three scenarios for the behavior of the members: strictly rational cost minimizers, not strictly rational, and strictly rational but split into two response classes. In the first two cases, we completely characterize the stability and the domains of attraction of the equilibrium points, even though the first case leads to a differential inclusion. We validate our conclusions with simulations on human mobility traces.

Posted Content
TL;DR: The paper deals with joint state and parameter estimation for nonlinear continuous-time systems and the set adaptive observers design problem is solved avoiding the exponential complexity obstruction usually met in the set-membership parameter estimation.
Abstract: The paper deals with joint state and parameter estimation for nonlinear continuous-time systems. Based on a guaranteed LPV approximation, the set adaptive observers design problem is solved avoiding the exponential complexity obstruction usually met in the set-membership parameter estimation. Potential application to fault diagnosis is considered. The efficacy of the proposed set adaptive observers is demonstrated on several examples.

Journal Article
TL;DR: This thesis demonstrates MBD with the Scicos/SynDEx framework on a distributed embedded system and tackles the feasibility of MBD for medium-sized embedded systems.
Abstract: The embedded systems engineering industry faces increasing demands for more functionality, rapidly evolving components, and shrinking schedules. Abilities to quickly adapt to changes, develop products with safe design, minimize project costs, and deliver timely are needed. Model-based development (MBD) follows a separation of concerns by abstracting systems with an appropriate intensity. MBD promises higher comprehension by modeling on several abstraction-levels, formal verification, and automated code generation. This thesis demonstrates MBD with the Scicos/SynDEx framework on a distributed embedded system. Scicos is a modeling and simulation environment for hybrid systems. SynDEx is a rapid prototyping integrated development environment for distributed systems. Performed examples implement well-known control algorithms on a target system containing several networked microcontrollers, sensors, and actuators. The addressed research question tackles the feasibility of MBD for medium-sized embedded systems. In the case of single-processor applications experiments show that the comforts of tool-provided simulation, verification, and code-generation have to be weighed against an additional memory consumption in dynamic and static memory compared to a hand-written approach. Establishing a near-seamless modeling-framework with Scicos/SynDEx is expensive. An increased development effort indicates a high price for developing single applications, but might pay off for product families. A further drawback was that the distributed code generated with SynDEx could not be adapted to microcontrollers without a significant alteration of the scheduling tables. The Scicos/SynDEx framework forms a valuable tool set that, however, still needs many improvements. Therefore, its usage is only recommended for experimental purposes.

Journal ArticleDOI
TL;DR: In this article, a fuzzy logic controller is developed for ac/ac Matrix Converter to improve power quality and reduce total harmonic distortion, which is a method to improve the quality of the converter output.
Abstract: In this paper, Fuzzy Logic controller is developed for ac/ac Matrix Converter. Furthermore, Total Harmonic Distortion is reduced significantly. Space Vector Algorithm is a method to improve power quality of the converter output. But its quality is limited to 86.7%.We are introduced a Cross coupled DQ axis controller to improve power quality. The Matrix Converter is an attractive topology for High voltage transformation ratio. A Matlab / Simulink simulation analysis of the Matrix Converter system is provided. The design and implementation of fuzzy controlled Matrix Converter is described. This AC-AC system is proposed as an effective replacement for the conventional AC-DC-AC system which employs a two-step power conversion.

Posted Content
TL;DR: A novel approach for constructing the directed factor graph structure based on hybrid bond graph model is proposed and the system components status and their fault symptoms are treated as hypothesis and evidences respectively.
Abstract: Satellite power system is a complex, highly interconnected hybrid system that exhibit nonlinear and mode switching behaviors. Directed factor graph is an inference model for fault diagnosis using probabilistic reasoning techniques. A novel approach for constructing the directed factor graph structure based on hybrid bond graph model is proposed. The system components status and their fault symptoms are treated as hypothesis and evidences respectively. The cause-effect relations between hypothesis and evidences are identified and concluded though qualitative equations and causal path analysis on hybrid bond graph model. A power supply module of a satellite power system is provided as case study to show the feasibility and validity of the proposed method.

Posted Content
TL;DR: This approach allows the re-use of control-theoretical techniques to design efficient scheduling algorithms; it frames and solves the scheduling problem in a general setting; and it can naturally tackle certain peculiar requirements such as robustness and dynamic performance tuning.
Abstract: This paper presents a novel methodology to develop scheduling algorithms. The scheduling problem is phrased as a control problem, and control-theoretical techniques are used to design a scheduling algorithm that meets specific requirements. Unlike most approaches to feedback scheduling, where a controller integrates a "basic" scheduling algorithm and dynamically tunes its parameters and hence its performances, our methodology essentially reduces the design of a scheduling algorithm to the synthesis of a controller that closes the feedback loop. This approach allows the re-use of control-theoretical techniques to design efficient scheduling algorithms; it frames and solves the scheduling problem in a general setting; and it can naturally tackle certain peculiar requirements such as robustness and dynamic performance tuning. A few experiments demonstrate the feasibility of the approach on a real-time benchmark.

Posted Content
TL;DR: In this article, two approaches, one using a proportional controller and two using a fuzzy controller, are described to automate the tuning of MaxClients parameter of Apache web server based on the required response time and the current workload.
Abstract: Ecommerce is an area where an Autonomic Computing system could be very effectively deployed. Ecommerce has created demand for high quality information technology services and businesses are seeking quality of service guarantees from their service providers. These guarantees are expressed as part of service level agreements. Properly adjusting tuning parameters for enforcement of the service level agreement is time-consuming and skills-intensive. Moreover, in case of changes to the workload, the setting of the parameters may no longer be optimum. In an ecommerce system, where the workload changes frequently, there is a need to update the parameters at regular intervals. This paper describes two approaches, one, using a proportional controller and two, using a fuzzy controller, to automate the tuning of MaxClients parameter of Apache web server based on the required response time and the current workload. This is an illustration of the self-optimizing characteristic of an autonomic computing system.