close
1.

電子ブック
ＥＢ
1. Hybrid Systems
Grossman, Robert Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1993
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Hybrid Systems II
Antsaklis, Panos J. Antsaklis, Anil Nerode, Shankar Sastry, Kohn Wolf
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1995
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Hybrid Systems V
Panos Antsaklis, Panos J. Antsaklis, Wolf Kohn, Michael Lemmon, Anil Nerode, Shankar Sastry
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1999
所蔵情報: loading…
目次情報: 続きを見る
Control Synthesis of Hybrid Systems Based on Predicate Invariance / H. Chen ; H.-M. Hanisch
Computing Approximating Automata for a Class of Linear Hybrid Systems / A. Chutinan ; B.H. Krogh
On Hybrid Systems and the Modal µ-calculus / J.M. Davoren
The Extended Linear Complementarity Problem and the Modeling and Analysis of Hybrid Systems / B. De Schutter ; B. De Moor
Controller Scheduling Using Neural Networks: Implementation and Experimental Results / E.D. Ferreira
Rigorous Design of a Fault Diagnosis and Isolation Algorithm / J. Gao ; Q. Xu
Scalable Data and Sensor Fusion via Multiple Agent Hybrid Systems / W. Kohn ; A. Nerode ; J.B. Remmel
Hybrid Control Systems Using Timed Petri Nets: Supervisory Control Design Based on Invariant Properties / X.D. Koutsoukos ; P.J. Antsaklis
A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem / S. Kowalewski ; O. Stursberg ; M. Fritz ; H. Graf ; I. Hoffmann ; J. Preuβig ; M. Remelhe ; S. Simon ; H. Treseler
Hybrid Systems with Finite Bisimulations / G. Lafferriere ; G.J. Pappas ; S. Sastry
Extracting Stable Timed Automata from Switched Model Reference Systems / M. Lemmon ; C.J. Bett
Sliding Mode Model Semantics and Simulation for Hybrid Systems / P.J. Mosterman ; F. Zhao ; G. Biswas
Time-Deterministic Hybrid Transition Systems / S. Nadjm-Tehrani
Heuristic Optimization and Dynamical System Safety Verification / T.W. Neller
A Hybrid Receding-Horizon Control Scheme for Nonlinear Discrete-Time Systems / T. Parisini ; S. Sacone
Approximating Automata and Discrete Control for Continuous Systems - Two Examples from Process Controll / J. Raisch ; E. Klein ; S. O'Young ; C. Meder ; A. Itigin
Action Systems with Continuous Behaviour / M. Rönkkö ; A.P. Ravn
Towards Using Hybrid Automata for the Mission Planning of Unmanned Aerial Vehicles / C.W. Seibel ; J.-M. Farines ; J.E.R. Cury
Optimal Controller Switching for Stochastic Systems / E. Skafidas ; R.J. Evans ; I.M.Y. Mareels
Robust Control of Hybrid Systems: Performance Guided Strategies / L.Y. Wang ; P.P. Khargonekar ; A. Beydoun
Analysis of Slope-Parametric Rectangular Automata / H. Wong-Toi
Control of Interval Temporal Systems / X. Yu ; Z. Chen
Phase-Space Nonlinear Control Toolbox: The Maglev Experience / S.C. Loh ; J.A. May
Author Index
Control Synthesis of Hybrid Systems Based on Predicate Invariance / H. Chen ; H.-M. Hanisch
Computing Approximating Automata for a Class of Linear Hybrid Systems / A. Chutinan ; B.H. Krogh
On Hybrid Systems and the Modal µ-calculus / J.M. Davoren
4.

電子ブック
ＥＢ
4. Logic Programming And Nonmonotonic Reasoning
LPNMR '97, Jürgen Dix, Ulrich Fuhrbach, Anil Nerode
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1997
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Logic Programming and Nonmonotonic Reasoning
LPNMR '95, Wiktor Marek, Anil Nerode
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1995
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Logic and Computer Science
Homer, Steven Homer, Piergiorgio Odifreddi, Centro internazionale matematico estivo., Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1990
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Logical Foundations of Computer Science
Nerode, I︠U︡riĭ V. Matii︠a︡sevich, Anil Nerode
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1994
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Logical Foundations of Computer Science
LFCS Ê〓97, S. I. Adi︠a︡n, Anil Nerode
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1997
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Logical Foundations of Computer Science — Tver '92
Nerode, Anil Nerode, Mikhail A. Taitslin
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1992
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