Výsledky vyhľadávania - 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

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

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

A semantic framework for the abstract model checking of tccp programs Autor 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…”
Získať plný text

Real-Time Concurrent Constraint Calculus: The Complete Operational Semantics Autor 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…”
Získať plný text

On subexponentials, focusing and modalities in concurrent systems Autor 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…”
Získať plný text

Modelling and implementing asynchronous timed multimedia frameworks using coordination principles Autor 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…”
Získať plný text

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

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

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

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

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

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

Hybrid behaviour of Markov population models Autor Bortolussi, Luca

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

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

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

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

Time-varying Constraint-driven Optimal Task Execution for Multiple Autonomous Underwater Vehicles Autor 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…”
Získať plný text