Results 51 to 60 of about 430,787 (365)
Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks
Sensors, 2022 Metric temporal logic (MTL) is a popular real-time extension of linear temporal logic (LTL). This paper presents a new simple SAT-based bounded model-checking (SAT-BMC) method for MTL interpreted over discrete infinite timed models generated by discrete ...
Agnieszka M. Zbrzezny, Andrzej Zbrzezny
doaj +1 more source
Timed Context-Free Temporal Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 The paper is focused on temporal logics for the description of the behaviour of real-time pushdown reactive systems. The paper is motivated to bridge tractable logics specialized for expressing separately dense-time real-time properties and context-free ...
Laura Bozzelli +2 more
doaj +1 more source
Specification Sketching for Linear Temporal Logic
, 2023 Virtually all verification and synthesis techniques assume that the formal specifications are readily available, functionally correct, and fully match the engineer's understanding of the given system. However, this assumption is often unrealistic in practice: formalizing system requirements is notoriously difficult, error-prone, and requires ...
Lutz, S., Neider, D., Roy, R.
openaire +3 more sources
Fuzzy Time in Linear Temporal Logic [PDF]
ACM Transactions on Computational Logic, 2014 In the past years, the adoption of adaptive systems has increased in many fields of computer science, such as databases and software engineering. These systems are able to automatically react to events by collecting information from the external environment and generating new events.
Frigeri, Achille +2 more
openaire +4 more sources
Decision procedure for first-order linear temporal logic with semi-periodic kemels
Lietuvos Matematikos Rinkinys, 2002 There is not abstract.
Regimantas Pliuškevičius
doaj +3 more sources
Modelling and Analysis of the Lift System as a Hybrid System [PDF]
Acta Electrotechnica et Informatica, 2017 This paper deals with one of the challenges of cyber-physical systems, namely modelling them as hybrid systems. Specifically the paper aims to utilize hybrid systems framework onto the lift system which comes from the real laboratory lift.
Dominik VOŠČEK +2 more
doaj +1 more source
Robust Temporal Logic Model Predictive Control [PDF]
, 2015 Control synthesis from temporal logic specifications has gained popularity in recent years. In this paper, we use a model predictive approach to control discrete time linear systems with additive bounded disturbances subject to constraints given as ...
Belta, Calin, Sadraddini, Sadra
core +1 more source
Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic
International Conference on Hybrid Systems: Computation and Control, 2023 This work presents an optimization-based control synthesis approach for an extension of Signal Temporal Logic (STL) called weighted Signal Temporal Logic (wSTL).
G. Cardona, Disha Kamale, C. Vasile
semanticscholar +1 more source
Method of marks for propositional linear temporal logic
Lietuvos Matematikos Rinkinys, 2014 It is known that traditional techniques used to ensure termination of a decision procedure in non-classical logics are based on loop-checking, in general.
Regimantas Pliuškevičius
doaj +1 more source
Parametric Linear Dynamic Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We introduce Parametric Linear Dynamic Logic (PLDL), which extends Linear Dynamic Logic (LDL) by temporal operators equipped with parameters that bound their scope.
Peter Faymonville, Martin Zimmermann
doaj +1 more source