Download or read book Advances in Automatic Control written by Mihail Voicu and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 442 pages. Available in PDF, EPUB and Kindle. Book excerpt: During the academic year 2002-2003, the Faculty of Automatic Control and Computer Engineering of Ia~i (Romania), and its Departments of Automatic Control and Industrial Informatics and of Computer Engineering respectively, celebrated 25 years from the establishment of the specialization named Automatic Control and Computer Engineering within the framework of the former Faculty of Electrical Engineering of Ia~i, and, at the same time, 40 years since the first courses on Automatic Control and Computers respectively, were introduced in the curricula of the former specializations of Electromechanical Engineering and Electrical Power Engineering at the already mentioned Faculty of Electrical Engineering. The reader interested to know some important moments ofour evolution during the last five decades is invited to see the Addendum ofthis volume, where a short history is presented. And, to highlight once more the nice coincidences, it must be noted here that in 2003 our Technical University "Gheorghe Asachi" of Ia~i celebrated 190 years from the emergence of the first cadastral engineering degree course in Ia~i (thanks to the endeavor ofGheorghe Asachi), which is today considered to be the beginningofthe engineering higher education in Romania. Generally speaking, an anniversary is a celebration meant to mark special events ofthe past, with festivities to be performed solemnly and publicly according to a specific ritual.

Download or read book Petri Nets in Science and Engineering written by Raul Campos-Rodriguez and published by BoD – Books on Demand. This book was released on 2018-09-19 with total page 146 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents a collection of chapters from different areas of science and engineering, where Petri Nets have been shown to be a useful tool for the design and modeling of the problems that arise in such fields. The areas covered in this book include manufacturing systems, authentication and cyber-security, computer architectures, mechanical systems, process mining, control theory and time analysis. The main focus of the chapters was to be illustrative, to help the development of intuitive ideas that may guide the reader to adopt Petri Nets in their scientific or engineering work. However, there are other chapters with deep mathematical basis such as time analysis. Whenever possible, models, graphics and examples illustrate the developed concepts.

Download or read book Application and Theory of Petri Nets and Concurrency written by Luis Gomes and published by Springer Nature. This book was released on 2023-05-27 with total page 470 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 44th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2023, which took place in Lisbon, Portugal, in June 2023. The 21 full papers included in this book were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: Process mining; semantics; tools; verification; timed models; model transformation. The book also includes two invited talks in full paper length.

Download or read book Colored Petri Nets for Modeling of Discrete Systems written by Reggie Davidrajuh and published by Springer Nature. This book was released on 2023-12-06 with total page 222 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book offers a practical approach to modeling real-world discrete systems and performing analysis. The theory behind the book is the Colored Petri nets, and the tool used for simulations is general-purpose Petri net simulator (GPenSIM). The theory part is kept to a minimum, and more explanation is given to the GPenSIM functions and how they can be used for modeling, simulation, and performance analysis. Real-world industrial systems possess a large number of resources. Modeling these systems with Petri nets would become a problem as they result in huge Petri net models. This book offers a unique solution to this problem by moving resources away from the Petri net model and treating them as variables in the background. Also, the theory and practice put forward in the book help cost estimation of the systems (e.g., manufacturing subsystems).

Download or read book Theory and Practice of Computation written by Shin-ya Nishizaki and published by CRC Press. This book was released on 2019-09-20 with total page 217 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the papers presented at the 8th Workshop on Computing: Theory and Practice, WCTP 2018 and is devoted to theoretical and practical approaches to computation. The conference was organized by four top universities in Japan and the Philippines: the Tokyo Institute of Technology, Osaka University, the University of the Philippines Diliman, and De La Salle University. The proceedings provide a broad view of the recent developments in computer science research in Asia, with an emphasis on Japan and the Philippines. The papers focus on both theoretical and practical aspects of computations, such as programming language theory, modeling of software systems, empathic computing, and various applications of information technology. The book will be of interest to academic and industrial researchers interested in recent developments in computer science research.

