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

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

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

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

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

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

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

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

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

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

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

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

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

Concurrent Optimization of Subway Vertical Alignments and Station Elevations With Improved Particle Swarm Optimization Algorithm Autor Wei, Li, Qiu, Xiao, Pu, Hao, Schonfeld, Paul, Zhen, Shujun, Zhou, Yuhui, Xu, Zhanjun

“… In this paper, a concurrent optimization model of stations and links is developed, in which the vertical points of intersection in stations and links are design variables…”
Získať plný text

Combining quantitative and qualitative reasoning in concurrent multi-player games Autor Bulling, Nils, Goranko, Valentin

“…We propose a general framework for modelling and formal reasoning about multi-agent systems and, in particular, multi-stage games where both quantitative and qualitative objectives and constraints are involved…”
Získať plný text

Scheduling residency time-constrained single-armed cluster tools with two-wafer types via mixed integer programming model Autor Yang, Fajun, Li, Chao, Zhen, Lu, Zhang, Chunjiang, Wu, Naiqi

“…•A mixed integer programming model is formulated to determine the optimal wafer release sequence and robot task sequence…”
Získať plný text

Constraint programming model for resource-constrained assembly line balancing problem Autor Alakaş, Hacı Mehmet, Pınarbaşı, Mehmet, Yüzükırmızı, Mustafa

“… However, tasks may need to be processed by general resource requirements in real life. These general resources could be classified by usage of resources such as simple or multiple, alternative and concurrent…”
Získať plný text

A Novel Mixed Integer Programming Model With Precedence Relation-Based Decision Variables for Non-Cyclic Scheduling of Cluster Tools Autor Ahn, Jeongsun, Kim, Hyun-Jung

“… We therefore present a novel mixed integer programming (MIP) model that can handle these non-cyclic scheduling problems of cluster tools…”
Získať plný text

Balancing of cost-oriented U-type general resource-constrained assembly line: new constraint programming models Autor Alakaş, Hacı Mehmet, Pınarbaşı, Mehmet

“… Two different constraint programming (CP) models that define the resource constraints as “and/or” constraint…”
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