Akira Fusaoka

According to our database, Akira Fusaoka authored at least 19 papers between 1971 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2010

On A Nonstandard Model of Hybrid Automaton.

Katsunori Nakamura, Akira Fusaoka

Proceedings of the IEEE International Conference on Control Applications, 2010

2009

An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata.

Katsunori Nakamura, Akira Fusaoka

Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

2007

Reasoning About Hybrid Systems Based on a Nonstandard Model.

Katsunori Nakamura, Akira Fusaoka

Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

2006

On a Linear Framework for Belief Dynamics in Multi-agent Environments.

Akira Fusaoka, Katsunori Nakamura, Mitsunari Sato

Proceedings of the Computational Logic in Multi-Agent Systems, 7th International Workshop, 2006

Model-Based Monitoring and Diagnosis Chip for Embedded Systems.

Satoshi Hiratsuka, Hsin-Hung Lu, Akira Fusaoka

Proceedings of the Artificial Intelligence: Methodology, 2006

2005

On Transfinite Hybrid Automata.

Katsunori Nakamura, Akira Fusaoka

Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005

2004

On Description and Reasoning About Hybrid Systems.

Katsunori Nakamura, Akira Fusaoka

Proceedings of the Innovations in Applied Artificial Intelligence, 2004

2002

On a Model-Based Design Verificationfor Combinatorial Boolean Networks.

Satoshi Hiratsuka, Akira Fusaoka

Proceedings of the Developments in Applied Artificial Intelligence, 2002

On a Linear Representation Theory for Quantitative Belief Change.

Akira Fusaoka

Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

2000

On a Model-Based Diagnosis for Synchronous Boolean Netowrk.

Satoshi Hiratsuka, Akira Fusaoka

Proceedings of the Intelligent Problem Solving, 2000

1996

Nonmonotonic Reasoning on a Constructive Time Structure.

Akira Fusaoka

Proceedings of the Third International Workshop on Temporal Representation and Reasoning, 1996

Situation Calculus on a Dense Flow of Time.

Akira Fusaoka

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1987

Basic research on artificial intelligence at Mitsubishi Electric.

Akira Fusaoka

Artif. Intell. Eng., 1987

1986

On a mechanical reasoning about causal relations.

Akira Fusaoka, Kazuko Takahashi

Artif. Intell. Eng., 1986

1984

Description and Reasoning of VLSI Circuit in Temporal Logic.

Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi

New Gener. Comput., 1984

1983

A Description and Reasoning of Plant Controllers in Temporal Logic.

Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982

Compiler Chip: A Hardware Implementation of Compiler.

Akira Fusaoka, Masaharu Hirayama

Proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems, 1982

1980

A Control Shared Processor MELPIP-1: Design Evaluation.

Akira Fusaoka, Masaharu Hirayama, Tadashi Kanamori

Proceedings of the Distributed Processing: New Directions for a New Decade. ACM Pacific '80, 1980

1971

A Note on a Decomposition Theorem for Simple Deterministic Languages

Akira Fusaoka

Inf. Control., October, 1971