You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
This book contains the papers presented at the 5th International Conference on Pr- tical Aspects of Knowledge Management organized by the Department of Knowledge Management, Institute of Computer Science and Business Informatics, University of Vienna. The event took place on December 02–03, 2004 in Vienna. The PAKM conference series offers a communication forum and meeting ground for practitioners and researchers engaged in developing and deploying advanced bu- ness solutions for the management of knowledge and intellectual capital. Contributions pursuing integrated approaches which consider organizational, technological and c- tural issues of knowledge management have been elected for pre...
This two-volume set of LNAI 11775 and LNAI 11776 constitutes the refereed proceedings of the 12th International Conference on Knowledge Science, Engineering and Management, KSEM 2019, held in Athens, Greece, in August 2019. The 77 revised full papers and 23 short papers presented together with 10 poster papers were carefully reviewed and selected from 240 submissions. The papers of the first volume are organized in the following topical sections: Formal Reasoning and Ontologies; Recommendation Algorithms and Systems; Social Knowledge Analysis and Management ; Data Processing and Data Mining; Image and Video Data Analysis; Deep Learning; Knowledge Graph and Knowledge Management; Machine Learning; and Knowledge Engineering Applications. The papers of the second volume are organized in the following topical sections: Probabilistic Models and Applications; Text Mining and Document Analysis; Knowledge Theories and Models; and Network Knowledge Representation and Learning.
Although the problem of nonlinear controller design is as old as that of linear controller design, the systematic design methods framed in response are more sparse. Given the range and complexity of nonlinear systems, effective new methods of control design are therefore of significant importance. Dynamic Surface Control of Uncertain Nonlinear Systems provides a theoretically rigorous and practical introduction to nonlinear control design. The convex optimization approach applied to good effect in linear systems is extended to the nonlinear case using the new dynamic surface control (DSC) algorithm developed by the authors. A variety of problems – DSC design, output feedback, input saturat...
Nonlinear Model Predictive Control is a thorough and rigorous introduction to nonlinear model predictive control (NMPC) for discrete-time and sampled-data systems. NMPC is interpreted as an approximation of infinite-horizon optimal control so that important properties like closed-loop stability, inverse optimality and suboptimality can be derived in a uniform manner. These results are complemented by discussions of feasibility and robustness. NMPC schemes with and without stabilizing terminal constraints are detailed and intuitive examples illustrate the performance of different NMPC variants. An introduction to nonlinear optimal control algorithms gives insight into how the nonlinear optimisation routine – the core of any NMPC controller – works. An appendix covering NMPC software and accompanying software in MATLAB® and C++(downloadable from www.springer.com/ISBN) enables readers to perform computer experiments exploring the possibilities and limitations of NMPC.
This book is devoted to new methods of control for complex dynamical systems and deals with nonlinear control systems having several degrees of freedom, subjected to unknown disturbances, and containing uncertain parameters. Various constraints are imposed on control inputs and state variables or their combinations. The book contains an introduction to the theory of optimal control and the theory of stability of motion, and also a description of some known methods based on these theories. Major attention is given to new methods of control developed by the authors over the last 15 years. Mechanical and electromechanical systems described by nonlinear Lagrange’s equations are considered. Gen...
Data Approximation by Low-complexity Models details the theory, algorithms, and applications of structured low-rank approximation. Efficient local optimization methods and effective suboptimal convex relaxations for Toeplitz, Hankel, and Sylvester structured problems are presented. Much of the text is devoted to describing the applications of the theory including: system and control theory; signal processing; computer algebra for approximate factorization and common divisor computation; computer vision for image deblurring and segmentation; machine learning for information retrieval and clustering; bioinformatics for microarray data analysis; chemometrics for multivariate calibration; and psychometrics for factor analysis. Software implementation of the methods is given, making the theory directly applicable in practice. All numerical examples are included in demonstration files giving hands-on experience and exercises and MATLAB® examples assist in the assimilation of the theory.
Stabilization of Navier–Stokes Flows presents recent notable progress in the mathematical theory of stabilization of Newtonian fluid flows. Finite-dimensional feedback controllers are used to stabilize exponentially the equilibrium solutions of Navier–Stokes equations, reducing or eliminating turbulence. Stochastic stabilization and robustness of stabilizable feedback are also discussed. The analysis developed here provides a rigorous pattern for the design of efficient stabilizable feedback controllers to meet the needs of practical problems and the conceptual controllers actually detailed will render the reader’s task of application easier still. Stabilization of Navier–Stokes Flows avoids the tedious and technical details often present in mathematical treatments of control and Navier–Stokes equations and will appeal to a sizeable audience of researchers and graduate students interested in the mathematics of flow and turbulence control and in Navier-Stokes equations in particular.
The threat landscape is evolving with tremendous speed. We are facing an extremely fast-growing attack surface with a diversity of attack vectors, a clear asymmetry between attackers and defenders, billions of connected IoT devices, mostly reactive detection and mitigation approaches, and finally big data challenges. The clear asymmetry of attacks and the enormous amount of data are additional arguments to make it necessary to rethink cybersecurity approaches in terms of reducing the attack surface, to make the attack surface dynamic, to automate the detection, risk assessment, and mitigation, and to investigate the prediction and prevention of attacks with the utilization of emerging techno...
Analysis and Control of Boolean Networks presents a systematic new approach to the investigation of Boolean control networks. The fundamental tool in this approach is a novel matrix product called the semi-tensor product (STP). Using the STP, a logical function can be expressed as a conventional discrete-time linear system. In the light of this linear expression, certain major issues concerning Boolean network topology – fixed points, cycles, transient times and basins of attractors – can be easily revealed by a set of formulae. This framework renders the state-space approach to dynamic control systems applicable to Boolean control networks. The bilinear-systemic representation of a Boolean control network makes it possible to investigate basic control problems including controllability, observability, stabilization, disturbance decoupling etc.
Cooperative Control Design: A Systematic, Passivity-Based Approach discusses multi-agent coordination problems, including formation control, attitude coordination, and synchronization. The goal of the book is to introduce passivity as a design tool for multi-agent systems, to provide exemplary work using this tool, and to illustrate its advantages in designing robust cooperative control algorithms. The discussion begins with an introduction to passivity and demonstrates how passivity can be used as a design tool for motion coordination. Followed by the case of adaptive redesigns for reference velocity recovery while describing a basic design, a modified design and the parameter convergence problem. Formation control is presented as it relates to relative distance control and relative position control. The coverage is concluded with a comprehensive discussion of agreement and the synchronization problem with an example using attitude coordination.