Search Results - (timed OR time) concurrent constraint programming

Timed soft concurrent constraint programs: An interleaved and a parallel approach by 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…”
Get full text

Abstract diagnosis for timed concurrent constraint programs by 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…”
Get full text

Abstract interpretation of temporal concurrent constraint programs by 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…”
Get full text

Trouble doing two differently timed actions at once: What is the problem? by 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…”
Get more information

Timed Default Concurrent Constraint Programming by 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…”
Get full text

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

Get full text

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

“…The language Timed Concurrent Constraint (tccp) is the extension over time of the Concurrent Constraint Programming (cc…”
Get full text

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

“… (ADP) with concurrent learning for unknown continuous-time nonlinear systems with control constraints…”
Get full text

A Timed Concurrent Constraint Language by 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…”
Get full text

A Symbolic Model for Timed Concurrent Constraint Programming by 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…”
Get full text

Cyclic scheduling of multi-type wafers concurrent processing in single-arm cluster tools with residency time constraints by 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…”
Get full text

Models and emerging trends of concurrent constraint programming by 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…”
Get full text

Concurrent-Learning-Based Adaptive Critic Formation for Multirobots Under Safety Constraints by 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…”
Get full text

Concurrent learning for adaptive pontryagin's maximum principle of nonlinear systems with inequality constraints by 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…”
Get full text

Probabilistic Extension to the Concurrent Constraint Factor Oracle Model for Music Improvisation by 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…”
Get full text

Foundations of timed concurrent constraint programming by 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…”
Get full text

Event-Triggered Optimal Control for Partially Unknown Constrained-Input Systems via Adaptive Dynamic Programming by 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…”
Get full text

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

“…Concurrent Constraint Programming (CCP) is a well-established declarative framework from concurrency theory…”
Get full text

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

“…A temporal logic is presented for reasoning about the correctness of timed concurrent constraint programs…”
Get full text

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

“…The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL…”
Get full text