1,227 Hits in 2.0 sec

Lyapunov stability of continuous-valued systems under the supervision of discrete-event transition systems [chapter]

Kevin X. He, Michael D. Lemmon
1998 Lecture Notes in Computer Science  
In general, a Petri net can provide a more expressive characterization of a system's switching logic than can be provided by a nite automaton.  ...  In particular, let's consider how this might be done for a switching logic generated by a Petri net.  ... 
doi:10.1007/3-540-64358-3_39 fatcat:t5444awsize3tbigafpajmzip4

Page 1577 of Mathematical Reviews Vol. , Issue 80D [page]

1980 Mathematical Reviews  
Properties of Petri nets have been studied when the nets are inde- pendent of external events.  ...  If one uses synchronized Petri nets as language generators, it is shown that synchronized Petri nets can be realized by k prompt synchro- nized Petri nets.  ... 

Cumulative subject index volumes 33–35

1977 Information and Control  
net, note, 34, 169 simple matrix, homomorphic represen- tation, 35, 267 Szilard, related to Petri nets, 33, 177 value-languages, translations, 35, 87 Lee weight bounds for burst correcting codes  ...  Synchronization firing squad, problem: for two-dimensional arrays, 34, 177 Szilard languages related to Petri nets, 33, 177 one-dimensional scope-three, decomposition phenomenon in, 34, 296 Translations  ... 
doi:10.1016/s0019-9958(77)90187-5 fatcat:jaxd23nbmva5hdnq37lof736um

Hybrid Control Systems Using Timed Petri Nets: Supervisory Control Design Based on Invariant Properties [chapter]

Xenofon D. Koutsoukos, Panos J. Antsaklis
1999 Lecture Notes in Computer Science  
In this paper, a class of timed Petri nets named programmable timed Petri nets is used for supervisory control of hybrid systems.  ...  The switching policy is embedded in the dynamics of the underlying Petri net structure and the supervisors are described by P etri nets.  ...  The dynamics of ordinary Petri nets are characterized by the evolution of the marking vector which is referred to as the state of the net.  ... 
doi:10.1007/3-540-49163-5_8 fatcat:h3qetkwzf5dwrbw2nthsa6iwfq

A Shortest-Path Lyapunov Approach for Forward Decision Processes

Julio B. Clempner
2009 International Journal of Computer Games Technology  
We consider dynamical systems governed by ordinary difference equations described by Petri nets.  ...  , and a natural form of termination is ensured by an equilibrium point .  ...  In addition, we use the notions of stability in the sense of Lyapunov to characterize the stability properties of the Petri net.  ... 
doi:10.1155/2009/162450 fatcat:vfn6wrhnrff4dc6tobgwwg2taa

On consensus protocols allowing joint-agent interactions

D. Angeli, S. Manfredi
2018 2018 IEEE Conference on Decision and Control (CDC)  
Interestingly, and for the first time, we borrow to this end the language of Petri Nets as a convenient way to describe bipartite directed graphs, showing how the notion of siphon is helpful in characterizing  ...  more of them.  ...  In particular, siphons of the net, qualify and characterize stubborn groups of agents.  ... 
doi:10.1109/cdc.2018.8619515 dblp:conf/cdc/AngeliM18 fatcat:cpyvkpk4djf73b5ytst2lh7kqy

A hierarchical decomposition of decision process Petri nets for modeling complex systems

Julio Clempner
2010 International Journal of Applied Mathematics and Computer Science  
A hierarchical decomposition of decision process Petri nets for modeling complex systems We provide a framework for hierarchical specification called Hierarchical Decision Process Petri Nets (HDPPNs).  ...  It is an extension of Decision Process Petri Nets (DPPNs) including a hierarchical decomposition process that generates less complex nets with equivalent behavior.  ...  Petri net theory allows a system to be modeled by a Petri net, a mathematical representation of the system.  ... 
doi:10.2478/v10006-010-0026-2 fatcat:pio33hhrunga7ncafxq7dtvdly

Stability of A Switched Linear System

At-Tasneem Mohd Amin, Sallehuddin Mohamed Haris, Zulkifli Mohd Nopiah
2012 Journal of Mechanical Engineering and Sciences  
Hybrid systems are dynamic systems that arise out of the interaction of continuous state dynamics and discrete state dynamics.  ...  In this paper, the trend in research regarding the stability of switched systems will be investigated.  ...  State-Switched Transformation Using Differential Petri Nets Differential Petri Nets (DPN) is a simulation software which is the sequel for another simulation software called "Hybrid Petri Nets", used for  ... 
doi:10.15282/jmes.3.2012.8.0030 fatcat:bs5hn3dm65hrrhfxyytm2xezey

