Search

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows:Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations; Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows:Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations; Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows:Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations; Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.

This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.

This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.

This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed and selected from 21 submissions. The proceedings also contain one invited paper in full paper length. The papers deal with real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics, and verification of real-timed, hybrid, and probabilistic systems.

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems.

This book constitutes the thoroughly refereed proceedings of the 17th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2022, held in Tampa, FL, USA, in June 2022. The 37 revised full research papers, included in the volume were carefully reviewed and selected from 103 submissions. They are organized in the following topical sections: ​Transdisciplinary Research & DSR (theme Track); Blockchain Information Systems; Intelligent Systems and Human Interaction; Healthcare Systems and Quality of Life; Innovation and Entrepreneurship; Sustainability and Responsible Design (Environmental Issues, Human Values and ethical Design); Human Safety and Cybersecurity; Emerging DSR Methods and Processes; Designers and Collaborative DSR; and Education and DSR. Chapter(s) “Chapter 13.” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlledsystems.

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.

This book presents the Proceedings of the 54th Winter School of Theoretical Physics on Simplicity of Complexity in Economic and Social Systems, held in Lądek Zdrój, Poland, from 18 to 24 February 2018. The purpose of the book is to introduce the new interdisciplinary research that links statistical physics, and particular attention is given to link physics of complex systems, with financial analysis and sociology. The main tools used in these areas are numerical simulation of agents behavior and the interpretation of results with the help of complexity methods, therefore a background in statistical physics and in physics of phase transition is necessary to take the first steps towards these research fields called econophysics and sociophysics. In this perspective, the book is intended to graduated students and young researchers who want to begin the study of this established new area, which connects physicists, economists, sociologists and IT professionals, tobetter understand complexity phenomena existing not only in physics but also in complex systems being seemingly far from traditional view at physics.

This book constitutes the proceedings of the 6th International Symposium on Chaos, Complexity and Leadership (ICCLS). Written by interdisciplinary researchers and students from the fields of mathematics, physics, education, economics, political science, statistics, the management sciences and social sciences, the peer-reviewed contributions explore chaotic and complex systems, as well as chaos and complexity theory in the context of their applicability to management and leadership. The book discusses current topics, such as complexity leadership in the healthcare fields and tourism industry, conflict management and organization intelligence, and presents practical applications of theoretical concepts, making it a valuable resource for managers and leaders.

This book gathers contributions on a variety of flowing collective systems. While primarily focusing on pedestrian dynamics, they also reflect the latest developments in areas such as vehicular traffic and granular flows and address related emerging topics such as self-propelled particles, data transport, swarm behavior, intercellular transport, and collective dynamics of biological systems. Combining fundamental research and practical applications in the various fields discussed, the book offers a valuable asset for researchers and practitioners alike.

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems.Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems.Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.

This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It's a special volume on the occasion of the 25 year anniversary of TACAS.

This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.

This book comprises select proceedings of the International Conference on Advancement in Energy, Drives, and Control. It covers frontier topics in optimization and control. It covers applications of optimization processes in areas such as computer architecture, communication systems, system optimization, signal processing, fluid dynamics and process control. This book is of use to researchers, professionals, and students from across engineering disciplines.

This book addresses selected topics in electrical engineering, electronics and mechatronics that have posed serious challenges for both the scientific and engineering communities in recent years. The topics covered range from mathematical models of electrical and electronic components and systems, to simulation tools implemented for their analysis and further developments; and from multidisciplinary optimization, signal processing methods and numerical results, to control and diagnostic techniques. By bridging theory and practice in the modeling, design and optimization of electrical, electromechanical and electronic systems, and by adopting a multidisciplinary perspective, the book provides researchers and practitioners with timely and extensive information on the state of the art in the field — and a source of new, exciting ideas for further developments and collaborations. The book presents selected results of the XIII Scientific Conference on Selected Issues of Electrical Engineering and Electronics (WZEE 2016), held on May 04–08, 2016, in Rzeszów, Poland. The Conference was organized by the Rzeszów Division of Polish Association of Theoretical and Applied Electrical Engineering (PTETiS) in cooperation with the Faculty of Electrical and Computer Engineering of the Rzeszów University of Technology.

