Search Results - time concurrent constraint programming

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

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

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

A semantic framework for the abstract model checking of tccp programs by Alpuente, María, del Mar Gallardo, María, Pimentel, Ernesto, Villanueva, Alicia

“…The Timed Concurrent Constraint programming language ( tccp) introduces time aspects into the Concurrent Constraint paradigm…”
Get full text

Real-Time Concurrent Constraint Calculus: The Complete Operational Semantics by Gerardo, M, Sarria, M

“…The Real-Time Concurrent Constraint Programming Calculus (rtcc) is a model of concurrency developed to specify systems with real-tune behaviour…”
Get full text

On subexponentials, focusing and modalities in concurrent systems by Nigam, Vivek, Olarte, Carlos, Pimentel, Elaine

“… We show that the view of subexponentials as specific modalities is general enough to give a modular encoding of different flavors of Concurrent Constraint Programming (CCP…”
Get full text

Modelling and implementing asynchronous timed multimedia frameworks using coordination principles by Papadopoulos, George A.

“… concurrent constraint programming (OO-TCCP). The real-time extensions that have been proposed for the concurrent constraint programming framework are coupled with the object-oriented and inheritance mechanisms that have been developed for logic…”
Get full text

Improving the Real-Time Concurrent Constraint Calculus with a Delay Declaration by Gerardo, M, Sarria, M

“…The Real-Time Concurrent Constraint Programming Calculus (rtcc) is a model of concurrency developed to specify systems with real-time behaviour…”
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

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

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

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

Hybrid behaviour of Markov population models by Bortolussi, Luca

“…We investigate the behaviour of population models, specified in stochastic Concurrent Constraint Programming (sCCP…”
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

Combining quantitative and qualitative reasoning in concurrent multi-player games by 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…”
Get full text

Concurrent Optimization of Subway Vertical Alignments and Station Elevations With Improved Particle Swarm Optimization Algorithm by 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…”
Get full text

Time-varying Constraint-driven Optimal Task Execution for Multiple Autonomous Underwater Vehicles by Wang, Chenggang, Zhu, Shanying, Li, Bochen, Song, Lei, Guan, Xinping

“…). The different tasks are formulated as multiple constraints on optimization. First, the task goals are formulated by the time-varying control barrier functions…”
Get full text