Formal reasoning in logic design of reconfigurable controllers

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 11, Issue PART 1, 2012, Pages 1-6

  Adamski, Marian ^a   Tkacz, Jacek ^a  

^a UNIVERSITY OF ZIELONA GÓRA   (Poland)

Author keywords

Field programmable gate arrays; Formal reasoning; Logic controllers; Petri net

Indexed keywords

CALCULATIONS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; CONCURRENCY CONTROL; CONTROLLERS; EMBEDDED SYSTEMS; FIELD PROGRAMMABLE GATE ARRAYS (FPGA); LOGIC GATES; PETRI NETS; PROGRAMMABLE LOGIC CONTROLLERS; SIGNAL RECEIVERS;

DIGITAL DESIGNS; FORMAL REASONING; GENTZEN CALCULI; LOGIC CONTROLLER; MODULAR CONTROL; RECONFIGURABLE CONTROLLERS; RECONFIGURABLE LOGIC CONTROLLER; STATE MACHINE MODELS;

RECONFIGURABLE HARDWARE;

EID: 84880862385     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20120523-3-cz-3015.00003     Document Type: Conference Paper

References (17)

1. Adamski, M. (1991). Parallel Controller Implementation using Standard PLD Software. in: Moore, W.R. and Luk, M. (Ed). FPGAs, Abingdon EE&CS Books, Abingdon, England. pp. 296-304.
2. Adamski, M, Wȩgrzyn, M. and Wolanski, P. (1998). VHDL based Approach to Logic Controllers Design in: Int. Conf. Programmable Devices and Systems - PDS'98: Gliwice, Poland. pp. 9-16.
3. th IFAC Workshop, PERGAMON, pp. 95-100.
4. Adamski, M., Karatkevich, A., and Wȩgrzyn, M. (Ed) (2005). Design of Embedded Control Systems. Springer, New York.
5. th IFAC Workshop on Discrete-event System Design, DESDes 2009, Gandia, Spain.
6. Biliński, K., Adamski, M., Saul, J.M., and Dagless, E.L. (1994). Petri net based algorithms for parallel controller synthesis. IEE Proceedings, Part E: Computers and Digital Techniques. 141 (6). pp.405-412.
7. Chang, N., Kwon, W.H., and Park, J. (1998). Hardware implementation of real time Petri-net-based controllers. Control Engineering Practice. 6 (7). pp. 889-895.
8. Fernandes, J.M., Adamski, M., and Proença, A.J. (1997). VHDL Generation from Hierarchical Petri Net Specifications of Parallel Controllers. IEE Proc. Part E: Computers and Digital Techniques. 144 (2). pp.127-137.
9. Gallier, J.H., (1986), Logic for computer science, Foundations of Automatic Theorem Proving, Harper & Row.
10. Girault, C., and Valk, R. (1992). Petri Nets for System Engineering. Springer. Berlin.
11. Jensen, K., Kristensen, L.M., and Wells, L. (2007). Coloured Pteri nets and CPN tools for modeling and validation of concurrent systems. Int J Softw Tools Technol Transfer, 9, pp. 213-254.
12. Karatkevich, A., (2007). Dynamic analysis of Petri net-based discrete systems, Springer-Verlag. Berlin.
13. Kozłowski, T., Dagless, E.L., Saul, J.M., Adamski, M., and Szajna, J. (1995). Parallel controller synthesis using Petri nets. IEE Proceedings, Part E: Computers and Digital Techniques. 142 (4). pp.263-271.
14. Mandado E., Marcos S. and Perez, S.A. (1996). Programmable Logic Devices and Logic Controllers. Prentice Hall, London 1996.
15. Tkacz, J., (2007), State Machine type colouring of Petri net by means of using a symbolic deduction method, MAaM, vol. 53, no. 5, pp. 120-122.
16. Wiśniewska, M., Wiśniewski, R., Adamski, M., (2007), Usage of hypergraph theory in decomposition of concurrent automata, MAaM, no. 7, pp. 66-68.
17. Yakovlev, A., Gomes, L., Lavagno, L. (Ed), (2000). Hardware Design and Petri Nets, Kluwer Academic Publisher. Boston.