This Festschrift, published on the occasion of the sixtieth birthday of Yutaka - mamoto (‘YY’ as he is occasionally casually referred to), contains a collection of articles by friends, colleagues, and former Ph.D. students of YY. They are a tribute to his friendship and his scienti?c vision and oeuvre, which has been a source of inspiration to the authors. Yutaka Yamamoto was born in Kyoto, Japan, on March 29, 1950. He studied applied mathematics and general engineering science at the Department of Applied Mathematics and Physics of Kyoto University, obtaining the B.S. and M.Sc. degrees in 1972 and 1974. His M.Sc. work was done under the supervision of Professor Yoshikazu Sawaragi. In 1974, he went to the Center for Mathematical System T- ory of the University of Florida in Gainesville. He obtained the M.Sc. and Ph.D. degrees, both in Mathematics, in 1976 and 1978, under the direction of Professor Rudolf Kalman.

This Festschrift, published on the occasion of the sixtieth birthday of Yutaka - mamoto (‘YY’ as he is occasionally casually referred to), contains a collection of articles by friends, colleagues, and former Ph.D. students of YY. They are a tribute to his friendship and his scienti?c vision and oeuvre, which has been a source of inspiration to the authors. Yutaka Yamamoto was born in Kyoto, Japan, on March 29, 1950. He studied applied mathematics and general engineering science at the Department of Applied Mathematics and Physics of Kyoto University, obtaining the B.S. and M.Sc. degrees in 1972 and 1974. His M.Sc. work was done under the supervision of Professor Yoshikazu Sawaragi. In 1974, he went to the Center for Mathematical System T- ory of the University of Florida in Gainesville. He obtained the M.Sc. and Ph.D. degrees, both in Mathematics, in 1976 and 1978, under the direction of Professor Rudolf Kalman.

This volume is concerned with the control and dynamics of time delay systems; a research field with at least six-decade long history that has been very active especially in the past two decades. In parallel to the new challenges emerging from engineering, physics, mathematics, and economics, the volume covers several new directions including topology induced stability, large-scale interconnected systems, roles of networks in stability, and new trends in predictor-based control and consensus dynamics. The associated applications/problems are described by highly complex models, and require solving inverse problems as well as the development of new theories, mathematical tools, numerically-tractable algorithms for real-time control. The volume, which is targeted to present these developments in this rapidly evolving field, captures a careful selection of the most recent papers contributed by experts and collected under five parts: (i) Methodology: From Retarded to Neutral Continuous Delay Models, (ii) Systems, Signals and Applications, (iii): Numerical Methods, (iv) Predictor-based Control and Compensation, and (v) Networked Control Systems and Multi-agent Systems.

Sensor networks have recently come into prominence because they hold the potential to revolutionize a wide spectrum of both civilian and military applications. An ingenious characteristic of sensor networks is the distributed nature of data acquisition. Therefore they seem to be ideally prepared for the task of monitoring processes with spatio-temporal dynamics which constitute one of most general and important classes of systems in modelling of the real-world phenomena. It is clear that careful deployment and activation of sensor nodes are critical for collecting the most valuable information from the observed environment. Optimal Sensor Network Scheduling in Identification of Distributed Parameter Systems discusses the characteristic features of the sensor scheduling problem, analyzes classical and recent approaches, and proposes a wide range of original solutions, especially dedicated for networks with mobile and scanning nodes. Both researchers and practitioners will find the case studies, the proposed algorithms, and the numerical examples to be invaluable.

Linear, Time-varying Approximations to Nonlinear Dynamical Systems introduces a new technique for analysing and controlling nonlinear systems. This method is general and requires only very mild conditions on the system nonlinearities, setting it apart from other techniques such as those – well-known – based on differential geometry. The authors cover many aspects of nonlinear systems including stability theory, control design and extensions to distributed parameter systems. Many of the classical and modern control design methods which can be applied to linear, time-varying systems can be extended to nonlinear systems by this technique. The implementation of the control is therefore simple and can be done with well-established classical methods. Many aspects of nonlinear systems, such as spectral theory which is important for the generalisation of frequency domain methods, can be approached by this method.

Block-oriented Nonlinear System Identification deals with an area of research that has been very active since the turn of the millennium. The book makes a pedagogical and cohesive presentation of the methods developed in that time. These include: iterative and over-parameterization techniques; stochastic and frequency approaches; support-vector-machine, subspace, and separable-least-squares methods; blind identification method; bounded-error method; and decoupling inputs approach. The identification methods are presented by authors who have either invented them or contributed significantly to their development. All the important issues e.g., input design, persistent excitation, and consistency analysis, are discussed. The practical relevance of block-oriented models is illustrated through biomedical/physiological system modelling. The book will be of major interest to all those who are concerned with nonlinear system identification whatever their activity areas. This is particularly the case for educators in electrical, mechanical, chemical and biomedical engineering and for practising engineers in process, aeronautic, aerospace, robotics and vehicles control. Block-oriented Nonlinear System Identification serves as a reference for active researchers, new comers, industrial and education practitioners and graduate students alike.

This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in October 2019.The 13 full papers presented together in this volume were carefully reviewed and selected from 24 submissions. The conference presents a wide range of domains including models and design; simulation and tools; formal methods; embedded and cyber-physical systems education.

Geared primarily to an audience consisting of mathematically advanced undergraduate or beginning graduate students, this text may additionally be used by engineering students interested in a rigorous, proof-oriented systems course that goes beyond the classical frequency-domain material and more applied courses. The minimal mathematical background required is a working knowledge of linear algebra and differential equations. The book covers what constitutes the common core of control theory and is unique in its emphasis on foundational aspects. While covering a wide range of topics written in a standard theorem/proof style, it also develops the necessary techniques from scratch. In this second edition, new chapters and sections have been added, dealing with time optimal control of linear systems, variational and numerical approaches to nonlinear control, nonlinear controllability via Lie-algebraic methods, and controllability of recurrent nets and of linear systems with bounded controls.

This book presents the state-of-the-art and breakthrough innovations in design automation for cyber-physical systems.The authors discuss various aspects of cyber-physical systems design, including modeling, co-design, optimization, tools, formal methods, validation, verification, and case studies. Coverage includes a survey of the various existing cyber-physical systems functional design methodologies and related tools will provide the reader unique insights into the conceptual design of cyber-physical systems.