Real-time control systems synthesis
Închide
Articolul precedent
Articolul urmator
620 2
Ultima descărcare din IBN:
2023-11-28 18:49
SM ISO690:2012
SUDACEVSCHI, Viorica, ABABII, Victor, MAYKIV, Ihor, SACHENKO, Anatoliy, KOCHAN, Volodymyr, ROSHCHUPKIN, Oleksiy. Real-time control systems synthesis. In: Microelectronics and Computer Science: The 5th International Conference, Ed. 8, 22-25 octombrie 2014, Chisinau. Chișinău, Republica Moldova: Universitatea Tehnică a Moldovei, 2014, Ediția 8, pp. 357-361. ISBN 978-9975-45-329-5..
EXPORT metadate:
Google Scholar
Crossref
CERIF

DataCite
Dublin Core
Microelectronics and Computer Science
Ediția 8, 2014
Conferința "Microelectronics and Computer Science"
8, Chisinau, Moldova, 22-25 octombrie 2014

Real-time control systems synthesis


Pag. 357-361

Sudacevschi Viorica1, Ababii Victor1, Maykiv Ihor23, Sachenko Anatoliy23, Kochan Volodymyr23, Roshchupkin Oleksiy23
 
1 Technical University of Moldova,
2 V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine,
3 Ternopil National Economic University
 
Proiecte:
 
Disponibil în IBN: 19 aprilie 2019


Rezumat

This paper presents a synthesis method of real-time control systems based on direct mapping of Petri net model into FPGA circuit. Synchronous timed Petri nets have been developed to specify and model the control system. Switching to hardware description of the system is achieved through Hard Timed Petri nets (HTPN). Direct correspondence between the elements of the original specification and circuit components ensures that the behavioral properties and time constraints, under which activate the control system, will be respected.

Cuvinte-cheie
Timed Petri nets, Timed Hard Petri nets, real-time control system, FPGA