Pages that link to "Item:Q2512157"
From MaRDI portal
The following pages link to An experimental batch plant as a test case for the verification of hybrid systems (Q2512157):
Displaying 11 items.
- On the distinguishability and observer design for single-input single-output continuous-time switched affine systems under bounded disturbances with application to chaos-based modulation (Q518912) (← links)
- Verification of logic controllers for continuous plants using timed condition/event-system models (Q1301427) (← links)
- Observer synthesis for linear hybrid systems with constrained discrete dynamics (Q1680834) (← links)
- Observer design for linear hybrid systems with unknown inputs and Petri-net discrete dynamics (Q2178231) (← links)
- Hybrid control of networked embedded systems (Q2512007) (← links)
- Guest editorial: Verification of hybrid systems (Q2512155) (← links)
- Discrete-time hybrid modeling and verification of the batch evaporator process benchmark (Q2512159) (← links)
- Verifying untimed and timed aspects of the experimental batch plant (Q2512162) (← links)
- Design of a PLC control program for a batch plant VHS case study 1 (Q2512165) (← links)
- Computing efficient operation schemes for chemical plants in multi-batch mode (Q2512166) (← links)
- Automated Technology for Verification and Analysis (Q5394195) (← links)
