Suchergebnisse - time concurrent constraint programming

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

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

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

A semantic framework for the abstract model checking of tccp programs von 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 …”
Volltext

Real-Time Concurrent Constraint Calculus: The Complete Operational Semantics von 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 …”
Volltext

On subexponentials, focusing and modalities in concurrent systems von 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 …”
Volltext

Modelling and implementing asynchronous timed multimedia frameworks using coordination principles von 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 …”
Volltext

Improving the Real-Time Concurrent Constraint Calculus with a Delay Declaration von 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 …”
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

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

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

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

Hybrid behaviour of Markov population models von Bortolussi, Luca

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

Combining quantitative and qualitative reasoning in concurrent multi-player games von 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 …”
Volltext

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

Time-varying Constraint-driven Optimal Task Execution for Multiple Autonomous Underwater Vehicles von 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 …”
Volltext