487,037 Hits in 8.0 sec

Issues in the theoretical foundations of climate science

Joel Katzav, Wendy S. Parker
2018 Studies in history and philosophy of modern physics  
In doing so, we hope to open a new thread of discussion in the emerging area of philosophy of climate science, focused on theoretical foundations.  ...  We provide a brief, non-technical overview of several of these issuesrelated to theorizing about climates, climate change, internal variability and moreand attempt to make preliminary progress in addressing  ...  According to the narrow notion, climate is the statistical distribution of weather for a region over a period of time ranging from months to millions of years; the standard period of time is 30 years.  ... 
doi:10.1016/j.shpsb.2018.02.001 fatcat:xs3kf7dxe5aerej25vxizzkfta

Distributed Timed Automata

Padmanabhan Krishnan
2000 Electronical Notes in Theoretical Computer Science  
In this article we discuss (i) a model suitable for describing a distributed real-time system and (ii) a notion of implementation for such systems on a uniprocessor system.  ...  The rst point is addressed by amalgamating nite state automata with dense time (or Alur-Dill automata) and asynchronous distributed (or Zielonka) automata over a distributed alphabet.  ...  In other words, parallel composition corresponds to intersection. In a distributed system each processor has its own notion of time.  ... 
doi:10.1016/s1571-0661(05)80627-9 fatcat:ydsl5odgivhurdswljtepjfwki

Time-based Coordination in Geo-Distributed Cyber-Physical Systems

Sandeep M. D'Souza, Ragunathan Rajkumar
2017 USENIX Workshop on Hot Topics in Cloud Computing  
In this position paper, we argue for a global Quality of Time (QoT)-based architecture, centered around a shared virtualized notion of time, based on the timeline abstraction [1].  ...  While low latency is useful, a shared and precise notion of time is key to enabling coordinated action in distributed CPS.  ...  The views and conclusions contained herein are those of the authors and should not be interpreted as necessarily representing the official policies or endorsements, either expressed or implied, of NSF,  ... 
dblp:conf/hotcloud/DSouzaR17 fatcat:spbhsp7lp5fctbmwke52gijiha

13 AutoFocus 3 - A Scientific Tool Prototype for Model-Based Development of Component-Based, Reactive, Distributed Systems [chapter]

Florian Hölzl, Martin Feilkas
2010 Lecture Notes in Computer Science  
The modeling language is based on precise semantics including the notion of time and allows for a refinement-based methodology for the development of reactive systems, typically found in user-accessible  ...  We give an introduction of the AutoFocus 3 tool 1 , which allows component-based modeling of reactive, distributed systems and provides validation and verification mechanisms for these models.  ...  in building large parts of the tool infrastructure, and to Wolfgang Schwitzer for his work on the deployment extension of AutoFocus 3.  ... 
doi:10.1007/978-3-642-16277-0_13 fatcat:gth3ss4zqfaezgcy7hmwlep4qu

Page 7927 of Mathematical Reviews Vol. , Issue 96m [page]

1996 Mathematical Reviews  
This notion is an extension of the standard notion of observability for discrete- time, linear time-varying systems.  ...  A sign-following system and logic switchings are introduced into the control system. The global stability of the overall system is proved.  ... 

Page 4404 of Mathematical Reviews Vol. , Issue 2002F [page]

2002 Mathematical Reviews  
Early work in the area concentrated on global pre-emption and static priorities and led to formalisms for modeling interrupts and aspects of real-time, such as maximal progress, in centralized computing  ...  Each system defines a labelled transition system whose states are BPA expressions and whose transitions are determined by the structural operational semantics of BPA.  ... 

Knowledge and probability in distributed systems: Abstract [chapter]

Joseph Y. Halpern
1991 Lecture Notes in Computer Science  
sketch a few of the details, and provide references to other work in applying tools of epistemic logic to distributed computing.  ...  The goals of my talk are (a) to convince you that it does indeed have great relevance, (b) to show how distributed systems can be analyzed in terms of knowledge, and (c) to show how our tools for analyzing  ...  The tuple consisting of each process' local state at a given time is called the global state of the system.  ... 
doi:10.1007/3540539816_58 fatcat:ywlp5cz3arek5ipca2tpkunsw4

Datalog in Time and Space, Synchronously

Matteo Interlandi, Letizia Tanca, Sonia Bergamaschi
2013 Alberto Mendelzon Workshop on Foundations of Data Management  
Motivated by recent developments of Datalog-based languages for highly distributed systems [9] , in this paper we introduce a version of Datalog ¬ specifically tailored for distributed programming [2]  ...  in synchronous settings, along with its operational and declarative semantics.  ...  We define how global states may change over time through the notion of run, which binds time values to global states.  ... 
dblp:conf/amw/InterlandiTB13 fatcat:blhayfxnbfd7jaefndabxpmsv4

