05786nam 22008295 450 99646568350331620230221225633.01-280-38846-397866135663863-642-15297-X10.1007/978-3-642-15297-9(CKB)2670000000045047(SSID)ssj0000446475(PQKBManifestationID)11249936(PQKBTitleCode)TC0000446475(PQKBWorkID)10496508(PQKB)11381528(DE-He213)978-3-642-15297-9(MiAaPQ)EBC3065790(PPN)149024665(EXLCZ)99267000000004504720100906d2010 u| 0engurnn|008mamaatxtccrFormal Modeling and Analysis of Timed Systems[electronic resource] 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings /edited by Krishnendu Chatterjee, Thomas A. Henzinger1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (X, 257 p. 55 illus.) Theoretical Computer Science and General Issues,2512-2029 ;6246Bibliographic Level Mode of Issuance: Monograph3-642-15296-1 Includes bibliographical references and index.Interdisciplinary Foundations for Open Cyber-Physical Systems -- Safraless Procedures for Timed Specifications -- Property-Based Monitoring of Analog and Mixed-Signal Systems -- A Framework for Verification of Software with Time and Probabilities -- Synchrony and Time in Fault-Tolerant Distributed Algorithms -- Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting -- Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games -- Natural Domain SMT: A Preliminary Assessment -- Robust Satisfaction of Temporal Logic over Real-Valued Signals -- Combining Symbolic Representations for Solving Timed Games -- Expected Reachability-Time Games -- Diagnosis Using Unfoldings of Parametric Time Petri Nets -- From Mtl to Deterministic Timed Automata -- Unambiguity in Timed Regular Languages: Automata and Logics -- A Process Algebraic Framework for Modeling Resource Demand and Supply -- Memory Event Clocks -- Simulation and Bisimulation for Probabilistic Timed Automata -- Layered Composition for Timed Automata -- A Conformance Testing Relation for Symbolic Timed Automata.This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 8–10, 2010, at IST (Institute of Science and Technology) Austria, in Klosterneuburg, Austria. The modeling andanalysis oftiming aspects of systems is a keyproblem that has been treated independently in several di?erent communities in computer science and related areas. Researchers interested in semantics, veri?cation, re- timescheduling,andperformanceanalysisstudymodelssuchastimedautomata and timed Petri nets, the digital design community focuses on propagation and switching delays, and designers of embedded controllers need to take into - count the time requiredby controllersto compute their responses after sampling the environment. Although the timing-related questions in these separate c- munities have their own speci?c nature, there is a growing awareness that there are basic problems that are common to all of them. In particular, all of these disciplines model and analyze systems whose behavior depends on combinations of logical and timing constraints between occurrences of events. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from di?erent d- ciplines that share an interest in the modeling and analysis of timed systems. Typical topics include (but are not limited to): – Foundations and Semantics: theoretical foundations of timed systems and languages; comparison between di?erent models (timed automata, timed Petri nets, hybrid automata, timed process algebra,max-plus algebra, pr- abilistic models).Theoretical Computer Science and General Issues,2512-2029 ;6246Computer scienceSystem theoryControl theoryComputer programmingSoftware engineeringCompilers (Computer programs)Machine theoryComputer Science Logic and Foundations of ProgrammingSystems Theory, Control Programming TechniquesSoftware EngineeringCompilers and InterpretersFormal Languages and Automata TheoryComputer science.System theory.Control theory.Computer programming.Software engineering.Compilers (Computer programs).Machine theory.Computer Science Logic and Foundations of Programming.Systems Theory, Control .Programming Techniques.Software Engineering.Compilers and Interpreters.Formal Languages and Automata Theory.004.01/51Chatterjee Krishnenduedthttp://id.loc.gov/vocabulary/relators/edtHenzinger Thomas Aedthttp://id.loc.gov/vocabulary/relators/edtFORMATS 2010BOOK996465683503316Formal Modeling and Analysis of Timed Systems772562UNISA02652nam 2200565 450 991081797060332120170821165123.00-8218-7880-8(CKB)3240000000069816(EBL)3113029(SSID)ssj0000712497(PQKBManifestationID)11407518(PQKBTitleCode)TC0000712497(PQKBWorkID)10644534(PQKB)11311324(MiAaPQ)EBC3113029(WaSeSS)Ind00039303(RPAM)12564384(PPN)19710617X(EXLCZ)99324000000006981620011015h20012001 uy| 0engur|n|---|||||txtccrDynamical, spectral, and arithmetic zeta functions AMS Special Session on Dynamical, Spectral, and Arithmetic Zeta Functions, January 15-16, 1999, San Antonio, Texas /Michel L. Lapidus, Machiel Van Frankenhuysen, editorsProvidence, Rhode Island :American Mathematical Society,[2001]©20011 online resource (210 p.)Contemporary mathematics,0271-4132 ;290Description based upon print version of record.0-8218-2079-6 Includes bibliographical references.""Contents""; ""Preface""; ""Eigenfunctions of the transfer operators and the period functions for modular groups""; ""A note on dynamical trace formulas""; ""Small eigenvalues and Hausdorff dimension of sequences of hyperbolic three-manifolds""; ""Dynamical zeta functions and asymptotic expansions in Nielsen theory""; ""Computing the Riemann zeta function by numerical quadrature""; ""On Riemann's zeta function""; ""A prime orbit theorem for self-similar flows and Diophantine approximation""; ""The 1022-nd zero of the Riemann zeta function""""Spectral theory, dynamics, and Selberg's zeta function for Kleinian groups""""On zeroes of automorphic L-functions""; ""Artin L-functions of graph coverings""Contemporary mathematics (American Mathematical Society) ;290.Functions, ZetaCongressesFunctions, Zeta515/.56Lapidus Michel L(Michel Laurent),1956-Van Frankenhuysen Machiel1967-AMS Special Session on Dynamical, Spectral, and Arithmetic Zeta FunctionsMiAaPQMiAaPQMiAaPQBOOK9910817970603321Dynamical, spectral, and arithmetic zeta functions4112805UNINA