/pdf/convex-analysisnoer-san-nojin-zhan-nituite-5dl2rbmoyr.pdf

Convex Analysisの二,三の進展について

We introduce flat systems, which are equivalent to linear ones via a special type of feedback called endogenous. Their physical properties are subsumed by a linearizing output and they might be regarded as providing another nonlinear extension of Kalman's controllability. The distance to flatness is measured by a non-negative integer, the defect. We utilize differential algebra where flatness- and defect are best defined without distinguishing between input, state, output and other variables. Many realistic classes of examples are flat. We treat two popular ones: the crane and the car with n trailers, the motion planning of which is obtained via elementary properties of plane curves. The three non-flat examples, the simple, double and variable length pendulums, are borrowed from non-linear physics. A high frequency control strategy is proposed such that the averaged systems become flat.

/pdf/flatness-and-defect-of-non-linear-systems-introductory-42ot9eoqmh.pdf

Flatness and defect of non-linear systems: introductory theory and examples

ing WS1S Systems to Verify Parameterized Networks . . . . . . . . . . . . 188 Kai Baukus, Saddek Bensalem, Yassine Lakhnech and Karsten Stahl FMona: A Tool for Expressing Validation Techniques over Infinite State Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 204 J.-P. Bodeveix and M. Filali Transitive Closures of Regular Relations for Verifying Infinite-State Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 220 Bengt Jonsson and Marcus Nilsson Diagnostic and Test Generation Using Static Analysis to Improve Automatic Test Generation . . . . . . . . . . . . . 235 Marius Bozga, Jean-Claude Fernandez and Lucian Ghirvu Efficient Diagnostic Generation for Boolean Equation Systems . . . . . . . . . . . . 251 Radu Mateescu Efficient Model-Checking Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 266 Jean-Pierre Krimm and Laurent Mounier Checking for CFFD-Preorder with Tester Processes . . . . . . . . . . . . . . . . . . . . . . . 283 Juhana Helovuo and Antti Valmari Fair Bisimulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 299 Thomas A. Henzinger and Sriram K. Rajamani Integrating Low Level Symmetries into Reachability Analysis . . . . . . . . . . . . . 315 Karsten Schmidt Model-Checking Tools Model Checking Support for the ASM High-Level Language . . . . . . . . . . . . . . 331 Giuseppe Del Castillo and Kirsten Winter Table of

Tools and Algorithms for the Construction and Analysis of Systems. Proc. TACAS 2009

The problem of controlling a fixed nonlinear plant in order to have its output track (or reject) a family of reference (or disturbance) signal produced by some external generator is discussed. It is shown that, under standard assumptions, this problem is solvable if and only if a certain nonlinear partial differential equation is solvable. Once a solution of this equation is available, a feedback law which solves the problem can easily be constructed. The theory developed incorporates previously published results established for linear systems. >

Output regulation of nonlinear systems

Model Predictive Control (MPC), the dominant advanced control approach in industry over the past twenty-five years, is presented comprehensively in this unique book. With a simple, unified approach, and with attention to real-time implementation, it covers predictive control theory including the stability, feasibility, and robustness of MPC controllers. The theory of explicit MPC, where the nonlinear optimal feedback controller can be calculated efficiently, is presented in the context of linear systems with linear constraints, switched linear systems, and, more generally, linear hybrid systems. Drawing upon years of practical experience and using numerous examples and illustrative applications, the authors discuss the techniques required to design predictive control laws, including algorithms for polyhedral manipulations, mathematical and multiparametric programming and how to validate the theoretical properties and to implement predictive control policies. The most important algorithms feature in an accompanying free online MATLAB toolbox, which allows easy access to sample solutions. Predictive Control for Linear and Hybrid Systems is an ideal reference for graduate, postgraduate and advanced control practitioners interested in theory and/or implementation aspects of predictive control.

Predictive Control for Linear and Hybrid Systems

Symbolic models of continuous and hybrid systems provide a formal approach to solve control problems where software and hardware interact with the physical world. Symbolic models are abstract descriptions of continuous systems in which one symbol corresponds to an “aggregate” of continuous states. In this paper, we address the construction of symbolic models for nonlinear control systems affected by disturbances. The main contribution of this paper is in proposing symbolic models that can be effectively constructed and that are alternating approximately bisimilar to incrementally stable nonlinear control systems, with arbitrarily good accuracy.

/pdf/alternating-approximately-bisimilar-symbolic-models-for-57a5soboeh.pdf

Alternating approximately bisimilar symbolic models for nonlinear control systems affected by disturbances

The research area of Networked Control Systems (NCS) has been the topic of intensive study in the last decade. In this paper we give a contribution to this research line by addressing symbolic control design of (possibly unstable) nonlinear NCS with specifications expressed in terms of automata. We first derive symbolic models that are shown to approximate the given NCS in the sense of (alternating) approximate simulation. We then address symbolic control design with specifications expressed in terms of automata. We finally derive efficient algorithms for the synthesis of the proposed symbolic controllers that cope with the inherent computational complexity of the problem at hand.

Integrated Symbolic Design of Unstable Nonlinear Networked Control Systems

https://hal.archives-ouvertes.fr/hal-01629523/document

Management Controller for a DC MicroGrid integrating Renewables and Storages

DC MicroGrids are presently considered as the best solution for renewable energy diffusion since they represent the most effective way for interconnecting renewables and storages with modern loads such as electric vehicles. Hierarchical control composed by different levels is usually adopted and communication among the controllers is used to ensure grid stability. The exchanged information is assumed to be shared by means of a (wireless) communication network, which can be compromised by a malicious attacker. In this paper, the attack is not represented by a specific model, but is assumed to be unbounded and influencing only a small subset of sensors (which is fixed over time). For obtaining a secure exchange of data, a secure state estimation is performed.

Secure state estimation for DC microgrids control

Traditionally, industrial control systems have relied on hardwired information flows among sensor, actuator and control nodes over rather simple network architectures. Over the last decades, distributed control systems have seen a transition to communication buses, such as fieldbus and Ethernet. At present, there is a major interest in taking a further step in this evolution by incorporating wireless connectivity with a concrete perspective of achieving increased efficiency, flexibility, mobility and easier installation. As a matter of fact, wireless technology is already present in several manufacturing and process industries. Wireless links have already been installed for long-range (100–1000m) monitoring applications, wireless LANs have been used for applications with non-stringent communication requirements (e.g. logistics) and wireless communication has been even used for instrumentation setups (e.g. temperature and pressure measurements). The most challenging application of wireless technology is in distributed control because of requirements involving delay, reliability, availability and stability. This Special Issue is intended to present a snapshot of the recent achievements in control and communication for enabling industrial control over wireless networks. The issue covers critical aspects of control, communication and software design in the following areas:

Maria Domenica Di Benedetto

Papers

Alternating approximately bisimilar symbolic models for nonlinear control systems affected by disturbances

Integrated Symbolic Design of Unstable Nonlinear Networked Control Systems

Management Controller for a DC MicroGrid integrating Renewables and Storages

Secure state estimation for DC microgrids control

Industrial control over wireless networks