Výsledky vyhľadávania - (timed OR time) concurrent constraint programming

Timed soft concurrent constraint programs: An interleaved and a parallel approach Autor BISTARELLI, STEFANO, GABBRIELLI, MAURIZIO, MEO, MARIA CHIARA, SANTINI, FRANCESCO

“…We propose a timed and soft extension of Concurrent Constraint Programming. The time extension is based on the hypothesis of bounded asynchrony…”
Získať plný text

Abstract diagnosis for timed concurrent constraint programs Autor COMINI, MARCO, TITOLO, LAURA, VILLANUEVA, ALICIA

“…The timed concurrent constraint language (tccp in short) is a concurrent logic language based on the simple but powerful concurrent constraint paradigm of Saraswat…”
Získať plný text

Abstract interpretation of temporal concurrent constraint programs Autor FALASCHI, MORENO, OLARTE, CARLOS, PALAMIDESSI, CATUSCIA

“…Timed Concurrent Constraint Programming (tcc) is a declarative model for concurrency offering a logic for specifying reactive systems, i.e…”
Získať plný text

Trouble doing two differently timed actions at once: What is the problem? Autor Maslovat, Dana, Klapp, Stuart T

“… These findings, which indicate that motor action is limited to a single time base, are in marked contrast with the fact that it is easy to mechanically generate two independent rhythms simply…”
Zistit podrobnosti o prístupe

Timed Default Concurrent Constraint Programming Autor SARASWAT, VIJAY, JAGADEESAN, RADHA, GUPTA, VINEET

“…, extending the closure-operator model for untimed concurrent constraint programming (CCP). In Saraswat et al. (1994a) we had proposed a model for this called tcc…”
Získať plný text

Modelling and simulation of asynchronous real-time systems using Timed Rebeca Autor Reynisson, Arni Hermann, Sirjani, Marjan, Aceto, Luca, Cimini, Matteo, Jafari, Ali, Ingolfsdottir, Anna, Sigurdarson, Steinar Hugi

Získať plný text

Automatic verification of timed concurrent constraint programs Autor FALASCHI, MORENO, VILLANUEVA, ALICIA

“…The language Timed Concurrent Constraint (tccp) is the extension over time of the Concurrent Constraint Programming (cc…”
Získať plný text

Constrained Event-Triggered H∞ Control Based on Adaptive Dynamic Programming With Concurrent Learning Autor Xue, Shan, Luo, Biao, Liu, Derong, Yang, Yin

“… (ADP) with concurrent learning for unknown continuous-time nonlinear systems with control constraints…”
Získať plný text

A Timed Concurrent Constraint Language Autor de Boer, F.S., Gabbrielli, M., Meo, M.C.

“…We study a timed concurrent constraint language, called tccp, which is obtained by a natural timed interpretation of the usual ccp constructs…”
Získať plný text

A Symbolic Model for Timed Concurrent Constraint Programming Autor Arias, Jaime, Guzmán, Michell, Olarte, Carlos

“…Concurrent Constraint Programming (ccp) is a model for concurrency where agents interact with each other by telling and asking constraints (i.e., formulas in logic…”
Získať plný text

Cyclic scheduling of multi-type wafers concurrent processing in single-arm cluster tools with residency time constraints Autor Li, Xin, Yang, Wen

“… This paper proposes an approach towards the generalized cyclic scheduling of multiple wafer types in single-arm cluster tools, considering residency time constraints…”
Získať plný text

Models and emerging trends of concurrent constraint programming Autor Olarte, Carlos, Rueda, Camilo, Valencia, Frank D.

“…Concurrent Constraint Programming (CCP) has been used over the last two decades as an elegant and expressive model for concurrent systems…”
Získať plný text

Concurrent-Learning-Based Adaptive Critic Formation for Multirobots Under Safety Constraints Autor Cheng, Yunjie, Shao, Xingling, Li, Jiangmiao, Liu, Jun, Zhang, Qingzhen

“…This article presents a concurrent learning-based adaptive critic formation for multirobots under safety constraints, which comprises of an initial formation consensus item and a collision-free adaptive critic policy…”
Získať plný text

Concurrent learning for adaptive pontryagin's maximum principle of nonlinear systems with inequality constraints Autor Zhang, Bin, Zhang, Yuqi, Jia, Yingmin

“… Furthermore, we extend the adaptive iterative algorithm to time‐varying nonlinear systems. The new algorithm overcomes the technical obstacles of the existing adaptive/approximate dynamic programming (ADP…”
Získať plný text

Probabilistic Extension to the Concurrent Constraint Factor Oracle Model for Music Improvisation Autor Toro, Mauricio

“…We can program a Real-Time (RT) music improvisation system in C++ without a formal semantic or we can model it with process calculi such as the Non-deterministic Timed Concurrent Constraint (ntcc) calculus…”
Získať plný text

Foundations of timed concurrent constraint programming Autor Saraswat, V.A., Jagadeesan, R., Gupta, V.

“…We develop a model for timed, reactive computation by extending the asynchronous, untimed concurrent constraint programming model in a simple and uniform way…”
Získať plný text

Event-Triggered Optimal Control for Partially Unknown Constrained-Input Systems via Adaptive Dynamic Programming Autor Zhu, Yuanheng, Zhao, Dongbin, He, Haibo, Ji, Junhong

“… Constraints on controls are handled using a bounded function. To learn the optimal solution with partially unknown dynamics, an online adaptive dynamic programming algorithm is proposed…”
Získať plný text

Efficient algorithms for program equivalence for confluent concurrent constraint programming Autor Pino, Luis F., Bonchi, Filippo, Valencia, Frank

“…Concurrent Constraint Programming (CCP) is a well-established declarative framework from concurrency theory…”
Získať plný text

A temporal logic for reasoning about timed concurrent constraint programs Autor de Boer, F.S., Gabbrielli, M., Meo, M.C.

“…A temporal logic is presented for reasoning about the correctness of timed concurrent constraint programs…”
Získať plný text

Decidability of infinite-state timed CCP processes and first-order LTL Autor Valencia, Frank D.

“…The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL…”
Získať plný text