A Formal Model of a MultiRobot Control and Communication Task
WeintroducetheComputationandControlLanguage(CCL),aguarded-commandlanguageforexpressingsystemswhereincontrolandcomputationareinter-twined.ACCLprogramconsistsofasetofguardedcommandsthatmayupdatecontinuousordiscretevari-ablesandthatcanbereasonedaboutusingasimpletemporallogic.Inthispap
用户评论
相关推荐
Formal specification of railway control systems
Formal specification of railway control systems
PDF
355KB
2021-02-15 19:54
Map.Framework.A.Formal.Model.of.Maps
This book explores the concept of a map as a fundamental data type. It defines maps at three levels.
PDF
2.57MB
2021-04-17 23:26
Efficiency Centric Communication Model for
EfficiencyCentricCommunicationModelforWirelessSensorNetworks
PDF
0B
2019-06-05 07:57
Communication Web Service Model
新技术，面向通信的Web服务模型。WebServices:Software-as-a-Service,Communication,andBeyond。
PDF
0B
2019-06-05 07:57
MuRoS–MultiRobot Simulator
Somecommonactions:•Tocreateanewrobot:selectoneoftherobotsonthebottomtoolbarandclickatthedesiredposit
RAR
0B
2019-08-01 06:14
A Formal Model for Attack Mutation Using Dynamic Description Logics
A Formal Model for Attack Mutation Using Dynamic Description Logics
PDF
236KB
2021-03-19 10:00
Inverter_Control_Model
Inverter_Control_ModelInverter_Control_ModelInverter_Control_ModelInverter_Control_Model.
MDL
0B
2019-09-27 17:18
Model Predictive Control Toolbox
ModelPredictiveControlToolbox手册不过是英文的
PDF
0B
2020-05-14 19:36
Model reference adaptive control
Model reference adaptive control matlab
ZIP
0B
2018-12-18 18:40
Microsoft Communication Control Version6.0
本插件适合C++, .NET. VB LABVIEW 等缺少此类插件的用户
RAR
0B
2018-12-28 22:00
Sampleddata vehicular platoon control with communication delay
Thisarticleinvestigatessampled-datavehicularplatooncontrolwithcommunicationdelay.Anewsampled-datacon
PDF
0B
2019-09-05 15:19
Power constraint communication aware task scheduling in reconfigurable multiproc
Power constraint communication-aware task scheduling in reconfigurable multiprocessors
PDF
929KB
2021-02-16 10:46
Model predictive control with an on line identification model of a supply chain
Model predictive control with an on-line identification model of a supply chain unit
PDF
153KB
2021-03-15 09:34
Bifurcation control of a congestion control model via state feedback
Bifurcation control of a congestion control model via state feedback
PDF
1.62MB
2021-03-29 23:28
Model Predictive Control Theory and Design
《Model Predictive Control: Theory and Design》这本书是国外大学学习模型预测控制（MPC）的指定教材，出版于2009年。
ZIP
0B
2019-04-13 14:12