This book integrates multiple criteria concepts and methods for problems within the Risk, Reliability and Maintenance (RRM) context. The concepts and foundations related to RRM are considered for this integration with multicriteria approaches. In the book, a general framework for building decision models is presented and this is illustrated in various chapters by discussing many different decis…
This volume explores the various ways in which trust is thought about and studied in contemporary society. In doing so, it aims to advance both theoretical and methodological perspectives on trust. Trust is an important topic in this series because it raises issues of both motivation and emotion. Specifically, notions of trust and fairness motivate individuals to behave in a manner they deem ap…
This book explores some of the connections between control theory and geometric mechanics; that is, control theory is linked with a geometric view of classical mechanics in both its Lagrangian and Hamiltonian formulations and in particular with the theory of mechanical systems subject to motion constraints. The synthesis of the topic is appropriate as there is a particularly rich connection bet…
This book provides a brief introduction to the theory of finite dimensional differential inclusions, and deals in depth with control of three kinds of differential inclusion systems. The authors introduce the algebraic decomposition of convex processes, the stabilization of polytopic systems, and observations of Luré systems. They also introduce the elemental theory of finite dimensional diffe…
This book constitutes the refereed proceedings of the 4th International Conference on Theory and Practice of Natural Computing, TPNC 2015, held in Mieres, Spain, in December 2015. The 12 revised full papers presented together with 20 invited talks in this book were carefully reviewed and selected from 30 submissions. The scope of TPNC is rather broad, containing topics of either theoretical,…
This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, includ…
This book constitutes the refereed proceedings of the 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Singapore, in May 2015. The 35 revised full papers presented were carefully reviewed and selected from 78 submissions. The papers treat all topics relating to the theory and applications of models computation, for example recursion theory and mathe…
This book constitutes the refereed proceedings of the Third International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2015, held in Buenos Aires, Argentina, in July 2015. The workshop was co-located with IJCAI 2015. The 15 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers deal with formal theoretical models of argumentat…
The Encyclopedia of Systems and Control collects a broad range of short expository articles that describe the current state of the art in the central topics of control and systems engineering as well as in many of the related fields in which control is an enabling technology. The editors have assembled the most comprehensive reference possible, and this has been greatly facilitated by the publi…
This volume is devoted to presentation of new results of research on systems of non-integer order, called also fractional systems. Their analysis and practical implementation have been the object of spontaneous development for a few last decades. The fractional order models can depict a physical plant better than the classical integer order ones. This covers different research fields such as in…