Autor der Publikation

Verifying analog oscillator circuits using forward/backward abstraction refinement.

, , und . DATE, Seite 257-262. European Design and Automation Association, Leuven, Belgium, (2006)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Inner Source Identification for Field Estimation in Wireless Sensor Networks., , und . ICASSP (4), Seite 853-856. IEEE, (2006)Context-Dependent Agents for Real-Time Scheduling in Manufacturing Systems., , und . IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 85-A (11): 2407-2413 (2002)Dynamic steering control of conventionally-steered mobile robots., und . ICRA, Seite 390-395. IEEE, (1990)Software Rejuvenation for Secure Tracking Control., , , und . CoRR, (2018)Energy-Efficient Surveillance System Using Wireless Sensor Networks., , , , , , , , , und . MobiSys, ACM / USENIX, (2004)Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows., und . IEEE Trans. Robotics Autom., 6 (6): 724-734 (1990)Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations., und . HSCC, Volume 1569 von Lecture Notes in Computer Science, Seite 76-90. Springer, (1999)Verification of Supervisory Control Software Using State Proximity and Merging., , , und . HSCC, Volume 4981 von Lecture Notes in Computer Science, Seite 344-357. Springer, (2008)A Survey of Petri Net Methods for Controlled Discrete Event Systems., , und . Discrete Event Dynamic Systems, 7 (2): 151-190 (1997)A moving horizon state estimator in the control of thermostatically controlled loads for demand response., , , , , und . SmartGridComm, Seite 253-258. IEEE, (2013)