海量图书期刊资源,随时随地畅享阅读乐趣
Verification of Opacity and Diagnosability for Pushdown SystemsKobayashi, Koichi; Hiraishi, Kunihiko · Journal of Applied Mathematics · 2013
Detection of Unusual Human Activities Based on Behavior ModelingHiraishi, Kunihiko; Kobayashi, Koichi · IFAC Proceedings Volumes · 2014
Optimization-Based Approaches to Control of Probabilistic Boolean NetworksKobayashi, Koichi; Hiraishi, Kunihiko · Algorithms · 2017
Stabilization of Finite Automata with Application to Hybrid Systems ControlKoichi Kobayashi; Jun-ichi Imura; Kunihiko Hiraishi · 2011
A Pathfinding Problem for Search Trees with Unknown Edge LengthHiraishi, Kunihiko; Kobayashi, Koichi · Journal of Discrete Algorithms · 2018
Approximate Bisimulation for Hybrid Systems Based on Transition RelationsCHOE, Sunseong; HIRAISHI, Kunihiko; KOBAYASHI, Koichi · Transactions of the Society of Instrument and Control Engineers · 2011
Optimal Control of Probabilistic Boolean Networks Using Polynomial OptimizationKOBAYASHI, Koichi; HIRAISHI, Kunihiko · IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences · 2012
MLD-Based Modeling of Hybrid Systems with Parameter UncertaintyKOBAYASHI, Koichi; HIRAISHI, Kunihiko · IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences · 2009
More eigenvalue estimatesWilliam B. Day · Applied Mathematics and Computation · 1975
Author index to volume 1Applied Mathematics and Computation · 1975
Editorial boardApplied Mathematics and Computation · 1975
EditorialRobert Kalaba · Applied Mathematics and Computation · 1975
MulticollinearityGerhard Tintner · Applied Mathematics and Computation · 1975
Numerical analysis and orthogonal polynomialsD. Kolb · Applied Mathematics and Computation · 1976
Model identification in linear transformation systemsJacques Delforge · Applied Mathematics and Computation · 1976
Author index to volume 2Applied Mathematics and Computation · 1976