Suchergebnisse - (timed OR time) concurrent constraint programming

Timed soft concurrent constraint programs: An interleaved and a parallel approach von 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 …”
Volltext

Abstract diagnosis for timed concurrent constraint programs von 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 …”
Volltext

Abstract interpretation of temporal concurrent constraint programs von 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 …”
Volltext

Trouble doing two differently timed actions at once: What is the problem? von 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 …”
Weitere Angaben

Timed Default Concurrent Constraint Programming von 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 …”
Volltext

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

Volltext

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

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

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

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

A Timed Concurrent Constraint Language von 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 …”
Volltext

A Symbolic Model for Timed Concurrent Constraint Programming von 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 …”
Volltext

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

Models and emerging trends of concurrent constraint programming von 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 …”
Volltext

Concurrent-Learning-Based Adaptive Critic Formation for Multirobots Under Safety Constraints von 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 …”
Volltext

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

Probabilistic Extension to the Concurrent Constraint Factor Oracle Model for Music Improvisation von 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 …”
Volltext

Foundations of timed concurrent constraint programming von 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 …”
Volltext

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

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

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

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

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

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

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