Page 5755 of Mathematical Reviews Vol. , Issue 2000h [page]

2000 Mathematical Reviews  
linear logic view of object Petri nets (225-246); Keijo Heljanko, Using logic programs with stable model seman- tics to solve deadlock and reachability problems for 1-safe Petri nets (247-268); Tommi  ...  Dirk Schlatter, Analyzing paths in time Petri nets (311-327).  ... 

Synthesis of asynchronous controllers using integer linear programming

J. Carmona, J.-M. Colom, J. Cortadella, F. Garcia-Valles
2006 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
A novel strategy for the logic synthesis of asynchronous control circuits is presented. It is based on the structural theory of Petri nets and integer linear programming.  ...  These techniques can handle Petri net specifications consisting of several thousands of transitions and provide a significant speed-up compared with techniques that have previously been proposed.  ...  Yoneda for providing examples, tools, and discussion on different approaches for the synthesis of large asynchronous circuits.  ... 
doi:10.1109/tcad.2005.859516 fatcat:wlbbhqsvn5c7nimqe662kzr3iu

Table of contents

2020 IEEE Transactions on Automatic Control  
Deng 3084 Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  ...  A Complete Characterization of Integral Input-to-State Stability and Its Small-Gain Theorem for Stochastic Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  ... 
doi:10.1109/tac.2020.2997842 fatcat:xt3fxm5bhjcvtnxottdf3craba

Online Techniques for Dealing with Concept Drift in Process Mining [chapter]

Josep Carmona, Ricard Gavaldà
2012 Lecture Notes in Computer Science  
In the last decade Process mining arose as a discipline that uses the logs of information systems in order to mine, analyze and enhance the process dimension.  ...  P. van der Aalst for the providing some of the logs of the experiments.  ...  This work is partially supported by BASMATI MICINN project (TIN2011-27479-C04-03), by the SGR2009-1428 (LARCA), by the EU PASCAL2 Network of Excellence (FP7-ICT-216886), by the FORMALISM project (TIN2007  ... 
doi:10.1007/978-3-642-34156-4_10 fatcat:ih72qanfonhg5moq5wwhggtdyu

Lagrange stability and boundedness of discrete event systems

Kevin M. Passino, Kevin L. Burgess, Anthony N. Michel
1995 Discrete event dynamic systems  
Moreover, via the Lyapunov approach we provide a sufficient condition for the uniform ultimate boundedness of General Petri nets.  ...  To illustrate the Petri net results, we study the boundedness properties of a rate synchronization network for manufacturing systems.  ...  Moreover, we introduce the characterization and analysis of uniform ultimate boundedness for Petri nets.  ... 
doi:10.1007/bf01439154 fatcat:kfuvkjgnkfdxfa46otf4pwb6ym

The tool TINA – Construction of abstract state spaces for petri nets and time petri nets

B. Berthomieu *, P.-O. Ribet, F. Vernadat
2004 International Journal of Production Research  
Introduction Tina (TIme Petri Net Analyser) 1 is a software environment for the editing and analysis of Petri net and Time Petri net (Merlin and Farber 1976) .  ...  In addition to the graphic-editing facilities, the software tool Tina proposes the construction of a number of representations for the behaviour of Petri nets or Time Petri nets.  ...  Introduction Tina (TIme Petri Net Analyser) 1 is a software environment for the editing and analysis of Petri net and Time Petri net (Merlin and Farber 1976) .  ... 
doi:10.1080/00207540412331312688 fatcat:ur4qrvbwvzevnc7othhwilj7f4

Optimal Model Predictive Control of Timed Continuous Petri Nets

Cristian Mahulea, Alessandro Giua, Laura Recalde, Carla Seatzu, Manuel Silva
2008 IEEE Transactions on Automatic Control  
This paper addresses the optimal control problem of timed continuous Petri nets under infinite servers semantics.  ...  The reachability space of the sampled system in relation to autonomous continuous Petri nets is also studied.  ...  CONTINUOUS PETRI NETS A.  ... 
doi:10.1109/tac.2008.929386 fatcat:n7kep3dmpvgrdljh6qfjjl6jpe
« Previous Showing results 1 — 15 out of 1,227 results