Pages that link to "Item:Q1301427"
From MaRDI portal
The following pages link to Verification of logic controllers for continuous plants using timed condition/event-system models (Q1301427):
Displaying 4 items.
- Finite abstractions for hybrid systems with stable continuous dynamics (Q434462) (← links)
- Collaborative models for autonomous systems controller synthesis (Q2198131) (← links)
- An experimental batch plant as a test case for the verification of hybrid systems (Q2512157) (← links)
- Compositionality issues in discrete, continuous, and hybrid systems (Q2716781) (← links)