The fifth volume of the Series Advances in Systems, Signals and Devices, is dedicated to fields related to Systems, Automation and Control. The scope of this issue encompasses all aspects of the research, development and applications of the science and technology in these fields. Topics of this issue concern: system design, system identification, biological and economical models & control, modern control theory, nonlinear observers, control and application of chaos, adaptive/non-adaptive backstepping control techniques, advances in linear control theory, systems optimization, multivariable control, large scale and infinite dimension systems, nonlinear control, distributed control, predictive control, geometric control, adaptive control, optimal and stochastic control, robust control, neural control, fuzzy control, intelligent control systems, diagnostics, fault tolerant control, robotics and mechatronics, navigation, robotics and human-machine interaction, hierarchical and man-machine systems, etc. Authors are encouraged to submit novel contributions which include results of research or experimental work discussing new developments in the field of systems, automation and control. The series can be also addressed for editing special issues for novel developments in specific fields. The aim of this volume is to promote an international scientific progress in the fields of systems, automation and control. It provides at the same time an opportunity to be informed about interesting results that have been reported during the international SSD conferences.

This book presents an exposition of ongoing research in the fields of non-linear dynamic systems driven by the decisions of human beings and cognitive science as they relate to urban and regional analysis. It aims to illuminate the social and economic functioning of cities and regions.

Containing papers presented at the 2016 New Forest Conference on Complex Systems, this multi-disciplinary book presents new approaches for resolving complex issues that cannot be resolved using conventional mathematical or software models. Complex Systems occur in an infinite variety of problems encompassing fields as diverse as economics, the environment, humanities, social and political sciences, physical sciences and engineering. The papers in the book cover such topics as: Complex business processes; Supply chain complexity; Complex adaptive software; Management of complexity; Complexity in social systems; Complexity in engineering; Complex issues in biological and medical sciences; Complex energy systems Complexity and evolution.

This book contains the proceedings as well as invited papers for the first annual conference of the UNESCO Unitwin Complex System Digital Campus (CSDC), which is an international initiative gathering 120 Universities on four continents, and structured in ten E-Departments. First Complex Systems Digital Campus World E-Conference 2015 features chapters from the latest research results on theoretical questions of complex systems and their experimental domains.The content contained bridges the gap between the individual and the collective within complex systems science and new integrative sciences on topics such as: genes to organisms to ecosystems, atoms to materials to products, and digital media to the Internet.The conference breaks new ground through a dedicated video-conferencing system – a concept at the heart of the international UNESCO UniTwin, embracing scientists from low-income and distant countries. This book promotes an integrated system of research, education, and training. It also aims at contributing to global development by taking into account its social, economic, and cultural dimensions.First Complex Systems Digital Campus World E-Conference 2015 will appeal to students and researchers working in the fields of complex systems, statistical physics, computational intelligence, and biological physics.

The papers contained in this volume were originally presented at the 2015 International Conference on Complex Systems in Business, Administration, Science and Engineering. Included are the latest works of practitioners from a variety of disciplines who have developed new approaches for resolving complex issues that cannot be formulated using conventional, mathematical or software models. Complex Systems occur in an infinite variety of problems, not only in the realm of physical sciences and engineering, but also in such diverse fields as economics, the environment, humanities, and social and political sciences. The papers in the book cover such topics as: Complex ecological systems; Complexity science and urban developments; Complex energy systems; Complex issues in biological and medical sciences; Extreme events: natural and human made disasters; Climate change; Complexity of the internetbased global market; Complex business processes; Supply chain complexity; Transportation complexity; Logistics complexity; Closed and open systems; Attractions and chaotic systems; Complex adaptive software; Complexity of big data; Management of complexity; Global economy as a complex system; Complexity in social systems; Complex political systems; Administrations as complex systems; Complexity in engineering; Complexity and environment; Complexity and evolution; Complexity in linguistics, literature and arts.

