Sciweavers

4693 search results - page 106 / 939
» Verifying Hybrid Systems
Sort
View
110
Voted
SIMULATION
2008
139views more  SIMULATION 2008»
15 years 18 days ago
Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs
Models of physical systems have to be based on physical principles such as conservation of energy and continuity of power. These principles are inherently enforced by the bond gra...
Pieter J. L. Cuijpers, Jan F. Broenink, Pieter J. ...
94
Voted
ICRA
1994
IEEE
86views Robotics» more  ICRA 1994»
15 years 4 months ago
A knowledge based and a hybrid system to evaluate flexible manufacturing systems
George L. Kovács, J. Nasca, D. Gavalcov&aac...
76
Voted
IJNSEC
2008
101views more  IJNSEC 2008»
15 years 21 days ago
A Hybrid Model for Network Security Systems: Integrating Intrusion Detection System with Survivability
Tarun Bhaskar, B. Narasimha Kamath, Soumyo D. Moit...
103
Voted
SCL
2008
254views more  SCL 2008»
15 years 18 days ago
The Hybrid Maximum Principle is a consequence of Pontryagin Maximum Principle
We give a simple proof of the Maximum Principle for smooth hybrid control systems by reducing the hybrid problem to an optimal control problem of Pontryagin type and then by using...
A. V. Dmitruk, A. M. Kaganovich