Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206)
DOI: 10.1109/isic.2001.971500
|View full text |Cite
|
Sign up to set email alerts
|

Verification of hybrid controlled processing systems based on decomposition and deduction

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2

Citation Types

0
2
0

Publication Types

Select...
2
2

Relationship

0
4

Authors

Journals

citations
Cited by 4 publications
(2 citation statements)
references
References 21 publications
0
2
0
Order By: Relevance
“…(Stursberg, 2000). An application to a chemical process has shown promising results (Frehse et al, 2001).…”
Section: Discussionmentioning
confidence: 99%
“…(Stursberg, 2000). An application to a chemical process has shown promising results (Frehse et al, 2001).…”
Section: Discussionmentioning
confidence: 99%
“…(Stursberg, 2000b). An application to a chemical process has shown promising results (Frehse et al, 2001). …”
Section: Discussionmentioning
confidence: 99%