WHAT HAVE WHAT HAVE I LEARNED I LEARNED AT THE AT THE DISC DISC SUMMER SCHOOL? SUMMER SCHOOL?
Christos G. Cassandras CODES Lab. - Boston University
WHAT HAVE WHAT HAVE I LEARNED I LEARNED AT THE AT THE DISC DISC - - PowerPoint PPT Presentation
WHAT HAVE WHAT HAVE I LEARNED I LEARNED AT THE AT THE DISC DISC SUMMER SCHOOL? SUMMER SCHOOL? Christos G. Cassandras CODES Lab. - Boston University WHY HYBRID SYSTEMS ? COMPLEXITY ( PHYSICAL , BUT MOSTLY OPERATIONAL/ORGANIZATIONAL )
Christos G. Cassandras CODES Lab. - Boston University
Christos G. Cassandras CODES Lab. - Boston University
Christos G. Cassandras CODES Lab. - Boston University
HYBRID SYSTEMS
DES
ABSTRACTION
(EMBEDDING, COMPLEXITY REDUCTION)
VERIFICATION, CONTROL
HYBRID SYSTEMS
DES
ABSTRACTION CONTROL
(COMPLEXITY REDUCTION)
Christos G. Cassandras CODES Lab. - Boston University
HYBRID SYSTEMS
DES
QUANTIZATION CONTROL
(STABILITY, FAULT DIAGNOSIS)
Christos G. Cassandras CODES Lab. - Boston University
SWITCH TIMING MODE SELECTION (SCHEDULING)
Christos G. Cassandras CODES Lab. - Boston University
Gear shifting in a vehicle Quantization
Christos G. Cassandras CODES Lab. - Boston University
Not as much progress…
Christos G. Cassandras CODES Lab. - Boston University
Christos G. Cassandras CODES Lab. - Boston University
NOTE: I counted 16 new terms and 18 acronyms in one presentation…
Christos G. Cassandras CODES Lab. - Boston University
1 2 x < 2, y ≥ 3
TIMED AUTOMATON
x < 2 x ≥ 2 1a 1b 2 y x
EVENTS: x → x = 2
y → y = 3
TIMED AUTOMATON (with clock structure)
1a 1b 2 y x x < 2 x ≥ 2
TIMED PETRI NET
Christos G. Cassandras CODES Lab. - Boston University
[JUST DO IT] [JUST PROVE IT]