04272oam 2200673 450 99646602600331620210520115848.01-280-80485-897866108048563-540-44881-010.1007/3-540-44881-0(CKB)1000000000212057(EBL)3036552(SSID)ssj0000308420(PQKBManifestationID)11225426(PQKBTitleCode)TC0000308420(PQKBWorkID)10258963(PQKB)10058192(DE-He213)978-3-540-44881-5(MiAaPQ)EBC3036552(MiAaPQ)EBC6413226(MiAaPQ)EBC6413215(Au-PeEL)EBL6413226(OCoLC)166467953(PPN)15521408X(EXLCZ)99100000000021205720210520d2003 uy 0engur|n|---|||||txtccrRewriting techniques and applications 14th international conference, RTA 2003, Valencia, Spain, June 2003 : proceedings /edited by Robert Nieuwenhuis1st ed. 2003.Berlin, Germany ;New York, New York :Springer,[2003]1 online resource (526 p.)Lecture Notes in Computer Science,0302-9743 ;2706Description based upon print version of record.3-540-40254-3 Includes bibliographical references and index.Invited Talk -- Symbolic Systems Biology -- Confluence as a Cut Elimination Property -- Associative-Commutative Rewriting on Large Terms -- A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms -- Efficient Reductions with Director Strings -- Rewriting Logic and Probabilities -- The Maude 2.0 System -- Diagrams for Meaning Preservation -- Expression Reduction Systems with Patterns -- Residuals in Higher-Order Rewriting -- Rewriting UNITY -- New Decidability Results for Fragments of First-Order Logic and Application to Cryptographic Protocols -- An E-unification Algorithm for Analyzing Protocols That Use Modular Exponentiation -- Two-Way Equational Tree Automata for AC-Like Theories: Decidability and Closure Properties -- Rule-Based Analysis of Dimensional Safety -- Invited Talk -- Topological Collections, Transformations and Their Application to the Modeling and the Simulation of Dynamical Systems -- On the Complexity of Higher-Order Matching in the Linear ?-Calculus -- XML Schema, Tree Logic and Sheaves Automata -- Size-Change Termination for Term Rewriting -- Monotonic AC-Compatible Semantic Path Orderings -- Relating Derivation Lengths with the Slow-Growing Hierarchy Directly -- Tsukuba Termination Tool -- Liveness in Rewriting -- Validation of the JavaCard Platform with Implicit Induction Techniques -- “Term Partition” for Mathematical Induction -- Equational Prover of Theorema -- Termination of Simply Typed Term Rewriting by Translation and Labelling -- Rewriting Modulo in Deduction Modulo -- Termination of String Rewriting Rules That Have One Pair of Overlaps -- Environments for Term Rewriting Engines for Free! -- Joint RTA-TLCA Invited Talk -- A Logical Algorithm for ML Type Inference -- A Rewriting Alternative to Reidemeister-Schreier -- Stable Computational Semantics of Conflict-Free Rewrite Systems (Partial Orders with Duplication) -- Recognizing Boolean Closed A-Tree Languages with Membership Conditional Rewriting Mechanism -- Testing Extended Regular Language Membership Incrementally by Rewriting.Lecture Notes in Computer Science,0302-9743 ;2706RTA 2003Rewriting systems (Computer science)CongressesComputer programmingCongressesAlgorithmsCongressesRewriting systems (Computer science)Computer programmingAlgorithms005.131Nieuwenhuis RobertInternational Conference on Rewriting Techniques and ApplicationsMiAaPQMiAaPQUtOrBLWBOOK996466026003316Rewriting Techniques and Applications774195UNISA04084nam 22007455 450 991043813910332120260810140645.09781461469834146146983X10.1007/978-1-4614-6983-4(OCoLC)840605078(MiFhGG)GVRL6XUL(CKB)2670000000360100(DE-He213)978-1-4614-6983-4(EXLCZ)99267000000036010020130413d2013 u| 0engurun|---uuuuatxtccrContinuous Average Control of Piecewise Deterministic Markov Processes /by Oswaldo Luiz do Valle Costa, Francois Dufour1st ed. 2013.New York, NY :Springer New York :Imprint: Springer,2013.1 online resource (xii, 116 pages) illustrationsSpringerBriefs in Mathematics,2191-8201"ISSN: 2191-8198.""ISSN: 2191-8201 (electronic)."9781461469827 1461469821 Includes bibliographical references and index.Introduction -- Average continuous control of PDMPs -- Optimality equation for the average control of PDMPs -- The vanishing discount approach for PDMPs -- The policy iteration algorithm for PDMPs -- Examples.The intent of this book is to present recent results in the control theory for the long run average continuous control problem of piecewise deterministic Markov processes (PDMPs). The book focuses mainly on the long run average cost criteria and  extends to the PDMPs some well-known techniques related to discrete-time and continuous-time Markov decision processes, including the so-called ``average inequality approach'', ``vanishing discount technique'' and ``policy iteration algorithm''. We believe that what is unique about our approach is that, by using the special features of the PDMPs, we trace a parallel with the general theory for discrete-time Markov Decision Processes rather than the continuous-time case. The two main reasons for doing that is to use the powerful tools developed in the discrete-time framework and to avoid working with the infinitesimal generator associated to a PDMP, which in most cases has its domain of definition difficult to be characterized. Although the book is mainly intended to be a theoretically oriented text, it also contains some motivational examples. The book is targeted primarily for advanced students and practitioners of control theory. The book will be a valuable source for experts in the field of Markov decision processes. Moreover,  the book should be suitable for certain advanced courses or seminars. As  background, one needs an acquaintance with the theory of Markov decision processes and some knowledge of stochastic processes and modern analysis.  .SpringerBriefs in Mathematics,2191-8201ProbabilitiesMathematical optimizationSystem theoryControl theoryOperations researchManagement scienceProbability TheoryContinuous OptimizationSystems Theory, ControlOperations Research, Management ScienceComplex SystemsProbabilities.Mathematical optimization.System theory.Control theory.Operations research.Management science.Probability Theory.Continuous Optimization.Systems Theory, Control.Operations Research, Management Science.Complex Systems.519.233Costa Oswaldo Luiz do Valle771991Dufour FrançoisMiFhGGMiFhGGBOOK9910438139103321Continuous Average Control of Piecewise Deterministic Markov Processes4840299UNINA