This is a compilation of papers presented at the Information System Concepts conference in Marburg, Germany. The special focus is consolidation and harmonisation of the numerous and widely diverging views in the field of information systems. This issue has become a hot topic, as many leading information system researchers and practitioners come to realise the importance of better communication among the members of the information systems community, and of a better scientific foundation of this rapidly evolving field.

The book is a collection of peer-reviewed scientific papers submitted by active researchers in the 37th National System Conference (NSC 2013). NSC is an annual event of the Systems Society of India (SSI), primarily oriented to strengthen the systems movement and its applications for the welfare of humanity. A galaxy of academicians, professionals, scientists, statesman and researchers from different parts of the country and abroad are invited to attend the conference. The book presents research articles in the areas of system's modelling, complex network modelling, cyber security, sustainable systems design, health care systems, socio-economic systems, and clean and green technologies. The book can be used as a tool for further research.

System science and engineering is a field that covers a wide spectrum of modern technology. A system can be seen as a collection of entities and their interrelationships, which forms a whole greater than the sum of the entities and interacts with people, organisations, cultures and activities and the interrelationships among them. Systems composed of autonomous subsystems are not new, but the increased complexity of modern technology demands ever more reliable, intelligent, robust and adaptable systems to meet evolving needs. This book presents papers delivered at the International Conference on System Science and Engineering (ICSSE2015), held in Morioka, Japan, in July 2015. Some of the topics covered here include: systems modeling, tools and simulation; cloud robotics and computing systems; systems safety and security; smart grid, human systems and industrial organization and management; and novel applications of systems engineering and systems architecture. Capturing as it does the latest state-of-the-art and challenges in system sciences and its supporting technology, this book will be of interest to all those involved in developing and using system science methodology, tools and techniques

This book constitutes the proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. The total of 42 papers included in this volume, consisting of 26 research papers, 3 case study papers, 6 regular tool papers and 7 tool demonstrations papers, were carefully reviewed and selected from 161 submissions. In addition the book contains one invited contribution. The papers are organized in topical sections named: decision procedures and their application in analysis; complexity and termination analysis; modeling and model checking discrete systems; timed and hybrid systems; monitoring, fault detection and identification; competition on software verification; specifying and checking linear time properties; synthesis and learning; quantum and probabilistic systems; as well as tool demonstrations and case studies.

Urban, Regional and National Planning (UNRENAP): Environmental Aspects contains the proceedings of a Workshop on Urban, Regional and National Planning held in Kyoto, Japan, on August 5-6, 1977 under the auspices of the International Federation of Automatic Control. The workshop provided an opportunity to address the environmental aspects of urban, regional, and national planning. The discussions are organized around the themes of modeling, evaluation, simulation, and optimization. Comprised of 34 chapters, this book begins by outlining an alternative approach to environmental modeling in which comprehensive models are replaced by a network of simpler models, focused on specific aspects of the reality and sponsored by corresponding decision-making organizations. The reader is then introduced to some socio-economic aspects of health care planning; structural modeling in a class of systems by fuzzy sets theory; and the role of legal measures in the orientation of urban growth. Subsequent chapters deal with the use of Environmental Assessment Scale as a technique for environmental evaluation; computer simulation of economy management systems; and optimal control models of regional economies. A model for pollution reduction and control is also described. This monograph will be of interest to urban planners and environmental policymakers.

This book presents the selected results of the XI Scientific Conference Selected Issues of Electrical Engineering and Electronics (WZEE) which was held in Rzeszów and Czarna, Poland on September 27-30, 2013. The main aim of the Conference was to provide academia and industry to discuss and present the latest technological advantages and research results and to integrate the new interdisciplinary scientific circle in the field of electrical engineering, electronics and mechatronics. The Conference was organized by the Rzeszów Division of Polish Association of Theoretical and Applied Electrical Engineering (PTETiS) in cooperation with Rzeszów University of Technology, the Faculty of Electrical and Computer Engineering and Rzeszów University, the Faculty of Mathematics and Natural Sciences.

