General purpose architecture for real-time feedback control in nuclear fusion experiments

Real-Time Technology and Applications - Proceedings

Volumn , Issue , 1999, Pages 234-244

  Luchetta, A ^a   Manduchi, G ^a  

^a Consorzio RFX ^*  (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ACTIVE FEEDBACK CONTROL; DISTRIBUTED ARCHITECTURE; GENERAL PURPOSE ARCHITECTURES; LOCAL PERTURBATION; MAGNETIC CONFIGURATION; PLASMA PARAMETER; PLASMA POSITIONS; REAL-TIME FEEDBACK;

ADAPTIVE CONTROL SYSTEMS; EXPERIMENTS; MAGNETOPLASMA; NUCLEAR ENERGY; PETRI NETS; PLASMA DEVICES; COMPUTER CONTROL SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS; FEEDBACK CONTROL; FUSION REACTORS; MATHEMATICAL MODELS; PLASMA CONFINEMENT;

FEEDBACK CONTROL; COMPUTER ARCHITECTURE;

COMPUTER BASED REAL TIME FEEDBACK CONTROL; GENERAL PURPOSE DISTRIBUTED ARCHITECTURE; PETRI NET BASED FORMAL MODEL;

EID: 0032593189     PISSN: 10801812     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTTAS.1999.777676     Document Type: Conference Paper

References (22)

1. GARRIBBA, M., LITUNOVSKY, R., NOLL, P., PUPPIN, S. 'The New Schema for the JET Plasma Position and Current Control System' Proc. 15th IEEE/NPSS Symposium on Fusion Engineering, Hyannis, USA, 1993
2. MOULEN, D., COUTURIER, B., DUCOBU, L., ELBEZE, D., GUILLERMINET, B., LELUYER, M., LEROUX, F. 'Tore Supra: the Real Time Plasma Control', Proc. 28th Symposium on Fusion Technology, Marseilles, France, 1998
3. TREUTTERER, W, GERNHARD, J., GRUBER, O., MC CARTHY, P., RAUPP, G., SEIDEL, U 'Plasma Shape Control Design in ASDEX Upgrade' Proc. 19th Symposium on Fusion Technology, Lisbon, Portugal, 1996
4. Texas Instruments, TMS320C4x User Guide
5. Blue Wave Systems Ltd., DBV46 TMS320C4x Carrier Board, Technical Reference Manual
6. VME Microsystems International Corporation, VMIVME-5588DMA Reflective Memory Board Product Manual
7. PETERSON, W. D. 'The VMEbus Handbook', VFEA International Trade Association
8. Pentland, VGX User's Guide
9. Pentland, MPV914 User's Guide
10. KIFFMAYER, U. 'Block Diagram-Based Automatic Real-Time Code Generation For Multiprocessor Systems ' Real-Time Magazine, 1995
11. HANSELMANN, H 'DSP in Control: The Total Development Environment', ICSPAT '95 International Conference On Signal Processing Application & Technology, Boston, MA, USA
12. SCHMIDT, V FLOR, G., HEMMING, O. N., LUCHETTA, A, MANDUCHI, G, VITTURI, S 'The RFX Centralized Control, Data Acquisition and Machine Protection System' Fusion Engineering and Design, North Holland vol. 25 no 4, 1995
13. Wind River, Tornado User's Guide
14. ALUR, R, DILL, D 'Automata for Modelling Real-Time Systems' Automata Languages and Programming: Proc. 17th ICALP, LNCS 443. Springer Verlag, 1990
15. BERTHOMIEU, B. DIAZ, M. 'Modelling and Verification of Time Dependent Systems Using Time Petri Nets' IEEE Trans Soft Eng, vol. 17, no. 3, March 1991
16. JENSEN, K. 'Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use' Springer Verlag, 1992
17. AJMONE MARSAN, M. BALBO, G., CONTE, G., DONATELLI, S., FRANCESCHINIS, G. 'Modelling with Generalized Stochastic Petri Nets', Wiley, 1995
18. RACHMANDANI, C. 'Analysis of Asynchronous Concurrent Systems by Timed Petri Nets' Massachusetts Inst. Technology, Project MAC, Tech. Rep. 120, Feb. 1974
19. BERTHELOT, G. BOUCHENEB, H 'Occurrence Graphs for Interval Timed Coloured Nets' Application and Theory of Petri Nets 1994, 15th international conference, Zaragoza, Spain, LNCS 815, Springer-Verlag
20. MC MILLAN, K. L. 'Symbolic Model Checking' Kluver Academic Publishers, Boston, 1993
21. SEMENOV, A., YAKOVLEV, A, 'Verification of Asynchronous Circuits Using Time Petri Net Unfolding' Proc. 33rd ACM/IEEE Design Automation Conference, Las Vegas, CA, June 1996
22. GAIO, E., LUCHETTA, A., MANDUCHI, G., MARCHIORI, G., TOIGO, V., 'Digital Local Control System of Radial Magnetic field Errors in RFX: Design, Commissioning, and First operation', Proc. 28th Symposium on Fusion Technology, Marseilles, France, 1