Results 231 to 240 of about 547,797 (285)
IoT-Simulated Digital Twin with AI Traffic Signal Control for Real-Time Traffic Optimization in SUMO. [PDF]
Sensors (Basel)Ceapă VCD +7 more
europepmc +1 more source
Real-Time Digital Twin Architecture for Immersive Industrial Automation Training. [PDF]
Sensors (Basel)Ortiz JS, Andaluz VH, Carvajal CP.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS, 2011
In this paper we present a novel formalism for de ning properties over linear execution traces, namely elective temporal logic (ETL). Di erently from several other temporal logics, ETL is not dedicated to a speci c time model, e.g. discrete time or real time.
COSTA, GABRIELE, I. Matteucci
openaire +5 more sources
In this paper we present a novel formalism for de ning properties over linear execution traces, namely elective temporal logic (ETL). Di erently from several other temporal logics, ETL is not dedicated to a speci c time model, e.g. discrete time or real time.
COSTA, GABRIELE, I. Matteucci
openaire +5 more sources
1994
Abstract This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations in volume 1, covering automata, branching time and labelled ...
Dov M Gabbay +2 more
openaire +2 more sources
Abstract This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations in volume 1, covering automata, branching time and labelled ...
Dov M Gabbay +2 more
openaire +2 more sources
1995
Abstract There are various historical sources for the discipline of Temporal Logic. The insight that temporal discourse and temporal argument show significant logical structures arises naturally in the empirical study of human reasoning, but it has recently become a necessity in the design of mechanical reasoning systems as well.
Peter Øhrstrøm, F. V. Per Hasle
openaire +3 more sources
Abstract There are various historical sources for the discipline of Temporal Logic. The insight that temporal discourse and temporal argument show significant logical structures arises naturally in the empirical study of human reasoning, but it has recently become a necessity in the design of mechanical reasoning systems as well.
Peter Øhrstrøm, F. V. Per Hasle
openaire +3 more sources
2023
Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. These systems differ by the ontological assumptions made about the nature of time in the associated models, by the logical languages involving various operators for composing temporalized expressions,
openaire +1 more source
Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. These systems differ by the ontological assumptions made about the nature of time in the associated models, by the logical languages involving various operators for composing temporalized expressions,
openaire +1 more source
Journal of Automated Reasoning, 2014
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bozzelli L., Sanchez C.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bozzelli L., Sanchez C.
openaire +2 more sources