Download or read book Advanced Control Strategies for Social and Economic Systems ACS 04 written by Peter Kopacek and published by Elsevier. This book was released on 2006-01-06 with total page 218 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Modeling in Systems Biology written by Ina Koch and published by Springer Science & Business Media. This book was released on 2010-10-21 with total page 378 pages. Available in PDF, EPUB and Kindle. Book excerpt: The emerging, multi-disciplinary field of systems biology is devoted to the study of the relationships between various parts of a biological system, and computer modeling plays a vital role in the drive to understand the processes of life from an holistic viewpoint. Advancements in experimental technologies in biology and medicine have generated an enormous amount of biological data on the dependencies and interactions of many different molecular cell processes, fueling the development of numerous computational methods for exploring this data. The mathematical formalism of Petri net theory is able to encompass many of these techniques. This essential text/reference presents a comprehensive overview of cutting-edge research in applications of Petri nets in systems biology, with contributions from an international selection of experts. Those unfamiliar with the field are also provided with a general introduction to systems biology, the foundations of biochemistry, and the basics of Petri net theory. Further chapters address Petri net modeling techniques for building and analyzing biological models, as well as network prediction approaches, before reviewing the applications to networks of different biological classification. Topics and features: investigates the modular, qualitative modeling of regulatory networks using Petri nets, and examines an Hybrid Functional Petri net simulation case study; contains a glossary of the concepts and notation used in the book, in addition to exercises at the end of each chapter; covers the topological analysis of metabolic and regulatory networks, the analysis of models of signaling networks, and the prediction of network structure; provides a biological case study on the conversion of logical networks into Petri nets; discusses discrete modeling, stochastic modeling, fuzzy modeling, dynamic pathway modeling, genetic regulatory network modeling, and quantitative analysis techniques; includes a Foreword by Professor Jens Reich, Professor of Bioinformatics at Humboldt University and Max Delbrück Center for Molecular Medicine in Berlin. This unique guide to the modeling of biochemical systems using Petri net concepts will be of real utility to researchers and students of computational biology, systems biology, bioinformatics, computer science, and biochemistry.

Download or read book Petri Nets for Modeling of Large Discrete Systems written by Reggie Davidrajuh and published by Springer Nature. This book was released on 2021-09-21 with total page 236 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book offers a new Modular Petri Net as a solution to the vast Petri net models. It presents some approaches centering around modules (known as “Petri modules”). The goal of this book is to introduce a methodology in which Petri nets are moved to a new level. In this new level, large Petri net models are made of Petri modules, which are independent and run on different computers. This book also contains the literature study on modular Petri nets and definitions for the newer Petri modules. Also, algorithms for extracting Petri modules, and algorithms for connecting Petri modules, and applications are given in this book. Besides, the ideas and algorithms given in this book are implemented in the software General-purpose Petri Net Simulator (GPenSIM). Hence, with the use of this book the readers/users would be able to know that real-life discrete event systems could be modeled, analyzed, and performance-optimized with GPenSIM.

Download or read book Soft Computing Theories and Applications written by Tarun K. Sharma and published by Springer Nature. This book was released on 2021-07-30 with total page 734 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book focuses on soft computing and how it can be applied to solve real-world problems arising in various domains, ranging from medicine and healthcare, to supply chain management, image processing and cryptanalysis. It gathers high-quality papers presented at the International Conference on Soft Computing: Theories and Applications (SoCTA 2020), organized online. The book is divided into two volumes and offers valuable insights into soft computing for teachers and researchers alike; the book will inspire further research in this dynamic field.

Download or read book Supervisory Control of Concurrent Systems written by Marian Iordache and published by Springer Science & Business Media. This book was released on 2007-06-04 with total page 289 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications represented in the discrete-event framework. The approach employed uses Petri nets as discrete-event models and structural methods for the synthesis of supervisors, and may lead to significant computational benefits. Highlighting recent progress in the design of supervisors by structural methods, the book represents a novel contribution to the field. One of the main features of the presentation is the demonstration that structural methods can address a variety of supervisor specifications under diverse supervision settings.