This important collection presents recent advances in nonlinear dynamics including analytical solutions, chaos in Hamiltonian systems, time-delay, uncertainty, and bio-network dynamics. Nonlinear Dynamics and Complexity equips readers to appreciate this increasingly main-stream approach to understanding complex phenomena in nonlinear systems as they are examined in a broad array of disciplines. The book facilitates a better understanding of the mechanisms and phenomena in nonlinear dynamics and develops the corresponding mathematical theory to apply nonlinear design to practical engineering.

Surveys the solution of complex problems at national and regional levels and outlines possible future developments

Der Fachbericht Requirements Engineering'91 - `Structured Analysis'und verwandte Ansätze enthält alle Beiträge der gleichnamigen Tagung (10. bis 11. April 1991 in Marburg), veranstaltet vom Fachausschuß 4.3.'Requirements Engineering'des GI-Fachbereichs 4'Informationstechnik und technische Nutzung der Informatik'. Requirements Engineering wird intepretiert als Wissenschaft, die sich mit der Erfassung, Beschreibung und Überprüfung von Anforderungen an ein informationstechnisches System auseinandersetzt mit dem Ziel, methodische Konzepte für diese Aufgaben zu erarbeiten und in anwendungstaugliche Verfahren umzusetzen. Durch die Ausrichtung auf `Structured Analysis'und verwandte Ansätze erfolgt eine kritische Auseinandersetzung mit Methoden und Verfahren, die in der Praxis mit Erolg eingesetzt werden, da sie einerseits die Kommunikation zwischen weniger DV-erfahrenen Anwendern und Systementwicklern unterstützen und andererseits Ansatzmöglichkeiten zur Überprüfung der Korrektheit der spezifizierten Anforderungen bieten. Erfahrungsberichte über den Einsatz von `Structured Analysis'und verwandte Ansätze sowie eine Diskussion ihrer Vor- und Nachteile sind daher zentraler Gegenstand dieses Fachberichts.

This book presents selected papers from an international workshop devoted tothe theory, techniques and tools of decision analysis and support. Major trends in the development of this field are stressed, such as the tendency to place the final user of a decision support system in the center of attention, or an emerging connection between tools and software environments for modeling and for decision support. The volume is acontinuation of the reports on earlier meetings which were published in the same series.

To deliver on your sustainability ambitions, you need an effective management system. Delivery and results, after all, are what sets leading sustainable businesses apart.Supplementing your existing management arrangements with a management systems approach can play a crucial part in helping to implement more sustainable ways of working. It will help your colleagues understand what sustainability means and how it applies to their role. It will strengthen the link between strategy and action and provide the framework for the various elements of your sustainability strategy to happen.In this short guide, Phil Cumming introduces you to management systems thinking and concepts and sets out clear and practical steps to help you be more formalized and systematic about how and when you do things. This book will help you deliver on your sustainability ambitions – without needing to follow a single management system standard!

The mathematical theory of networks and systems has a long, and rich history, with antecedents in circuit synthesis and the analysis, design and synthesis of actuators, sensors and active elements in both electrical and mechanical systems. Fundamental paradigms such as the state-space real­ ization of an input/output system, or the use of feedback to prescribe the behavior of a closed-loop system have proved to be as resilient to change as were the practitioners who used them. This volume celebrates the resiliency to change of the fundamental con­ cepts underlying the mathematical theory of networks and systems. The articles presented here are among those presented as plenary addresses, invited addresses and minisymposia presented at the 12th International Symposium on the Mathematical Theory of Networks and Systems, held in St. Louis, Missouri from June 24 - 28, 1996. Incorporating models and methods drawn from biology, computing, materials science and math­ ematics, these articles have been written by leading researchers who are on the vanguard of the development of systems, control and estimation for the next century, as evidenced by the application of new methodologies in distributed parameter systems, linear nonlinear systems and stochastic sys­ tems for solving problems in areas such as aircraft design, circuit simulation, imaging, speech synthesis and visionics.

