{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":50,"n_cols":5,"rows_kept":50,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[15,2,15,3],[16,2,16,3],[20,2,20,3],[23,2,23,3],[23,4,23,5],[24,2,24,3],[24,4,24,5],[25,2,25,3],[26,2,26,3],[27,2,27,3],[28,2,28,3],[29,2,29,3],[30,2,30,3],[31,2,31,3],[41,2,41,3],[42,2,42,3],[46,2,46,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910438029803321"]
[null,null,"Autore",null,"Graham Carl"]
[null,null,"Titolo",null,"Stochastic Simulation and Monte Carlo Methods : Mathematical Foundations of Stochastic Simulation / / by Carl Graham, Denis Talay"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013"]
[null,null,"ISBN",null,"3-642-39363-2"]
[null,null,"Edizione",null,"[1st ed. 2013.]"]
[null,null,"Descrizione fisica",null,"1 online resource (264 p.)"]
[null,null,"Collana",null,"Stochastic Modelling and Applied Probability, , 0172-4568 ; ; 68"]
[null,null,"Disciplina",null,"519.2"]
[null,null,"Soggetti",null,"Probabilities"]
[{"$nulls":4},"Numerical analysis"]
[{"$nulls":4},"Economics, Mathematical"]
[{"$nulls":4},"Probability Theory and Stochastic Processes"]
[{"$nulls":4},"Numerical Analysis"]
[{"$nulls":4},"Quantitative Finance"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Part I:Principles of Monte Carlo Methods -- 1.Introduction -- 2.Strong Law of Large Numbers and Monte Carlo Methods -- 3.Non Asymptotic Error Estimates for Monte Carlo Methods -- Part II:Exact and Approximate Simulation of Markov Processes -- 4.Poisson Processes -- 5.Discrete-Space Markov Processes -- 6.Continuous-Space Markov Processes with Jumps -- 7.Discretization of Stochastic Differential Equations -- Part III:Variance Reduction, Girsanov’s Theorem, and Stochastic Algorithms -- 8.Variance Reduction and Stochastic Differential Equations -- 9.Stochastic Algorithms -- References -- Index."]
[null,null,null,"Sommario/riassunto","In various scientific and industrial fields, stochastic simulations are taking on a new importance. This is due to the increasing power of computers and practitioners’ aim to simulate more and more complex systems, and thus use random parameters as well as random noises to model the parametric uncertainties and the lack of knowledge on the physics of these systems. The error analysis of these computations is a highly complex mathematical undertaking. Approaching these issues, the authors present stochastic numerical methods and prove accurate convergence rate estimates in terms of their numerical parameters (number of simulations, time discretization steps). As a result, the book "]
[{"$nulls":4},"is a self-contained and rigorous study of the numerical methods within a theoretical framework. After briefly reviewing the basics, the authors first introduce fundamental notions in stochastic calculus and continuous-time martingale theory, then develop the analysis of pure-jump Markov processes, Poisson processes, and stochastic differential equations. In particular, they review the essential properties of Itô integrals and prove fundamental results on the probabilistic analysis of parabolic partial differential equations. These results in turn provide the basis for developing stochastic numerical methods, both from an algorithmic and theoretical point of view.  The book combines advanced mathematical tools, theoretical analysis of stochastic numerical methods, and practical issues at a high level, so as to provide optimal results on the accuracy of Monte Carlo simulations of stochastic processes. It is intended for master and Ph.D. students in the field of stochastic processes and their numerical applications, as well as for physicists, biologists, economists and other professionals working with stochastic simulations, who will benefit from the ability to reliably estimate and control the accuracy of their simulations.  ."]
[null,"2.","Record Nr.",null,"UNINA9910483182003321"]
[null,null,"Titolo",null,"Hybrid Systems: Computation and Control : 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings / / edited by Magnus Egerstedt, Bud Mishra"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008"]
[null,null,"ISBN",null,"3-540-78929-4"]
[null,null,"Edizione",null,"[1st ed. 2008.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XV, 684 p.)"]
[null,null,"Collana",null,"Theoretical Computer Science and General Issues, , 2512-2029 ; ; 4981"]
[null,null,"Disciplina",null,"004.1/9"]
[null,null,"Soggetti",null,"Computer science"]
[{"$nulls":4},"Computers, Special purpose"]
[{"$nulls":4},"Microprocessors"]
[{"$nulls":4},"Computer architecture"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Special Purpose and Application-Based Systems"]
[{"$nulls":4},"Processor Architectures"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[{"$nulls":4},"Software Engineering"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Regular Papers -- Markov Set-Chains as Abstractions of Stochastic Hybrid Systems -- Co-simulation Tools for Networked Control Systems -- On the Maximum Principle for Impulsive Hybrid Systems -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System -- Controller Synthesis with Budget Constraints -- Trading Infinite Memory for Uniform Randomness in Timed Games -- Solutions to Switched Hamilton-Jacobi Equations and Conservation Laws Using Hybrid Components -- Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions -- A Control Lyapunov Approach to Predictive Control of Hybrid Systems -- Discrete and Hybrid Stochastic State Estimation Algorithms for Networked Control Systems -- Anytime Control Algorithms for Embedded Real-Time Systems -- Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems -- A Counterexample-Guided Approach to "]
[{"$nulls":4},"Parameter Synthesis for Linear Hybrid Automata -- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems -- Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis -- Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes -- Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains -- Observer-Based Control of Linear Complementarity Systems -- Complementarity Systems in Constrained Steady-State Optimal Control -- Dealing with Nondeterminism in Symbolic Control -- Safety and Liveness in Intelligent Intersections -- LTLC: Linear Temporal Logic for Control -- Switched and PieceWise Nonlinear Hybrid System Identification -- Verification of Supervisory Control Software Using State Proximity and Merging -- Optimotaxis: A Stochastic Multi-agent OptimizationProcedure with Point Measurements -- Noncausal Optimal Tracking of Linear Switched Systems -- Realization Theory for Discrete-Time Semi-algebraic Hybrid Systems -- A Decidable Class of Planar Linear Hybrid Systems -- Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization -- Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process -- Distributed Lyapunov Functions in Analysis of Graph Models of Software -- On the Optimality of Dubins Paths across Heterogeneous Terrain -- Switching Surface Design for Periodically Operated Discretely Controlled Continuous Systems -- Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata -- Input-to-State Stabilization with Quantized Output Feedback -- Bisimilar Finite Abstractions of Interconnected Systems -- On Controllability of Timed Continuous Petri Nets -- Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications -- Necessary Conditions for the Impulsive Time-Optimal Control of Finite-Dimensional Lagrangian Systems -- Composition of Motion Description Languages -- On Optimal Quadratic Regulation for Discrete-Time Switched Linear Systems -- Short Papers -- Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps -- On Stability of Switched Linear Hyperbolic Conservation Laws with Reflecting Boundaries -- Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems -- Reachability Analysis of Stochastic Hybrid Systems by Optimal Control -- An Integrated Approach to Parametric and Discrete Fault Diagnosis in Hybrid Systems -- d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata -- Sufficient Conditions for Zeno Behavior in Lagrangian Hybrid Systems -- Separation in Stability Analysis of Piecewise Linear Systems in Discrete Time -- Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics -- Approximate Control Design for Solar Driven Sensor Nodes -- Modular Development of Hybrid Systems for Verification in Coq -- Steering a Leader-Follower Team Via Linear Consensus -- Logical Verification and Systematic Parametric Analysis in Train Control -- Information Theoretical Approach to Identification of Hybrid Systems -- A Policy Iteration Technique for Time Elapse over Template Polyhedra -- Generating Box Invariants -- Qualitative Stability Patterns for Lotka-Volterra Systems on Rectangles -- Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates -- On the Timing of Discrete Events in Event-Driven Control Systems -- Decentralized Event-Triggered Broadcasts over Networked Control Systems."]
[null,null,null,"Sommario/riassunto","This volume contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. Louis, Missouriduring April 22–24,2008.The annual workshop on hybrid "]
[{"$nulls":4},"systems focuses on researchin - bedded,reactivesystemsinvolvingtheinterplaybetweensymbolic/switchingand continuous dynamical behaviors. HSCC attracts academic as well as industrial researchers to exchange information on the latest developments of applications and theoretical advancements in the design, analysis, control, optimization, and implementation of hybrid systems, with particular attention to embedded and networked control systems. New for this year was that HSCC was part of the inaugural CPSWEEK (Cyber-Physical Systems Week) – a co-located cluster of three conferences: HSCC, RTAS (Real-Time and Embedded Technology and Applications Sym- sium), and IPSN (International Conference on Information Processing in Sensor Networks). The previous workshops in the series of HSCC were held in Berkeley, USA (1998),Nijmegen,TheNetherlands(1999),Pittsburgh,USA(2000),Rome,Italy (2001), Palo Alto, USA (2002), Prague, Czech Republic (2003), Philadelphia, USA (2004),Zurich, Switzerland (2005) , Santa Barbara,USA (2006), and Pisa, Italy (2007). We would like to thank the Program Committee members and the reviewers for an excellent job of evaluating the submissions and participating in the online Program Committee discussions. We are grateful to the Steering Committee for their helpful guidance and support. We would also like to thank Patrick Martin for putting together these proceedings, and Jiuguang Wang for developing and maintaining the HSCC 2008 website. January 2008 Magnus Egerstedt Bud Mishra Organization HSCC 2008 was technically co-sponsored by the IEEE Control Systems Society andorganized in cooperation with ACM/SIGBED."]