Deriving Discrete Behavior of Hybrid Systems under Incomplete Knowledge Kunihiko HIRAISHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2004/11/01 Vol. E87-ANo. 11 ;
pp. 2913-2918 Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems and Hybrid Systems) Category: Hybrid Systems Keyword: hybrid systems, incomplete knowledge, approximation, constraint logic programming,