On Optimal Design of Highly Dependable Hybrid Dynamical Systems
| Project/Area Number |
17560386
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Control engineering
|
|---|
| Research Institution | Japan Advanced Institute of Science and Technology |
|---|
Principal Investigator |
HIRAISHI Kunihiko Japan Advanced Institute of Science and Technology, School of Information Science, Professor (40251970)
|
|---|
| Project Period (FY) |
2005 – 2007
|
| Project Status |
Completed (Fiscal Year 2007)
|
| Budget Amount *help |
¥3,780,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥180,000)
Fiscal Year 2007: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2006: ¥600,000 (Direct Cost: ¥600,000)
Fiscal Year 2005: ¥2,400,000 (Direct Cost: ¥2,400,000)
|
|---|
| Keywords | Hybrid Systems / Ontimal Control / Formal Verification / 形式手法 / 性能評価 |
|---|
| Research Abstract |
On the design of highly dependable hybrid dynamical systems (EDS), we aim to incorporate various techniques on formal approaches with problems on optimal control, and have obtained the following results.
(1) We have developed a computer tool, called KCLP-HS, as a basis of dealing with various kinds of computations on HDS. KCLP-HS is equipped with linear and quadratic solver, manipulation of convex polyhedra, and interval arithmetic.
(2) We have applied quantifier elimination, which is a symbolic computation technique to remove quantifiers from first-order formula, to solving optimal control problem for piecewise affine systems. We have verified effectiveness of the approach through computer experiments.
(3) As a framework for dealing with logical constraints, given by temporal logic formula, in model predictive control of HDS, we have proposed notion of bounded bisimilation. We have also developed a pre-computation method for obtaining approximated solutions.
(4) We have proposed a new representation of logical dynamics in MLD system. We have verified advantages of the proposed representation against the previous one through computer experiments.
(5) We have applied the above results on HDS to the fluidification technique, a technique for approximating discrete state transition by continuous flows. We have developed a scalable method to evaluate performance of large information systems.
|
Report
(4 results)
Research Products
(53 results)
