A case study on formal design of hybrid control systems

Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

Volumn , Issue , 2001, Pages 423-428

  Thae, Hong Ki ^a   Van Hung, Dang ^a  

^a UNITED NATIONS UNIVERSITY   (Japan)

Author keywords

Control theory; Discrete design; Duration calculus; Embedded systems

Indexed keywords

CONTROL THEORY; DIFFERENTIAL EQUATIONS; EMBEDDED SYSTEMS; FORMAL LOGIC; LAPLACE TRANSFORMS; MATHEMATICAL MODELS; PROCESS CONTROL; SET THEORY; THEOREM PROVING;

HYBRID CONTROL SYSTEMS;

COMPUTER CONTROL SYSTEMS;

EID: 0035169567     PISSN: None     EISSN: None     Source Type: Journal    
DOI: 10.1109/CMPSAC.2001.960648     Document Type: Article

References (10)

1. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
2. Control of systems integrating logic, dynamics, and constraints
3. On the design of hybrid control systems using automata models
4. Proving safety properties of the steam boiler controller
5. A calculus of durations
6. An extended duration calculus for hybrid real-time systems