Sciweavers

1721 search results - page 3 / 345
» The fundamentals of hybrid systems modelers
Sort
View
AIS
2004
Springer
13 years 10 months ago
Continuity and Change (Activity) Are Fundamentally Related in DEVS Simulation of Continuous Systems
Abstract. The success of DEVS methods for simulating large continuous models calls for more in-depth examination of the applicability of discrete events in modeling continuous phen...
Bernard P. Zeigler, Rajanikanth Jammalamadaka, Sal...
WSC
2007
13 years 7 months ago
Fundamentals of simulation modeling
We start with basic terminology and concepts of modeling, and decompose the art of modeling as a process. This overview of the process helps clarify when we should or should not u...
Paul J. Sánchez
CSL
2010
Springer
13 years 6 months ago
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
André Platzer
IJIT
2004
13 years 6 months ago
Consistent Hybrid Knowledge Representation in Order-Sorted Logic
Abstract-- We consider a hybrid knowledge representation system for ontological knowledge bases in order to maintain knowledge consistency between taxonomic knowledge and assertion...
Nwe Ni Tun, Satoshi Tojo
HICSS
2006
IEEE
111views Biometrics» more  HICSS 2006»
13 years 11 months ago
Fundamental Ethics in Information Systems
Information systems often present virtual spaces that are sufficient to enable important human interaction. By enabling such interaction, systems designers are inherently creating...
Christopher N. Chapman