Download or read book Risk Assessment written by Marvin Rausand and published by John Wiley & Sons. This book was released on 2013-06-12 with total page 467 pages. Available in PDF, EPUB and Kindle. Book excerpt: An introduction to risk assessment that utilizes key theory and state-of-the-art applications With its balanced coverage of theory and applications along with standards and regulations, Risk Assessment: Theory, Methods, and Applications serves as a comprehensive introduction to the topic. The book serves as a practical guide to current risk analysis and risk assessment, emphasizing the possibility of sudden, major accidents across various areas of practice from machinery and manufacturing processes to nuclear power plants and transportation systems. The author applies a uniform framework to the discussion of each method, setting forth clear objectives and descriptions, while also shedding light on applications, essential resources, and advantages and disadvantages. Following an introduction that provides an overview of risk assessment, the book is organized into two sections that outline key theory, methods, and applications. Introduction to Risk Assessment defines key concepts and details the steps of a thorough risk assessment along with the necessary quantitative risk measures. Chapters outline the overall risk assessment process, and a discussion of accident models and accident causation offers readers new insights into how and why accidents occur to help them make better assessments. Risk Assessment Methods and Applications carefully describes the most relevant methods for risk assessment, including preliminary hazard analysis, HAZOP, fault tree analysis, and event tree analysis. Here, each method is accompanied by a self-contained description as well as workflow diagrams and worksheets that illustrate the use of discussed techniques. Important problem areas in risk assessment, such as barriers and barrier analysis, human errors, and human reliability, are discussed along with uncertainty and sensitivity analysis. Each chapter concludes with a listing of resources for further study of the topic, and detailed appendices outline main results from probability and statistics, related formulas, and a listing of key terms used in risk assessment. A related website features problems that allow readers to test their comprehension of the presented material and supplemental slides to facilitate the learning process. Risk Assessment is an excellent book for courses on risk analysis and risk assessment at the upper-undergraduate and graduate levels. It also serves as a valuable reference for engineers, researchers, consultants, and practitioners who use risk assessment techniques in their everyday work.

Download or read book Modeling and Control of Discrete event Dynamic Systems written by Branislav Hrúz and published by Springer Science & Business Media. This book was released on 2007-08-20 with total page 352 pages. Available in PDF, EPUB and Kindle. Book excerpt: Discrete-event dynamic systems (DEDs) permeate our world. They are of great importance in modern manufacturing processes, transportation and various forms of computer and communications networking. This book begins with the mathematical basics required for the study of DEDs and moves on to present various tools used in their modeling and control. Industrial examples illustrate the concepts and methods discussed, making this book an invaluable aid for students embarking on further courses in control, manufacturing engineering or computer studies.

Download or read book Estimating Impact written by Alexander Kott and published by Springer Science & Business Media. This book was released on 2010-09-15 with total page 376 pages. Available in PDF, EPUB and Kindle. Book excerpt: Sociological theories of crime include: theories of strain blame crime on personal stressors; theories of social learning blame crime on its social rewards, and see crime more as an institution in conflict with other institutions rather than as in- vidual deviance; and theories of control look at crime as natural and rewarding, and explore the formation of institutions that control crime. Theorists of corruption generally agree that corruption is an expression of the Patron–Client relationship in which a person with access to resources trades resources with kin and members of the community in exchange for loyalty. Some approaches to modeling crime and corruption do not involve an explicit simulation: rule based systems; Bayesian networks; game theoretic approaches, often based on rational choice theory; and Neoclassical Econometrics, a rational choice-based approach. Simulation-based approaches take into account greater complexities of interacting parts of social phenomena. These include fuzzy cognitive maps and fuzzy rule sets that may incorporate feedback; and agent-based simulation, which can go a step farther by computing new social structures not previously identified in theory. The latter include cognitive agent models, in which agents learn how to perceive their en- ronment and act upon the perceptions of their individual experiences; and reactive agent simulation, which, while less capable than cognitive-agent simulation, is adequate for testing a policy’s effects with existing societal structures. For example, NNL is a cognitive agent model based on the REPAST Simphony toolkit.

