On fluidization of discrete event models: observation and control of continuous Petri nets
Published 2011 View Full Article
- Home
- Publications
- Publication Search
- Publication Details
Title
On fluidization of discrete event models: observation and control of continuous Petri nets
Authors
Keywords
-
Journal
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS
Volume 21, Issue 4, Pages 427-497
Publisher
Springer Nature
Online
2011-09-19
DOI
10.1007/s10626-011-0116-9
References
Ask authors/readers for more resources
Related references
Note: Only part of the references are listed.- Fault detection for discrete event systems using Petri nets with unobservable transitions
- (2010) Maria Paola Cabasino et al. AUTOMATICA
- An Automated Framework for Formal Verification of Timed Continuous Petri Nets
- (2010) Marius Kloetzer et al. IEEE Transactions on Industrial Informatics
- A Continuous Petri Net Approach for Model Predictive Control of Traffic Systems
- (2010) Jorge Júlvez Julvez et al. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS
- CONTINUOUS PETRI NETS: EXPRESSIVE POWER AND DECIDABILITY ISSUES
- (2010) LAURA RECALDE et al. INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
- A fluid analysis framework for a Markovian process algebra
- (2010) Richard A. Hayden et al. THEORETICAL COMPUTER SCIENCE
- Event-driven optimization-based control of hybrid systems with integral continuous-time dynamics
- (2009) S. Di Cairano et al. AUTOMATICA
- Model checking
- (2009) Edmund M. Clarke et al. COMMUNICATIONS OF THE ACM
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- (2009) Federica Ciocchetta et al. THEORETICAL COMPUTER SCIENCE
- Constrained regulation of continuous Petri nets
- (2009) Redouane Kara et al. Nonlinear Analysis-Hybrid Systems
- Observability of continuous Petri nets with infinite server semantics
- (2009) Cristian Mahulea et al. Nonlinear Analysis-Hybrid Systems
- Tracking Control of Join-Free Timed Continuous Petri Net Systems under Infinite Servers Semantics
- (2008) Jing Xu et al. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS
- Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets
- (2008) Cristian Mahulea et al. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
- (2008) Marius Kloetzer et al. IEEE TRANSACTIONS ON AUTOMATIC CONTROL
- Optimal Model Predictive Control of Timed Continuous Petri Nets
- (2008) Cristian Mahulea et al. IEEE TRANSACTIONS ON AUTOMATIC CONTROL
- On Observability and Design of Observers inTimed Continuous Petri Net Systems
- (2008) J. Julvez et al. IEEE Transactions on Automation Science and Engineering
- Steady-State Control Reference and Token Conservation Laws in Continuous Petri Net Systems
- (2008) Cristian Mahulea et al. IEEE Transactions on Automation Science and Engineering
- Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds
- (2008) K. HIRAISHI IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUT
- On process rate semantics
- (2007) Luca Cardelli THEORETICAL COMPUTER SCIENCE
Find the ideal target journal for your manuscript
Explore over 38,000 international journals covering a vast array of academic fields.
SearchAsk a Question. Answer a Question.
Quickly pose questions to the entire community. Debate answers and get clarity on the most important issues facing researchers.
Get Started