Searching for "Hybrid Systems Computation and Control" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

35 documents found, showing 1 through 10. Next 10 →

Solving Coverage Problems with Embedded Graph Grammars. Hybrid Systems: Computation and Control
by John-michael Mcnew, Eric Klavins, Magnus Egerstedt — 2007
… environment. Networked robot systems require methods that control both the network dynamics and the individual…
Cited by 1 (1 self) – Add To MetaCart

Asymptotic stability of switched higher order Laplacians and dynamic coverage. Hybrid Systems
by Abubakr Muhammad, Ali Jadbabaie — 2007 — Lecture Notes Comput. Sci., Springer-Verlag. 〈http://www.seas.upenn.edu/ ∼jadbabai/papers/Muhammad Jadbabaie HSCC07 FinalSubmission.pdf
… and control, one needs a new approach towards computing topological invariants that is well suited…
Cited by 1 (0 self) – Add To MetaCart

Cv
by Slobodan N. Simic
… . Hybrid Systems: Computation and Control, Third International Workshop, Pittsburgh, PA, March 2000…
Add To MetaCart

Discrete Event Systems References
by Ratnesh Kumar, B. Benhabib, M. Heymann
… and S. Sastry, editors. Hybrid Systems: Computation and Control, volume 1386 of Lecture Notes…
Add To MetaCart

Applications of Real First-Order Constraint Solving Bibliography
by Stefan Ratschan, Stanly Steinberg, M. El Kahoui, A. Weber, Deciding Hopf, Sergio Yovine Symbolic — 2001
… systems. In Hybrid Systems: Computation and Control, volume 1569 of LNCS, pages 137--151. Springer, 1999…
Cited by 2 (2 self) – Add To MetaCart

Objective Education Honors Experience
by Carl Livadas
…. A. Lynch, “Formal Verification of Safety-Critical Hybrid Systems,” in Hybrid Systems: Computation…
Add To MetaCart

• Thesis: “Metamodel Based Language and Computation Platform for Algorithmic
by Abhishek Dubey, Advisor Dr, Takkuen John, Koo Gpa
… Workshop on Hybrid Systems: Computation and Control (HSCC’06), Santa Barbara, California, March 2006…
Add To MetaCart

Behavioral Modeling for High-Level Synthesis of Analog and Mixed-Signal Systems from VHDL-AMS
by Alex Doboli, Ranga Vemuri, B. J. Hosticka, W. Brockherde, R. Klinke, R. Kokozinski, A. Jantsch, S. Kumar, B. Svantesson, J. Oberg, A. Hemani, T. Kazmierski, Southampton Vhdl-ams Validation Suite, Hamid Nawab, Prentice Hall, M. Krasnicki, R. Phelps, R. Rutenbar, R. Carley — 2002
…, “Hierarchical Hybrid Systems: Partition Deformation and Application to the Acrobot System”, in Hybrid Systems…
Cited by 6 (0 self) – Add To MetaCart

EXISTS([w, z, a], [[-2,2], [-2,2], [0, \infty]],
by Forall Exists Infty — 13
…, editors, Hybrid Systems: Computation and Control HSCC, volume 2289 of LNCS, pages 465--478. Springer, Mar…
Add To MetaCart

Interests Education
by Madhukar Anand, Levine Hall Office
… and Hybrid Systems Modeling in CHARON”, Given at the IEEE International Symposium on Computer-Aided Control…
Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB