Generalized real-time temporal logic applied on control of nondeterministic discrete events dynamic systems

2005 ◽  
Author(s):  
B.I. Silva ◽  
R.S. Mendes
Keyword(s):  
Real Time ◽  
Temporal Logic ◽  
Dynamic Systems ◽  
Discrete Events

Tiger: real-time situation assessment of dynamic systems

1994 ◽  
Vol 3 (3) ◽  
pp. 103 ◽  
Author(s):  
R. Milne ◽  
C. Nicol ◽  
M. Ghallab ◽  
L. Travé-Massuyès ◽  
K. Bousson ◽  
...  
Keyword(s):  
Real Time ◽  
Dynamic Systems ◽  
Situation Assessment

Extending Linear Temporal Logic with Clocks to Object-Z

2014 ◽  
Vol 513-517 ◽  
pp. 927-930
Author(s):  
Zhi Cheng Wen ◽  
Zhi Gang Chen
Keyword(s):  
Real Time ◽  
Temporal Logic ◽  
Formal Specification ◽  
Large Scale ◽  
Linear Temporal Logic ◽  
Specification Language ◽  
Continuous Variables ◽  
Real Time System ◽  
Software Specification ◽  
Formal Specification Language

Object-Z, an extension to formal specification language Z, is good for describing large scale Object-Oriented software specification. While Object-Z has found application in a number of areas, its utility is limited by its inability to specify continuous variables and real-time constraints. Linear temporal logic can describe real-time system, but it can not deal with time variables well and also can not describe formal specification modularly. This paper extends linear temporal logic with clocks (LTLC) and presents an approach to adding linear temporal logic with clocks to Object-Z. Extended Object-Z with LTLC, a modular formal specification language, is a minimum extension of the syntax and semantics of Object-Z. The main advantage of this extension lies in that it is convenient to describe and verify the complex real-time software specification.

scholarly journals Temporal Logics Over Finite Traces with Uncertainty

2020 ◽  
Vol 34 (06) ◽  
pp. 10218-10225 ◽  
Author(s):  
Fabrizio M Maggi ◽  
Marco Montali ◽  
Rafael Peñaloza
Keyword(s):  
Decision Making ◽  
Temporal Logic ◽  
Business Process ◽  
Dynamic Systems ◽  
Real Life ◽  
Temporal Logics ◽  
Business Process Modelling ◽  
Process Discovery ◽  
Event Log ◽  
Computational Properties

Temporal logics over finite traces have recently seen wide application in a number of areas, from business process modelling, monitoring, and mining to planning and decision making. However, real-life dynamic systems contain a degree of uncertainty which cannot be handled with classical logics. We thus propose a new probabilistic temporal logic over finite traces using superposition semantics, where all possible evolutions are possible, until observed. We study the properties of the logic and provide automata-based mechanisms for deriving probabilistic inferences from its formulas. We then study a fragment of the logic with better computational properties. Notably, formulas in this fragment can be discovered from event log data using off-the-shelf existing declarative process discovery techniques.

scholarly journals The Microcontroller Implementation of the Basic Fractional-Order Element

2020 ◽  
Vol 24 (4) ◽  
pp. 19-26
Author(s):  
Krzysztof Oprzędkiewicz ◽  
Maciej Rosół ◽  
Jakub Żegleń-Włodarczyk
Keyword(s):  
Control Systems ◽  
Real Time ◽  
Fractional Order ◽  
Dynamic Systems ◽  
Broad Class ◽  
Fractional Order Control ◽  
Linear And Nonlinear ◽  
Hard Real Time ◽  
Order Element ◽  
Accuracy Of Approximation

The paper presents the implementation of the basic fractional order element sγ on the STM32 microcontroller platform. The implementation employs the typical CFE and FOBD approximations, the accuracy of approximation as well as duration of calculations are experimentally tested. Microcontroller implementation of fractional order elements is known; however, real-time tests of such implementations have been not presented yet. Results of experiments show that both methods can be implemented at the considered platform. The FOBD approximation is more accurate, but the CFE one is faster. The presented experimental results prove that the STM32F7 family processor could be used to develop the embedded fractional-order control systems for a broad class of linear and nonlinear dynamic systems. This is crucial during the implementation of the fractional-order control in the hard real-time or embedded systems.

Real-time refinement in Manna and Pnueli's temporal logic

1996 ◽  
Vol 8 (4) ◽  
pp. 408-427 ◽  
Author(s):  
David Scholefield
Keyword(s):  
Real Time ◽  
Temporal Logic
Sign in / Sign up

Export Citation Format

Share Document