The third Conference on Computation and Control was held at Mon­ tana State University in Bozeman, Montana from August 5-11, 1992 and this proceedings represents the evolution that the conference has taken since its 1988 and 1990 predecessors. The first conference and proceedings (Volume 1 in PSCT) nurtured a dialogue between researchers in control theory and the area of numerical computation. This cross-fertilization was continued with the 1990 conference and proceedings (Volume 11 in PSCT) while forecasting the theme for this conference. The present volume contains a collection of papers addressing issues ranging from noise abatement via smart material technology, robotic vi­ sion, and parameter identification to feedback design challenges in fluid control and other areas of topical interest. The area of feedback design in fluid control spawns computational challenges in the form of Burgers'equation which is addressed both with standard numerical methods as well as new computational procedures. Applications which involve inverse prob­ lems include material parameter estimation and sampling in observability. Whether motivated by the plant or arising as the distributed system in the design of a feedback compensator for problems in nonlinear control, the theme of this conference placed an emphasis on the use of partial dif­ ferential equations in control theory. Through challenges initiated via the control problem or the subsequent computational problem, the joint efforts of experts from the respective disciplines enhance the development of both.

The conference'Analysis of Controlled Dynamical Systems'was held in July 1990 at the University of LYON FRANCE. About hundred participants attended this conference which lasted four days : There were 50 speakers from departments of Engineering and Mathematics in east and west Europe, USA and USSR. The general subject of the conference was system theory. The main topics were optimal control, structure and control of nonlinear systems, stabilization and observers, differential algebra and systems theory, nonlinear aspects of Hoc theory, rigid and flexible mechanical systems, nonlinear analysis of signals. We are indebted to the scientific committee John BAILLIEUL, Michel FLIESS, Bronislaw JAKUBCZYCK, Hector SUSSMANN, Jan WILLEMS. We gratefully acknowledge the time and thought they gave to this task. We would also like to thank Chris BYRNES for arranging for the publication of these proceedings through the series'Progress in Systems and Control Theory'; BIRKHAUSER. Finally, we are very grateful to the following institutions who through their financial support contributed essentially to the success of this conference : CNRS, Special year'Systemes Dynamiques', DRET, MEN-DAGIC, GRECO-AUTOMATIQUE, Claude Bernard Lyon I University, Entreprise Rhone-Alpes International, Conseil General du RhOne, the cities of LYON and VILLEURBANNE.

Proceedings of the 17th Annual Conference of the Gesellschaft für Klassifikation e.V., University of Kaiserslautern, March 3 - 5, 1993

This book contains the courses given at the Fourth School on Statistical Physics and Cooperative Systems held at Santiago, Chile, from 12th to 16th December 1994. This School brings together scientists working on subjects related to recent trends in complex systems. Some of these subjects deal with dynamical systems, ergodic theory, cellular automata, symbolic and arithmetic dynamics, spatial systems, large deviation theory and neural networks. Scientists working in these subjects come from several aeras: pure and applied mathematics, non linear physics, biology, computer science, electrical engineering and artificial intelligence. Each contribution is devoted to one or more of the previous subjects. In most cases they are structured as surveys, presenting at the same time an original point of view about the topic and showing mostly new results. The expository text of Roberto Livi concerns the study of coupled map lattices (CML) as models of spatially extended dynamical systems. CML is one of the most used tools for the investigation of spatially extended systems. The paper emphasizes rigorous results about the dynamical behavior of one dimensional CML; i.e. a uniform real local function defined in the interval [0,1], interacting with its nearest neighbors in a one dimensional lattice.

