On the existence of executions of hybrid automata

• Necessary and sufficient conditions for hybrid automata to be non-blocking and deterministic (local existence and uniqueness of executions, respectively) are, developed. The problem of global existence of executions is discussed in the context of Zeno hybrid automata, that is, hybrid automata that exhibit infinitely many discrete transitions in finite time

Ämnesord

TEKNIK OCH TEKNOLOGIER  -- Elektroteknik och elektronik -- Reglerteknik (hsv//swe)

ENGINEERING AND TECHNOLOGY  -- Electrical Engineering, Electronic Engineering, Information Engineering -- Control Engineering (hsv//eng)

Nyckelord

Analytical models

Automata

Automatic control

Control system analysis

Control system synthesis

Cost accounting

Extraterrestrial phenomena

Optimal control

Sufficient conditions

Topology

Publikations- och innehållstyp

ref (ämneskategori)

kon (ämneskategori)