Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Introduction to the Special Issue
Discrete Event Dynamic Systems
Synthesis and Viability of Minimally Interventive LegalControllers for Hybrid Systems
Discrete Event Dynamic Systems
Modeling, Analysis, and Optimal Control of a Class of HybridSystems
Discrete Event Dynamic Systems
Timed Petri Nets in Hybrid Systems: Stability and SupervisoryControl
Discrete Event Dynamic Systems
Analysis of Hybrid Systems Based on Hybrid Net Condition/EventSystem Model
Discrete Event Dynamic Systems
Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations
Discrete Event Dynamic Systems
Modeling, simulation, sensitivity analysis, and optimization of hybrid systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A component-based approach to modeling and simulating mixed-signal and hybrid systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
What Will Be Eventually True of Polynomial Hybrid Automata?
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Robust Control of Hybrid Systems: Performance Guided Strategies
Hybrid Systems V
Hybrid Systems with Finite Bisimulations
Hybrid Systems V
Scalble Data and Sensor Fusion via Multiple Agent Hybrid Systems
Hybrid Systems V
Orthogonal Polyhedra: Representation and Computation
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Hybrid Systems Verification by Location Elimination
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Languages and tools for hybrid systems design
Foundations and Trends in Electronic Design Automation
Admission controller design for high-speed networks: A hybrid system approach
Journal of High Speed Networks
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Brief Paper: On the Markov Property of Quantised State Measuirement Sequences
Automatica (Journal of IFAC)
Hi-index | 0.00 |