Download or read book Advances in Computers written by Marvin Zelkowitz and published by Elsevier. This book was released on 2005-05-19 with total page 313 pages. Available in PDF, EPUB and Kindle. Book excerpt: The term computation gap has been defined as the difference between the computational power demanded by the application domain and the computational power of the underlying computer platform. Traditionally, closing the computation gap has been one of the major and fundamental tasks of computer architects. However, as technology advances and computers become more pervasive in the society, the domain of computer architecture has been extended. The scope of research in the computer architecture is no longer restricted to the computer hardware and organization issues. A wide spectrum of topics ranging from algorithm design to power management is becoming part of the computer architecture. Based on the aforementioned trend and to reflect recent research efforts, attempts were made to select a collection of articles that covers different aspects of contemporary computer architecture design. This volume of the Advances in Computers contains six chapters on different aspects of computer architecture. Key features: - Wide range of research topics - Coverage of new topics such as power management, Network on Chip, Load balancing in distributed systems, and pervasive computing - Simple writing style - Wide range of research topics - Coverage of new topics such as power management, Network on Chip, Load balancing in distributed systems, and pervasive computing - Simple writing style

Download or read book Mobility Protocols and Handover Optimization written by Ashutosh Dutta and published by John Wiley & Sons. This book was released on 2014-03-07 with total page 552 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book provides a common framework for mobility management that considers the theoretical and practical aspects of systems optimization for mobile networks. In this book, the authors show how an optimized system of mobility management can improve the quality of service in existing forms of mobile communication. Furthermore, they provide a theoretical approach to mobility management, as well as developing the model for systems optimization, including practical case studies using network layer and mobility layer protocols in different deployment scenarios. The authors also address the different ways in which the specific mobility protocol can be developed, taking into account numerous factors including security, configuration, authentication, quality of service, and movement patterns of the mobiles. Key Features: Defines and discusses a common set of optimization methodologies and their application to all mobility protocols for both IPv4 and IPv6 networks Applies these technologies in the context of various layers: MAC layer, network layer, transport layer and application layer covering 802.11, LTE, WiMax, CDMA networks and protocols such as SIP, MIP, HIP, VoIP, and many more Provides a thorough analysis of the required steps during a mobility event such as discovery, network selection, configuration, authentication, security association, encryption, binding update, and media direction Includes models and tables illustrating the analysis of mobility management as well as architecture of sample wireless and mobility test beds built by the authors, involving inter-domain and intra-domain mobility scenarios This book is an excellent resource forprofessionals and systems architects in charge of designing wireless networks for commercial (3G/4G), LTE, IMS, military and Ad Hoc environment. It will be useful deployment guide for the architects wireless service providers. Graduate students, researchers in industry and academia, and systems engineers will also find this book of interest.

Download or read book Proceedings of the International Conference on Applications of Machine Intelligence and Data Analytics ICAMIDA 2022 written by Sharvari Tamane and published by Springer Nature. This book was released on 2023-05-01 with total page 1027 pages. Available in PDF, EPUB and Kindle. Book excerpt: This is an open access book. As on date, huge volumes of data are being generated through sensors, satellites, and simulators. Modern research on data analytics and its applications reveal that several algorithms are being designed and developed to process these datasets, either through the use of sequential and parallel processes. In the current scenario of Industry 4.0, data analytics, artificial intelligence and machine learning are being used to support decisions in space and time. Further, the availability of Graphical Processing Units (GPUs) and Tensor Processing Units (TPUs) have enabled to processing of these datasets. Some of the applications of Artificial Intelligence, Machine Learning and Data Analytics are in the domains of Agriculture, Climate Change, Disaster Prediction, Automation in Manufacturing, Intelligent Transportation Systems, Health Care, Retail, Stock Market, Fashion Design, etc. The international conference on Applications of Machine Intelligence and Data Analytics aims to bring together faculty members, researchers, scientists, and industry people on a common platform to exchange ideas, algorithms, knowledge based on processing hardware and their respective application programming interfaces (APIs).

Download or read book Repairing event logs using stochastic process models written by Rogge-Solti, Andreas and published by Universitätsverlag Potsdam. This book was released on 2013 with total page 30 pages. Available in PDF, EPUB and Kindle. Book excerpt: