35 results on '"PIRONTI, ALFREDO"'
Search Results
2. A data-driven Vertical Stabilization system for the ITER tokamak based on Dynamic Mode Decomposition
3. Application of the mirror procedure to the robustness and fault analysis of Divertor Tokamak Test facility
4. On the finite-time boundedness of linear systems
5. Model predictive control of ITER plasma current and shape using singular-value decomposition
6. Improving the performance of the JET Shape Controller
7. Formally sound implementations of security protocols with JavaSPI
8. Formally based semi-automatic implementation of an open security protocol
9. First plasma operation of the enhanced JET vertical stabilisation system
10. Provably correct Java implementations of Spi Calculus security protocols specifications
11. Safe abstractions of data encodings in formal security protocol models
12. Formal verification of security protocol implementations: a survey
13. Design of the plasma position and shape control in the ITER tokamak using in-vessel coils
14. Plasma strike-point sweeping on JET tokamak with the eXtreme shape controller
15. XSC Tools: a software suite for tokamak plasma shape control design and validation
16. Reduced-order solutions for the singular [H.sup.[infinity]] filtering problem
17. DESIGN AND EXPERIMENTAL TESTING OF A MULTIVARIABLE SHAPE CONTROLLER FOR THE JET TOKAMAK
18. Optimization of the power supply demand for plasma shape control in a Tokamak
19. Necessary and sufficient conditions for quadratic stability and stabilizability of uncertain linear time-varying systems
20. Gain Scheduled Control for Discrete-Time Systems Depending on Bounded Rate Parameters
21. A note on quadratic stability of uncertain linear discrete-time systems
22. Management of the ITER PCS Design Using a System-Engineering Approach.
23. ON FINITE TIME STABILITY WITH GUARANTEED COST CONTROL OF UNCERTAIN LINEAR SYSTEMS.
24. Nonlinear dynamic allocator for optimal input/output performance trade-off: Application to the JET tokamak shape controller
25. The Mixed Robust.
26. [formula omitted] optimal terminal control for linear systems with delayed states and controls
27. Input-output finite-time stabilisation of linear systems with input constraints.
28. Modelling and control for plasma disruption avoidance and mitigation.
29. JavaSPI: A Framework for Security Protocol Implementation.
30. Control of Elongated Plasma in Presence of ELMs in the JET Tokamak.
31. Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access.
32. Rapid Prototyping of Safety System for Nuclear Risks of the ITER Tokamak.
33. Gain scheduled control for discrete-time systems depending on bounded rate parameters.
34. Design and Experimental Testing of a Robust Multivariable Controller on a Tokamak.
35. A Control Scheme to Deal With Coil Current Saturation in a Tokamak.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.