Manuel Silva

From MaRDI portal


List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
On Liveness Enforcement of Distributed Petri Net Systems
IEEE Transactions on Automatic Control
2023-10-02Paper
Structural controllability in timed continuous Petri nets
Automatica
2023-07-05Paper
Dual perspectives of equilibrium throughput properties of continuous mono-T-semiflow Petri nets: firing rate and initial marking variations
Automatica
2022-01-03Paper
Problematic configurations and choice-join pairs on Mono-T-Semiflow nets: towards the characterization of behavior-structural properties
Discrete Event Dynamic Systems
2020-09-01Paper
\(\{\mathrm{SC}\}^\ast\mathrm{ECS}\): a class of modular and hierarchical cooperating systems
Application and Theory of Petri Nets 1996
2019-05-02Paper
Homothecy, bifurcations, continuity and monotonicity in timed continuous Petri nets under infinite server semantics
Nonlinear Analysis. Hybrid Systems
2017-11-16Paper
Fluid approximation of Petri net models with relatively small populations
Discrete Event Dynamic Systems
2017-11-10Paper
Optimal Model Predictive Control of Timed Continuous Petri Nets
IEEE Transactions on Automatic Control
2017-08-08Paper
Deadlock-Freeness Analysis of Continuous Mono-T-Semiflow Petri Nets
IEEE Transactions on Automatic Control
2017-07-27Paper
Diagnosis of Time Petri Nets Using Fault Diagnosis Graph
IEEE Transactions on Automatic Control
2017-05-16Paper
A control method for distributed continuous mono-T-semiflow Petri nets
International Journal of Control
2015-07-28Paper
Controllability of timed continuous Petri nets with uncontrollable transitions
International Journal of Control
2015-07-28Paper
Hybrid and hybrid adaptive Petri nets: on the computation of a reachability graph
Nonlinear Analysis. Hybrid Systems
2015-05-15Paper
Continuous Petri nets: observability and diagnosis
Lecture Notes in Control and Information Sciences
2015-01-29Paper
Continuous Petri Nets: Controllability and Control
Lecture Notes in Control and Information Sciences
2015-01-29Paper
Introduction to fluid Petri nets
Lecture Notes in Control and Information Sciences
2015-01-29Paper
On the fluidization of Petri nets and marking homothecy
Nonlinear Analysis. Hybrid Systems
2014-07-25Paper
ON/OFF strategy based minimum-time control of continuous Petri nets
Nonlinear Analysis. Hybrid Systems
2014-07-25Paper
Minimum-time decentralized control of choice-free continuous Petri nets
Nonlinear Analysis. Hybrid Systems
2013-08-27Paper
On fluidization of discrete event models: Observation and control of continuous Petri nets
Discrete Event Dynamic Systems
2012-03-09Paper
Approaching minimum time control of timed continuous Petri nets
Nonlinear Analysis. Hybrid Systems
2011-06-27Paper
Timing and liveness in continuous Petri nets
Automatica
2011-02-21Paper
Observability of continuous Petri nets with infinite server semantics
Nonlinear Analysis. Hybrid Systems
2010-08-19Paper
Continuous Petri nets: expressive power and decidability issues
International Journal of Foundations of Computer Science
2010-04-22Paper
On reachability in autonomous continuous Petri net systems
Applications and Theory of Petri Nets 2003
2010-03-31Paper
Basic server semantics and performance monotonicity of continuous Petri nets
Discrete Event Dynamic Systems
2009-09-01Paper
Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement
Discrete Event Dynamic Systems
2009-09-01Paper
On Controllability of Timed Continuous Petri Nets
Hybrid Systems: Computation and Control
2008-09-02Paper
Tracking control of join-free timed continuous Petri net systems under infinite servers semantics
Discrete Event Dynamic Systems
2008-08-20Paper
On the Computational Power of Timed Differentiable Petri Nets
Lecture Notes in Computer Science
2008-07-08Paper
Continuous Petri Nets: Expressive Power and Decidability Issues
Automated Technology for Verification and Analysis
2008-07-03Paper
scientific article; zbMATH DE number 5150815 (Why is no real title available?)
 
2007-05-09Paper
Lectures on Concurrency and Petri Nets
Lecture Notes in Computer Science
2005-12-23Paper
Applications and Theory of Petri Nets 2005
Lecture Notes in Computer Science
2005-12-14Paper
Steady-state performance evaluation of continuous mono-T-semiflow Petri nets
Automatica
2005-05-12Paper
scientific article; zbMATH DE number 2144771 (Why is no real title available?)
 
2005-03-14Paper
scientific article; zbMATH DE number 2013193 (Why is no real title available?)
 
2003-12-04Paper
scientific article; zbMATH DE number 1836366 (Why is no real title available?)
 
2002-11-27Paper
scientific article; zbMATH DE number 1755143 (Why is no real title available?)
 
2002-06-13Paper
Structure theory of multi-level deterministically synchronized sequential processes
Theoretical Computer Science
2001-08-20Paper
scientific article; zbMATH DE number 1341754 (Why is no real title available?)
 
2000-04-27Paper
scientific article; zbMATH DE number 1302046 (Why is no real title available?)
 
1999-12-05Paper
Petri nets for the design and operation of manufacturing systems
European Journal of Control
1998-06-08Paper
Structure theory of equal conflict systems
Theoretical Computer Science
1997-02-28Paper
scientific article; zbMATH DE number 836620 (Why is no real title available?)
 
1996-01-22Paper
scientific article; zbMATH DE number 836621 (Why is no real title available?)
 
1996-01-22Paper
scientific article; zbMATH DE number 744053 (Why is no real title available?)
 
1995-10-15Paper
scientific article; zbMATH DE number 714456 (Why is no real title available?)
 
1995-06-12Paper
scientific article; zbMATH DE number 744056 (Why is no real title available?)
 
1995-04-17Paper
scientific article; zbMATH DE number 714460 (Why is no real title available?)
 
1995-01-23Paper
scientific article; zbMATH DE number 714458 (Why is no real title available?)
 
1995-01-23Paper
Embedded product-form queueing networks and the improvement of performance bounds for Petri net systems
Performance Evaluation
1993-12-20Paper
Approximate throughput computation of stochastic marked graphs
Journal of Parallel and Distributed Computing
1993-01-17Paper
Properties and performance bounds for timed marked graphs
IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications
1993-01-16Paper
Properties and performance bounds for closed free choice synchronized monoclass queueing networks
IEEE Transactions on Automatic Control
1992-06-27Paper


Research outcomes over time


This page was built for person: Manuel Silva