The present volume comprises survey articles on various fields of Differential-Algebraic Equations (DAEs), which have widespread applications in controlled dynamical systems, especially in mechanical and electrical engineering and a strong relation to (ordinary) differential equations. The individual chapters provide reviews, presentations of the current state of research and new concepts in - Flexibility of DAE formulations - Reachability analysis and deterministic global optimization - Numerical linear algebra methods - Boundary value problems The results are presented in an accessible style, making this book suitable not only for active researchers but also for graduate students (with a good knowledge of the basic principles of DAEs) for self-study.

FOCAPD-19/Proceedings of the 9th International Conference on Foundations of Computer-Aided Process Design, July 14 - 18, 2019, compiles the presentations given at the Ninth International Conference on Foundations of Computer-Aided Process Design, FOCAPD-2019. It highlights the meetings held at this event that brings together researchers, educators and practitioners to identify new challenges and opportunities for process and product design. - Combines presentations from the Ninth International Conference on Foundations of Computer-Aided Process Design, FOCAPD-2019

25th European Symposium on Computer-Aided Process Engineering contains the papers presented at the 12th Process Systems Engineering (PSE) and 25th European Society of Computer Aided Process Engineering (ESCAPE) Joint Event held in Copenhagen, Denmark, 31 May - 4 June 2015. The purpose of these series is to bring together the international community of researchers and engineers who are interested in computing-based methods in process engineering. This conference highlights the contributions of the PSE/CAPE community towards the sustainability of modern society. Contributors from academia and industry establish the core products of PSE/CAPE, define the new and changing scope of our results, and future challenges. Plenary and keynote lectures discuss real-world challenges (globalization, energy, environment, and health) and contribute to discussions on the widening scope of PSE/CAPE versus the consolidation of the core topics of PSE/CAPE. - Highlights how the Process Systems Engineering/Computer-Aided Process Engineering community contributes to the sustainability of modern society - Presents findings and discussions from both the 12th Process Systems Engineering (PSE) and 25th European Society of Computer-Aided Process Engineering (ESCAPE) Events - Establishes the core products of Process Systems Engineering/Computer Aided Process Engineering - Defines the future challenges of the Process Systems Engineering/Computer Aided Process Engineering community

This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic verification, constraint solving and applications, and probabilistic systems.

The present volume comprises survey articles on various fields of Differential-Algebraic Equations (DAEs), which have widespread applications in controlled dynamical systems, especially in mechanical and electrical engineering and a strong relation to (ordinary) differential equations. The individual chapters provide reviews, presentations of the current state of research and new concepts in - Flexibility of DAE formulations - Reachability analysis and deterministic global optimization - Numerical linear algebra methods - Boundary value problems The results are presented in an accessible style, making this book suitable not only for active researchers but also for graduate students (with a good knowledge of the basic principles of DAEs) for self-study.

Ordinary differential equations play a central role in science and have been extended to evolution equations in Banach spaces. For many applications, however, it is difficult to specify a suitable normed vector space. Shapes without a priori restrictions, for example, do not have an obvious linear structure. This book generalizes ordinary differential equations beyond the borders of vector spaces with a focus on the well-posed Cauchy problem in finite time intervals. Here are some of the examples: - Feedback evolutions of compact subsets of the Euclidean space - Birth-and-growth processes of random sets (not necessarily convex) - Semilinear evolution equations - Nonlocal parabolic differential equations - Nonlinear transport equations for Radon measures - A structured population model - Stochastic differential equations with nonlocal sample dependence and how they can be coupled in systems immediately - due to the joint framework of Mutational Analysis. Finally, the book offers new tools for modelling.

This book provides an approach to the study of perturbation and discretization effects on the long-time behavior of dynamical and control systems. It analyzes the impact of time and space discretizations on asymptotically stable attracting sets, attractors, asumptotically controllable sets and their respective domains of attractions and reachable sets. Combining robust stability concepts from nonlinear control theory, techniques from optimal control and differential games and methods from nonsmooth analysis, both qualitative and quantitative results are obtained and new algorithms are developed, analyzed and illustrated by examples.