These are the proceedings of an Advanced Research Workshop (ARW), sponsored by the NATO Science Panel, entitled'Pest Control: Operations and Systems Analysis in Fruit Fly Management'. The ARW was held in Bad Windsheim, Germany during the week of 5 August 1985. The purpose of the ARW was to bring together scientists who are interested in fruit fly problems, but who usually do not have an opportunity to speak with each other, for an intense week of interdisciplinary collaboration. In particular, the group present at the ARW contained a mix of biologists, field ecologists, mathematical modellers, operational program managers, economists and social scientists. Each group has its own professional meetings at which fruit fly problems are discussed, but the point of the ARW was to learn about the problem from the perspective of other fields, which are equally important for the ultimate management of the fruit fly problems. (A list of attendees follows this preface.) It appears that the ARW successfully met its objective of bringing together a group for interdisciplinary considerations of the problems; I hope that the proceedings do as well. The ARW was structured with formal lectures in the mornings and workshops in the afternoons. For the morning lectures, four different topics were chosen: 1) basic biology and ecology, 2) trapping and detection, 3) control and eradication, and 4) policy issues. Each morning, one lecture from each area was presented.

This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. The 36 revised regular papers presented together with 10 short papers, 3 invited talks were carefully reviewed and selected from 93 submissions. The topics are organized in topical sections on theorem proving, symbolic execution, model-based engineering, real-time and stochastic systems, model checking, abstraction and abstraction refinement, compositional verification techniques, static and dynamic analysis techniques, fault protection, cyber security, specification formalisms, requirements analysis and applications of formal techniques.

As we approach the end of the 20th century we can look back upon the achievements that have been made in a variety of human endeavours with pride. Enormous strides have been made to improve the quality of life of millions of people through the application of the scientific discoveries made during this and past centuries. The 20th century will be remembered as much for the mass exploitation of scientific discovery as for the discoveries themselves. The technological age has meant that the human being is able to contemplate activities which'defy'nature. For example, some of the work involved in the preparation of these proceedings has been done whilst travelling at over 500 miles per hour seven miles above the surface of the earth. It is not difficult to conjecture about the effect that this relatively recent technology has had upon a number of'systems'. Air transportation has provided a number of benefits including such disparate examples such as enabling holidays, famine relief and the cross fertilisation of cultural practices from other lands. Equally, there have been undesirable effects such as enabling the means of mass destruction, interference in other cultures and the speedy transportation of disease. Moreover, the physical presence of the aeroplane itself represents the consumption of fossil fuels, a source of pollution and a change in the way think about life. The view expressed here is of course the view of an inhabitant of the'western world'.

Proceedings of the NATO Advanced Study Institute, Louvain-la-Neuve, Belgium, July 2-13, 1979

The lectures contained in this book were presented at Harvard University in June 1979. The workshop at which they were presented was the third such on algebro-geometric methods. The first was held in 1973 in London and the emphasis was largely on geometric methods. The second was held at Ames Research Center-NASA in 1976. There again the emphasis was on geometric methods, but algebraic geometry was becoming a dominant theme. In the two years after the Ames meeting there was tremendous growth in the applications of algebraic geometry to systems theory and it was becoming clear that much of the algebraic systems theory was very closely related to the geometric systems theory. On this basis we felt that this was the right time to devote a workshop to the applications of algebra and algebraic geometry to linear systems theory. The lectures contained in this volume represent all but one of the tutorial lectures presented at the workshop. The lec­ ture of Professor Murray Wonham is not contained in this volume and we refer the interested to the archival literature. This workshop was jointly sponsored by a grant from Ames Research Center-NASA and a grant from the Advanced Study Institute Program of NATO. We greatly appreciate the financial support rendered by these two organizations. The American Mathematical Society hosted this meeting as part of their Summer Seminars in Applied Mathematics and will publish the companion volume of con­ tributed papers.

This book constitutes the refereed proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, held in London, UK in September 2012. The 16 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The book covers topics of foundations and semantics, methods and tools, techniques, algorithms, hybrid automata, appilcations, real-time software and hardware circuits.