First release

Main features

• Synthesizing a continuous or discrete H-infinity controller
• Generate Linear Time Invariant system properties
• Nominal analysis
• Implementation of Instrument Fault Detection
• Implementation of Simplified Instrument Fault Detection
• Simulating system signals
• Plotter
• Parser