11
Publications
1.1K
Citations
10
H-Index
1996
Active since
Slobodan N. Simić is an author at University of California, Berkeley specializing in engineering, systems engineering, and formal methods.
Top concepts
EngineeringSystems EngineeringFormal MethodsStabilityComputer ScienceAutomated ReasoningFunctional AnalysisPhysicsGeometryAutomation
Publications per year
1996–2005
11
11
Dynamical properties of hybrid automata
John Lygeros, Karl Henrik Johansson, Slobodan N. Simić et al. · IEEE Transactions on Automatic Control · 2003 · 798 citations · Full text
Stochastic Hybrid System, Logical Automaton, Engineering +13
A learning-theory approach to sensor networks
Slobodan N. Simić · IEEE Pervasive Computing · 2003 · 55 citations
Towards a geometric theory of hybrid systems
Slobodan N. Simić, Karl Henrik Johansson, John Lygeros et al. · 2005 · 40 citations · Full text
Rows per page
1–5 of 11