03506nam 2200613 a 450 991045440970332120200520144314.01-282-07399-0978661207399181-224-2541-0(CKB)1000000000718604(EBL)418812(OCoLC)476249307(SSID)ssj0000952672(PQKBManifestationID)11505013(PQKBTitleCode)TC0000952672(PQKBWorkID)10905662(PQKB)10782185(MiAaPQ)EBC418812(Au-PeEL)EBL418812(CaPaEBR)ebr10318740(CaONFJC)MIL207399(EXLCZ)99100000000071860420091006d2007 uy 0engurcn|||||||||txtccrFACTS controllers in power transmission and distributio[electronic resource] /K.R. PadiyarNew Delhi New Age International (P) Ltd., Publishersc20071 online resource (549 p.)Description based upon print version of record.81-224-2142-3 Includes bibliographical references and index.Cover; Preface; Contents; Chapter 1: Introduction; Chapter 2: AC Transmission Line and Reactive Power Compensation; Chapter 3: Static Var Compensator; Chapter 4: Thyristor and GTO Controlled Series Capacitor; Chapter 5: Static Phase Shifting Transformer; Chapter 6: Static Synchronous Compensator (STATCOM); Chapter 7: Static Synchronous Series Compensator; Chapter 8: Unified Power Flow Controller and other Multi-Converter Devices; Chapter 9: Interphase Power Controller and other FACTS Devices; Chapter 10: Power Oscillation Damping; Chapter 11: Improvement of Transient StabilityChapter 12: Power Quality and Introduction to Custom Power Devices Chapter 13: Load Compensation and Distribution STATCOM; Chapter 14: Dynamic Voltage Restorer and Unified Power Quality Conditioner; Appendix A: Modelling of Synchronous Generator; Appendix B: Pulse Width Modulation for Voltage Source Converters; Appendix C: Per Unit System for STATCOM; Appendix D: Abbreviations; IndexAbout the Book: The emerging technology of Flexible AC Transmission System (FACTS) enables planning and operation of power systems at minimum costs, without compromising security. This is based on modern high power electronic systems that provide fast controllability to ensure 'flexible' operation under changing system conditions. This book presents a comprehensive treatment of the subject by discussing the operating principles, mathematical models, control design and issues that affect the applications. The concepts are explained often with illustrative examples and case studies. In particularFlexible AC transmission systemsElectric power transmissionAlternating currentElectric power distributionAlternating currentElectronic books.Flexible AC transmission systems.Electric power transmissionAlternating current.Electric power distributionAlternating current.621.31912Padiyar K. R27429MiAaPQMiAaPQMiAaPQBOOK9910454409703321FACTS controllers in power transmission and distributio1985303UNINA04726nam 22005895 450 99667318060331620250830130216.03-031-97439-510.1007/978-3-031-97439-7(MiAaPQ)EBC32275200(Au-PeEL)EBL32275200(CKB)40832376700041(DE-He213)978-3-031-97439-7(EXLCZ)994083237670004120250830d2026 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierPrinciples of Formal Quantitative Analysis Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday /edited by Nathalie Bertrand, Clemens Dubslaff, Sascha Klüppelholz1st ed. 2026.Cham :Springer Nature Switzerland :Imprint: Springer,2026.1 online resource (748 pages)Lecture Notes in Computer Science,1611-3349 ;157603-031-97438-7 The Optimal Strategy to Meet the Deadline: Ask Christel -- Nondeterminism in Interactive Markov Chains, with Application to the Erlangen Mainframe -- Decisiveness for countable MDPs and insights for NPLCSs and POMDPs -- Polytopal Stochastic Games -- Algorithmic Applications of Schanuel’s Conjecture -- Stop gambling! It just takes too long -- Probabilistic Model Checking: Applications and Trends -- Probabilistic Counterexamples Through the Ages -- PCTL Satisfiability for Infinite Binary Trees -- CTL∗ Verification and Synthesis using Existential Horn Clauses -- Featured Message Sequence Graphs -- A Note on Runtime Verification of Concurrent Systems -- Embedding Monitoring of First-order Temporal Logic in a Programming Language -- Causality Monitoring for MIMOS -- Owicki/Gries Proof Method: Parameterized Soundness and Completeness -- On the Verification of Quantum Programs -- Efficient Join Order for Constraint Automata through LLM-Generated Heuristics -- What-If Scenarios for the BedreFlyt Digital Twin -- ˚Running.Christel: a stochastic hybrid case-study optimizing battery pack usage -- Termination in Extended Probabilistic Threshold Automata.This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and probabilistic systems. After earning her doctorate from the University of Mannheim, Christel Baier held research and professorial positions in Mannheim and Bonn. Since 2006 she has been a full professor of Algebraic and Logical Foundations of Computer Science at Technische Universität Dresden, where she currently serves as the Dean of the Faculty of Computer Science. In 2011, she was elected to the Academia Europaea. She was the Editor-in-Chief of Acta Informatica from 2015 to 2022, and received an honorary doctorate from RWTH Aachen University in 2022. Among her many notable research achievements, Christel Baier has shaped the foundations and practical applications of system verification. She pioneered probabilistic model checking, advanced techniques for model checking of continuous-time Markov chains, and coauthored the standard textbook Principles of Model Checking. Beyond her research contributions, she is widely respected within the scientific community. Her service has included invited talks, membership in key steering and program committees, and organizing scientific events. Christel Baier has mentored and guided many students and fellow scientists. They appreciate her way of approaching every task with remarkable persistence, focus, and diligence. Many of these collaborators were pleased to contribute to this volume and to celebrate joint work and successes.Lecture Notes in Computer Science,1611-3349 ;15760Computer scienceLogic, Symbolic and mathematicalSoftware engineeringTheory of ComputationMathematical Logic and FoundationsSoftware EngineeringComputer science.Logic, Symbolic and mathematical.Software engineering.Theory of Computation.Mathematical Logic and Foundations.Software Engineering.004.0151Bertrand Nathalie1318703Dubslaff Clemens1448714Klüppelholz Sascha1845094MiAaPQMiAaPQMiAaPQBOOK996673180603316Principles of Formal Quantitative Analysis4428586UNISA