设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
Springer电子图书(4)
CNKI学位论文(997)
CNKI期刊论文0611(3)
知网期刊论文(413)
万方学位论文(2)
在“
Elsevier电子期刊
”中,
命中:
167
条,耗时:小于0.01 秒
在所有数据库中总计命中:
1,419
条
1.
On max-plus linear dynamical system theory: The regulation problem
作者:
Vinicius Mariano Gonç
;
alves
a
;
mariano@cpdee.ufmg.br
Author Vitae
;
Carlos Andrey Maia
a
;
maia@cpdee.ufmg.br
Author Vitae
;
Laurent Hardouin
b
;
laurent.hardouin@univ-angers.fr
Author Vitae
关键词:
Max-plus algebra
;
Tropical algebra
;
Timed
-event graphs
;
Geometric control
刊名:Automatica
出版年:2017
2.
A linear characterization of the switching dynamic behavior of
timed
continuous
Petri
nets
with structural conflicts
作者:
Berenice Gudiñ
;
o-Mendoza
a
;
ggudino@gdl.cinvestav.mx" class="auth_mail" title="E-mail the corresponding author
;
Ernesto Ló
;
pez-Mellado
a
;
elopez@gdl.cinvestav.mx" class="auth_mail" title="E-mail the corresponding author
;
Hassane Alla
b
;
Hassane.Alla@gipsa-lab.grenoble-inp.fr" class="auth_mail" title="E-mail the corresponding author
关键词:
Timed
continuous
Petri
nets
;
Mixed Linear Integer Programming
;
IB-states
;
Conflict resolution policies
刊名:Nonlinear Analysis: Hybrid Systems
出版年:2016
3.
Supporting Adaptive Tour with High Level
Petri
Nets
作者:
Shang Gao
a
;
shang@deakin.edu.au" class="auth_mail" title="E-mail the corresponding author
;
Junyu Niu
b
;
Dawei Sun
c
关键词:
Adaptive tour
;
Colored
timed
Petri
Nets
;
Adaptive navigation
刊名:Procedia Computer Science
出版年:2016
4.
Optimal robotic cell scheduling with controllers using mathematically based
timed
Petri
nets
作者:
Abdulrahman Al-Ahmari
a
;
b
;
alahmari@ksu.edu.sa" class="auth_mail" title="E-mail the corresponding author
关键词:
Robotic cell
;
Flow shop scheduling
;
Timed
Petri
net
;
Mathematical model
刊名:Information Sciences
出版年:2016
5.
State Estimation for DES according to Partially Observed Stochastic
Petri
Nets
作者:
R. Ammour
a
;
b
;
rabah.ammour@univ-lehavre.fr" class="auth_mail" title="E-mail the corresponding author
;
E. Leclercq
a
;
E. Sanlaville
b
;
D. Lefebvre
a
关键词:
State estimation
;
stochastic
Petri
nets
;
probabilistic model
刊名:IFAC-PapersOnLine
出版年:2016
6.
A hazard analysis via an improved
timed
colored
petri
net with time-space coupling safety constraint
作者:
Zelin LiAuthor Vitae
;
Shihai Wang
;
wangshihai@buaa.edu.cn" class="auth_mail" title="E-mail the corresponding author
Author Vitae
;
Tingdi ZhaoAuthor Vitae
;
Bin LiuAuthor Vitae
关键词:
Petri
nets
;
Real-time systems
;
Resource allocation
;
System modeling
;
Time&ndash
;
space coupling safety constant
刊名:Chinese Journal of Aeronautics
出版年:2016
7.
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications
作者:
Matteo Rossi
;
matteo.rossi@polimi.it" class="auth_mail" title="E-mail the corresponding author
;
Dino Mandrioli
dino.mandrioli@polimi.it" class="auth_mail" title="E-mail the corresponding author
;
Angelo Morzenti
angelo.morzenti@polimi.it" class="auth_mail" title="E-mail the corresponding author
;
Luca Ferrucci
luca.ferrucci@polimi.it" class="auth_mail" title="E-mail the corresponding author
关键词:
Metric temporal logic
;
Formal and automatic verification
;
Micro- and macro-steps
;
Non-standard analysis
;
Petri
nets
;
Stateflow/Simulink
刊名:Theoretical Computer Science
出版年:2016
8.
Individuals, populations and fluid approximations: A
Petri
net based perspective
作者:
Manuel Silva
;
silva@unizar.es" class="auth_mail" title="E-mail the corresponding author
关键词:
Discrete event system
;
Petri
net
;
Fluidization
;
Piecewise affine system
;
Symmetries
;
Decolorization
刊名:Nonlinear Analysis: Hybrid Systems
出版年:2016
9.
Performance regulation of event-driven dynamical systems using infinitesimal perturbation analysis
作者:
Y. Wardi
a
;
ywardi@ece.gatech.edu" class="auth_mail" title="E-mail the corresponding author
;
C. Seatzu
b
;
seatzu@diee.unica.it" class="auth_mail" title="E-mail the corresponding author
;
X. Chen
a
;
xchen318@gatech.edu" class="auth_mail" title="E-mail the corresponding author
;
S. Yalamanchili
a
;
sudha@ece.gatech.edu" class="auth_mail" title="E-mail the corresponding author
关键词:
Infinitesimal perturbation analysis
;
Timed
DEDS
;
Stochastic hybrid systems
;
Performance regulation
刊名:Nonlinear Analysis: Hybrid Systems
出版年:2016
10.
Model predictive control for discrete event systems with partial synchronization
作者:
Xavier David-Henriet
a
;
b
;
c
;
xavier.davidhenriet@gmail.com" class="auth_mail" title="E-mail the corresponding author
Author Vitae
;
Laurent Hardouin
b
;
laurent.hardouin@univ-angers.fr" class="auth_mail" title="E-mail the corresponding author
Author Vitae
;
Jö
;
rg Raisch
a
;
c
;
raisch@control.tu-berlin.de" class="auth_mail" title="E-mail the corresponding author
Author Vitae
;
Bertrand Cottenceau
b
;
bertrand.cottenceau@univ-angers.fr" class="auth_mail" title="E-mail the corresponding author
Author Vitae
关键词:
Discrete event systems
;
Synchronization
;
Model-based control
;
Predictive control
;
Transportation control
;
Timed
Petri
nets
刊名:Automatica
出版年:2016
1
2
3
4
5
6
7
8
9
按检索点细分(167)
题名(59)
关键词(53)
文摘(113)
按出版年细分(167)
2027年及以后(4)
2017年(1)
2016年(9)
2015年(2)
2014年(7)
2013年(7)
2012年(17)
2011年(13)
2010年(8)
2009年(20)
2008年(5)
2007年(2)
2006年(5)
2005年(9)
2004年(6)
2003年(6)
2002年(7)
2001年(6)
2000年(6)
2000年及以前(27)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.