相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Fault detection for discrete event systems using Petri nets with unobservable transitions
Maria Paola Cabasino et al.
AUTOMATICA (2010)
An Automated Framework for Formal Verification of Timed Continuous Petri Nets
Marius Kloetzer et al.
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2010)
A Continuous Petri Net Approach for Model Predictive Control of Traffic Systems
Jorge Julvez et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS (2010)
CONTINUOUS PETRI NETS: EXPRESSIVE POWER AND DECIDABILITY ISSUES
Laura Recalde et al.
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE (2010)
A fluid analysis framework for a Markovian process algebra
Richard A. Hayden et al.
THEORETICAL COMPUTER SCIENCE (2010)
Observability of continuous Petri nets with infinite server semantics
Cristian Mahulea et al.
NONLINEAR ANALYSIS-HYBRID SYSTEMS (2010)
Event-driven optimization-based control of hybrid systems with integral continuous-time dynamics
S. Di Cairano et al.
AUTOMATICA (2009)
Turing Lecture from the winners of the 2007 ACM AM Turing Award
Moshe Y. Vardi
COMMUNICATIONS OF THE ACM (2009)
Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets
Cristian Mahulea et al.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2009)
Bio-PEPA: A framework for the modelling and analysis of biological systems
Federica Ciocchetta et al.
THEORETICAL COMPUTER SCIENCE (2009)
Constrained regulation of continuous Petri nets
Redouane Kara et al.
NONLINEAR ANALYSIS-HYBRID SYSTEMS (2009)
Tracking Control of Join-Free Timed Continuous Petri Net Systems under Infinite Servers Semantics
Jing Xu et al.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2008)
A fully automated framework for control of linear systems from temporal, logic specifications
Marius Kloetzer et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2008)
Optimal model predictive control of timed continuous Petri nets
Cristian Mahulea et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2008)
On observability and design of observers in timed continuous Petri net systems
Jorge Julvez et al.
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2008)
Steady-state control reference and token conservation laws in continuous Petri net systems
Cristian Mahulea et al.
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2008)
Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds
Kunihiko Hiraishi
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES (2008)
On process rate semantics
Luca Cardelli
THEORETICAL COMPUTER SCIENCE (2008)
Observer design for a class of piecewise linear systems
A. Lj. Juloski et al.
INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL (2007)
A Language to Enable Distributed Simulation of Extended Queueing Networks
Daniele Gianni et al.
JOURNAL OF COMPUTERS (2007)
Distributed diagnosis of place-bordered Petri nets
Sahika Genc et al.
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2007)
Deadlock-freeness analysis of continuous mono-T-semiflow Petri nets
Jorge Julvez et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2006)
Steady-state performance evaluation of continuous mono-T-semiflow Petri nets
J Júlvez et al.
AUTOMATICA (2005)
Stability theory for nonnegative and compartmental dynamical systems with time delay
WM Haddad et al.
SYSTEMS & CONTROL LETTERS (2004)
Optimal stationary behavior for a class of timed continuous Petri nets
B Gaujal et al.
AUTOMATICA (2004)
Perturbation analysis of multiclass stochastic fluid models
G Sun et al.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2004)
A control problem for affine dynamical systems on a full-dimensional polytope
LCGJM Habets et al.
AUTOMATICA (2004)
On fluidification of Petri Nets: from discrete to hybrid and continuous models
M Silva et al.
ANNUAL REVIEWS IN CONTROL (2004)
Generic properties and control of linear structured systems: a survey
JM Dion et al.
AUTOMATICA (2003)
Petri nets and integrality relaxations: A view of continuous petri net models
M Silva et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS (2002)
Perturbation analysis for stochastic fluid queueing systems
Y Liu et al.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2002)
Fluid-stochastic-event graphs for evaluation and optimization of discrete-event systems with failures
XL Xie
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION (2002)
Process algebra for performance evaluation
H Hermanns et al.
THEORETICAL COMPUTER SCIENCE (2002)
Positive and compartmental systems
L Benvenuti et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2002)
The explicit linear quadratic regulator for constrained systems
A Bemporad et al.
AUTOMATICA (2002)
Estimation of the firing frequencies in discrete and continuous Petri nets models
D Lefebvre
INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE (2001)
Queueing network models in the design and analysis of semiconductor wafer fabs
S Kumar et al.
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION (2001)
Model predictive control for max-plus-linear discrete event systems
B De Schutter et al.
AUTOMATICA (2001)
Optimal control of a class of hybrid systems
CG Cassandras et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2001)
On the comparison of queueing systems with their fluid limits
E Altman et al.
PROBABILITY IN THE ENGINEERING AND INFORMATIONAL SCIENCES (2001)
Observability and controllability of piecewise affine and hybrid systems
A Bemporad et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2000)
First-order hybrid Petri Nets: A model for optimization and control
F Balduzzi et al.
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION (2000)