Modelling knowledge and action in distributed systems

Joseph Y. Halpern, Ronald Fagin
1989 Distributed computing  
We view a distributed system as a set of runs, where a run is a function from time to global states and a global state is a tuple consisting of an environment state and a local state for each process in  ...  We present a formal model that captures the subtle interaction between knowledge and action in distributed systems.  ...  that a system should be viewed as a set of runs.  ... 
doi:10.1007/bf01784885 fatcat:nxbfmzb4sfc3hhtamltls7bnqm

Time in State Machines

Susanne Graf, Andreas Prinz
2005 International Workshops on Abstract State Machines  
There are also ways to extend the general state machine framework with distribution aspects. However, there is still no agreement when it comes to handling time in this framework.  ...  State machines are considered a very general means of expressing computations in an implementation-independent way.  ...  Its support for real-time behavior is essentially limited to timers and the underlying notion of global system time.  ... 
dblp:conf/asm/GrafP05 fatcat:4uzdyocugfcnfnljbxzux2ydze

Equilibration and "Thermalization" in the Adapted Caldeira–Leggett Model

Andreas Albrecht
2022 Entropy  
in larger more realistic systems.  ...  While the finite model size and other "unphysical" aspects prevent the notions of temperature and thermalization from being generally applicable, certain primitive aspects of thermalization can be realized  ...  Acknowledgments: I am grateful to Rose Baunach, Zoe Holmes, Veronika Hubeny, Richard Scalettar, and Rajiv Singh for helpful conversations.  ... 
doi:10.3390/e24030316 pmid:35327827 pmcid:PMC8947377 fatcat:odbe4a6fkndcfgvecdrlf2fcie

Time in Cyber-Physical Systems Specifications, Modeling and Measurements

Miroslav Sveda
2021 International Journal of Mathematical Models and Methods in Applied Sciences  
This paper addresses the role, interpretation and the deployment of the notion "time" in distributed cyber-physical systems.  ...  It discusses various possibilities how to approach such modeling and selects the fitting one, which enables to utilize the related specification language ASL in the domain applications.  ...  ACKNOWLEDGMENT This project has been carried out with a financial support from the Czech Republic state budget by the IT4Innovations Centre of Excellence, EU, CZ 1.05/1.1.00/02.0070CEZ and by the MMT project  ... 
doi:10.46300/9101.2021.15.24 fatcat:64u6i2dp7vbfrcrhpuamsavv7u

A LCFS finite buffer model with batch input and non-exponential services

Nico M. van Dijk
1989 Stochastic Processes and their Applications  
A closed form expression is obtained for the steady-state queue length distribution and shown to be insensitive to service distributional forms (i.e. to depend only on mean service times).  ...  A linite last-come first-served queueing system is studied with batch input and non-exponential services.  ...  Relation (3.5) in particular can be interpreted as equality of the rate into and out of a state as due to a specified batch.  ... 
doi:10.1016/0304-4149(89)90070-7 fatcat:dzkz2akvkzcafkjny2j4kh5hfa

On external semi-global stochastic stabilization of a double integrator with input saturation

Anton A. Stoorvogel, Ali Saberi
2008 2008 47th IEEE Conference on Decision and Control  
a bounded variance of the state vector in the presence of disturbances and Gaussian distributed initial conditions.  ...  Recently, it has been shown that for criticaly stable systems there exists a linear static state feedback law that achieves global asymptotic stability in the absence of disturbances, while guaranteeing  ...  Note that, like in the critically stable case, the tail of the distribution of the state will be slower than in a Gaussian distribution (actually for it is comparable with the tail of an exponential distribution  ... 
doi:10.1109/cdc.2008.4739255 dblp:conf/cdc/StoorvogelS08 fatcat:37uuy77f3vhabkxpguq5ataz7i

Distributed algorithms and causally consistent observations (abstract) [chapter]

Friedemann Mattern
1995 Lecture Notes in Computer Science  
H o wever, if we simply deny the existence of global time, does it then still make sense to consider global predicates (i.e., predicates of the global state) of a distributed system?  ...  monitor a single computation, they may or may not agree on the value of such a predicate { which, for example, makes the notion of global (or \distributed") breakpoints rather doubtful!  ...  H o wever, if we simply deny the existence of global time, does it then still make sense to consider global predicates (i.e., predicates of the global state) of a distributed system?  ... 
doi:10.1007/3-540-60029-9_30 fatcat:j436qvm22rdx3oagmb2aekegpy
« Previous Showing results 1 — 15 out of 487,037 results